woehr / rsL4View external linksLinks
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
- [WIP] Private exitnode to open Onion Services via Tailscale IPN☆13May 27, 2023Updated 2 years ago
- ☆14Oct 17, 2025Updated 3 months 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
- An MCP server that provides seamless access to a user's Last.fm listening data and music information via AI assistants like Claude.☆23Jan 24, 2026Updated 2 weeks ago
- Application deployment and infrastructure management tool for Rails and Amazon EC2.☆12May 29, 2013Updated 12 years ago
- ☆11Aug 2, 2023Updated 2 years ago
- ☆10Oct 28, 2018Updated 7 years ago
- Adding programming ligatures to any font☆11Dec 11, 2024Updated last year
- A risc-v simulator based on SystrmC☆14Jan 7, 2022Updated 4 years ago
- A pinentry implementation that utilizes rofi dmenu☆10Feb 4, 2023Updated 3 years ago
- Suite of libraries and utilities to manipulate Generation 3 (Gen3) Pokémon games☆12Mar 22, 2025Updated 10 months ago
- A *very* simple ODM for MongoDB and NeDB on Node.js (using JS Harmony).☆23Feb 18, 2015Updated 10 years ago
- Prototype of a plaintext accounting environment using theia-ide, beancount, fava, and more...☆11Sep 25, 2024Updated last year
- Random experiments and attempts into jailbreaking LLM's☆22Aug 20, 2025Updated 5 months ago
- A DeaDBeeF plugin for playing streaming video game music using vgmstream.☆17Sep 17, 2025Updated 4 months ago
- ☆21Feb 7, 2026Updated last week
- A deployment of mesos via NixOps☆11Mar 8, 2015Updated 10 years ago
- Rust spy functions for testing purposes☆11Aug 24, 2019Updated 6 years ago
- Cuckoo Cycle in pure javascript☆16Jan 29, 2020Updated 6 years ago
- Rock-Paper-Scissors-Real-Time-Strategy game written in Rust.☆11May 28, 2024Updated last year
- A Rust library for draping polygons over terrain with gfx☆11Mar 5, 2018Updated 7 years ago
- An example of how to use parser combinators with Express for routing.☆11Nov 8, 2017Updated 8 years ago
- MCP client for Discourse sites☆40Feb 6, 2026Updated last week
- Rust + Tor (embedded) + Static (compile) + Windows + Proof of Concept☆13Feb 4, 2018Updated 8 years ago
- A transducer library for Rust☆10May 22, 2016Updated 9 years ago
- Discover the best clubs and organizations at UTD☆23Updated this week
- Ship a prebuilt Wine environment driven by box86 & box64 on Ubuntu Touch☆12Oct 10, 2024Updated last year
- Automation scripts to get you quickly up and running and then manage a cloud-hosted Urbit☆10Oct 6, 2020Updated 5 years ago
- Example Flox environments☆17Updated this week
- Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap☆19Jan 22, 2024Updated 2 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 7 years ago