Building seL4 and generating Rust bindings based on feL4 configuration
☆22May 31, 2018Updated 8 years ago
Alternatives and similar repositories for libsel4-sys
Users that are interested in libsel4-sys are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Cargo subcommand for working with feL4 projects.☆52Jun 5, 2018Updated 8 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆121Jul 25, 2023Updated 2 years ago
- Prototype no-assurance reference OS personality built on seL4☆51Mar 17, 2025Updated last year
- The repo of rust crate 'releasetag'. Releasetags can be extracted from application crash-files postmortem☆13May 1, 2019Updated 7 years ago
- ☆36Mar 17, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Collates markdown into one file☆17Feb 1, 2018Updated 8 years ago
- A modern MDL interpreter☆12Sep 4, 2019Updated 6 years ago
- Giter8 template for a simple project that uses sbt-crossproject.☆11Jul 16, 2018Updated 7 years ago
- A port of Open Source Car Control written in Rust☆23Nov 13, 2018Updated 7 years ago
- Proof-of-concept LLVM fork to speculatively inline objc_msgSend☆16Dec 11, 2022Updated 3 years ago
- Miscellaneous stuff, mostly single-file tiny programs (GPLv3+)☆13Jun 19, 2026Updated last week
- The unexec hack. Hideous and useless, but fun to write.☆14Feb 25, 2017Updated 9 years ago
- GNU OS Cross-Compiler☆13Dec 26, 2017Updated 8 years ago
- Tries to render the cities from good old GTA games in only 1 draw-call☆13Sep 25, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Vectorized, colorized version of Space Glenda, the Plan 9 mascot.☆13Jun 9, 2018Updated 8 years ago
- Toy chat client and servers, in both sync and async style.☆13Jun 20, 2022Updated 4 years ago
- ☆26Sep 30, 2022Updated 3 years ago
- Basic tools for building seL4 projects☆55May 28, 2026Updated last month
- Extract and generate code based on name and type for mig func/arg/request&reply member etc, ideal helper for creating monitor, tracker, f…☆18Jun 5, 2018Updated 8 years ago
- GMLAN to GM 29 bit car gateway☆16Aug 1, 2017Updated 8 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆54Oct 26, 2021Updated 4 years ago
- ☆17Oct 25, 2018Updated 7 years ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆16Apr 11, 2023Updated 3 years ago
- Prepping Code Examples and Variations for Marching Squares video☆13Jul 15, 2020Updated 5 years ago
- PulseAudio-compatible rump kernel translator for GNU Hurd☆13Jul 3, 2017Updated 8 years ago
- A more idiomatic binding of JVM cucumber to Clojure☆12Jan 26, 2023Updated 3 years ago
- Rust library for parsing English time expressions into start and end timestamps☆18Oct 10, 2023Updated 2 years ago
- Sail code model of the CHERIoT ISA☆50Jun 19, 2026Updated last week
- RISC-V V Extension Encoder☆11Jul 28, 2022Updated 3 years ago
- Experimental kernel for embedded devices written in Rust☆91Jun 23, 2022Updated 4 years ago
- Unofficial gnuk mirror of http://www.fsij.org/category/gnuk.html☆11Aug 20, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An extremely fast Minecraft server☆20Jul 4, 2025Updated 11 months ago
- A zero-config OpenAI client with support for 20+ providers, API key rotation, rate limits, optional LangChain integration and more.☆19Dec 11, 2025Updated 6 months ago
- ☆11Jul 27, 2016Updated 9 years ago
- Prima JWKS-sync client implementation for Auth0☆10Updated this week
- Google Common Lisp Style Guide in Chinese☆13Apr 4, 2019Updated 7 years ago
- ☆13Dec 26, 2022Updated 3 years ago
- Arduino relay library☆20Mar 3, 2017Updated 9 years ago