☆21Oct 30, 2026Updated this week
Alternatives and similar repositories for seL4_projects_libs
Users that are interested in seL4_projects_libs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Jan 18, 2021Updated 5 years ago
- ☆19Updated this week
- Virtual machine monitor for L4Re☆36Oct 23, 2026Updated last week
- Microkernel-based system for heterogeneous manycores☆17Jun 1, 2026Updated 5 months ago
- ☆12Oct 12, 2026Updated 3 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This is the GitHub meeting point for Dr. Campbell's Digital Humanities classes at Pitt-Greensburg.☆20Sep 25, 2026Updated last month
- Virtual Machine built as a CAmkES component.☆25Jul 22, 2026Updated 3 months ago
- A virtual machine monitor for the seL4 microkernel☆82Oct 20, 2026Updated last week
- RISC-V Security HC admin repo☆17Jan 7, 2025Updated last year
- A minimal runtime for seL4 applications.☆13Updated this week
- Component Architecture test suite and example apps.☆36Jul 22, 2026Updated 3 months ago
- Virtualisation platform using CHERI for isolation and sharing☆40Jun 5, 2024Updated 2 years ago
- CLI-based Registration Authority application PoC☆12Jun 16, 2026Updated 4 months ago
- Lightweight type-1 Rust Hypervisor for edge devices☆212Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Xen☆26Oct 22, 2026Updated last week
- Vel: A language for verified low-level software☆15Jan 22, 2023Updated 3 years ago
- OpenCSMP: Opensource CSMP-Agent Library (CSMP-Agent-Lib)☆15Oct 7, 2026Updated 3 weeks ago
- Open source ext2/ELF32 bootloader☆16Oct 2, 2017Updated 9 years ago
- A simple plugin to make working with the angular router in storybook easier ✨☆10Oct 21, 2024Updated 2 years ago
- Elixir library to facilitate debugging data flow, helps capture terms for later inspection☆14Jul 26, 2026Updated 3 months ago
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆54Sep 4, 2026Updated last month
- Capability Distribution Language tools for seL4☆44Aug 3, 2026Updated 2 months ago
- Examples of Jupiter.☆14Jul 30, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- Get images of your favourite stickers☆14Mar 8, 2025Updated last year
- ☆28Feb 2, 2026Updated 9 months ago
- ☆10Jan 18, 2023Updated 3 years ago
- Miscellaneous materials related to the "attested TLS" proof-of-concept☆23Jul 22, 2026Updated 3 months ago
- create repository☆13Aug 17, 2026Updated 2 months ago
- lox bytecode interpreter☆10May 30, 2023Updated 3 years ago
- UI component of Wise2C Breeze project☆11Jun 13, 2025Updated last year
- Zephyr Eclipse Plugin☆18Mar 29, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- OP-TEE integration for the MS TPM 2.0 Reference Implementation (fTPM)☆25Oct 16, 2026Updated 2 weeks ago
- ☆15Jun 11, 2026Updated 4 months ago
- 🐳 Dockerfiles to quickly construct a denops available Vim/Neovim environment☆17Dec 11, 2025Updated 10 months ago
- ☆23Jun 14, 2023Updated 3 years ago
- Pre-emptively created repository so the design can be discussed on the issue tracker before commits are made (repo name may change)☆18Oct 1, 2026Updated last month
- Light control of lamps from various manufacturers☆12Jun 10, 2026Updated 4 months ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated 2 years ago