New
seL4 12.0.0
See release notes: https://docs.sel4.systems/releases/sel4/12.0.0 See release announcement: https://sel4.discourse.group/t/09-november-2020/238
Unclaimed project
Are you a maintainer of seL4? Claim this project to take control of your public changelog and roadmap.
See release notes: https://docs.sel4.systems/releases/sel4/12.0.0 See release announcement: https://sel4.discourse.group/t/09-november-2020/238
Display and control your Android device
Microsoft PowerToys is a collection of utilities that supercharge productivity and customization on Windows
A new bootable USB solution.
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.