An embedded operating system built on seL4 in the Rust language.
☆17Jan 28, 2016Updated 10 years ago
Alternatives and similar repositories for rsL4
Users that are interested in rsL4 are comparing it to the libraries listed below
Sorting:
- Reads and parses Linux device tree images☆17Feb 10, 2024Updated 2 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆120Jul 25, 2023Updated 2 years ago
- ☆16Jan 21, 2021Updated 5 years ago
- A Cargo subcommand for working with feL4 projects.☆52Jun 5, 2018Updated 7 years ago
- Ensure that a system-compatible OpenGL driver is available for `nix-shell`-encapsulated programs.☆25Jan 24, 2019Updated 7 years ago
- TWRP device tree for Mi 11T☆11Dec 28, 2021Updated 4 years ago
- Gui for Nixos package manager☆41Apr 10, 2023Updated 2 years ago
- Adding programming ligatures to any font☆12Dec 11, 2024Updated last year
- ☆11Aug 2, 2023Updated 2 years ago
- bot and proxy for Minecraft☆24May 7, 2013Updated 12 years ago
- Device tree for the Samsung Galaxy S10 (SM-G973F)☆11Jul 23, 2021Updated 4 years ago
- [WIP] Private exitnode to open Onion Services via Tailscale IPN☆13May 27, 2023Updated 2 years ago
- ☆10Oct 28, 2018Updated 7 years ago
- ☆14Feb 11, 2026Updated 3 weeks ago
- Application deployment and infrastructure management tool for Rails and Amazon EC2.☆13May 29, 2013Updated 12 years ago
- A risc-v simulator based on SystrmC☆14Jan 7, 2022Updated 4 years ago
- internal fsm library☆20Mar 7, 2025Updated last year
- Ship a prebuilt Wine environment driven by box86 & box64 on Ubuntu Touch☆12Oct 10, 2024Updated last year
- An example of how to use parser combinators with Express for routing.☆11Nov 8, 2017Updated 8 years ago
- Rust + Tor (embedded) + Static (compile) + Windows + Proof of Concept☆13Feb 4, 2018Updated 8 years ago
- Rust spy functions for testing purposes☆11Aug 24, 2019Updated 6 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- ☆22Feb 22, 2026Updated last week
- Crate to interface full H-bridge motor drivers☆11May 16, 2018Updated 7 years ago
- A pinentry implementation that utilizes rofi dmenu☆10Feb 4, 2023Updated 3 years ago
- Fun with Firefox 3D view.☆11Nov 13, 2017Updated 8 years ago
- A remotely controlled wheeled robot☆10Jul 29, 2017Updated 8 years ago
- Random experiments and attempts into jailbreaking LLM's☆22Aug 20, 2025Updated 6 months ago
- Example Flox environments☆18Updated this week
- A *very* simple ODM for MongoDB and NeDB on Node.js (using JS Harmony).☆23Feb 18, 2015Updated 11 years ago
- Common Lisp REPL for Android☆13Aug 31, 2016Updated 9 years ago
- A deployment of mesos via NixOps☆11Mar 8, 2015Updated 10 years ago
- JavaScript c-lightning client☆10Nov 12, 2020Updated 5 years ago
- Clean up your incoming ActiveRecord model attributes☆18Jan 26, 2010Updated 16 years ago
- A DeaDBeeF plugin for playing streaming video game music using vgmstream.☆17Feb 16, 2026Updated 2 weeks ago
- Cuckoo Cycle in pure javascript☆16Jan 29, 2020Updated 6 years ago
- Discover the best clubs and organizations at UTD☆23Feb 27, 2026Updated last week
- Suite of libraries and utilities to manipulate Generation 3 (Gen3) Pokémon games☆12Mar 22, 2025Updated 11 months ago
- A transducer library for Rust☆10May 22, 2016Updated 9 years ago