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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A generated thin wrapper around libsel4.a, with supporting subcrates.☆13Jan 24, 2022Updated 4 years ago
- Reads and parses Linux device tree images☆18Feb 10, 2024Updated 2 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆121Jul 25, 2023Updated 3 years ago
- A Cargo subcommand for working with feL4 projects.☆51Jun 5, 2018Updated 8 years ago
- Retrieve website metadata such as title, description, preview image, author and more from OpenGraph, Google, Schema.org and Twitter compl…☆13Oct 20, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A backend for Firecracker microVM networking, accessible through an in-process library or a separate-process CLI.☆16May 11, 2026Updated 5 months ago
- Timber.io Rust musl toolchain☆10Nov 11, 2019Updated 6 years ago
- Prototype no-assurance reference OS personality built on seL4☆51Mar 17, 2025Updated last year
- Ensure that a system-compatible OpenGL driver is available for `nix-shell`-encapsulated programs.☆24Jan 24, 2019Updated 7 years ago
- A library for managing global application state (similar to redux).☆15May 19, 2021Updated 5 years ago
- ROS Clojure Repository☆14Mar 25, 2016Updated 10 years ago
- ☆21Mar 1, 2023Updated 3 years ago
- A compile time templating language for Rust inspired by Mustache☆39Dec 10, 2025Updated 10 months ago
- `smol` integrations with `hyper`☆18Feb 16, 2026Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- RADIUS zero-copy parser written in pure rust☆14Sep 13, 2021Updated 5 years ago
- Extended Search & Ranking tool for crates.☆24May 5, 2021Updated 5 years ago
- Administrative utility for AMD SEV☆15Apr 13, 2022Updated 4 years ago
- Asynchronous WebSocket implementation for monoio runtime, adapted from tungstenite.☆11Feb 26, 2026Updated 8 months ago
- ☆21Jun 17, 2025Updated last year
- Starter template for use with the Leptos web framework, Axum, and AWS.☆19Aug 17, 2024Updated 2 years ago
- NUR - https://github.com/nix-community/NUR☆13Mar 23, 2026Updated 7 months ago
- A high-performance sharded TCP server starter-kit demonstrating CPU-pinned executors and live TCP connection migration between shards usi…☆15Jul 4, 2026Updated 3 months ago
- easy-gpgpu rust crate☆23Feb 16, 2022Updated 4 years 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.
- TWRP device tree for Mi 11T☆11Dec 28, 2021Updated 4 years ago
- A simple command line utility to serve the files in the current directory☆24Mar 21, 2020Updated 6 years ago
- A simple operating system (SOS) built on top of the seL4 microkernel☆12Mar 3, 2018Updated 8 years ago
- Library for AMD SEV☆20Apr 1, 2022Updated 4 years ago
- A library for creating and parsing Bitcoin Cash trasactions☆16Jan 26, 2021Updated 5 years ago
- Interpreted, optimized, JITed and compiled implementations of the Brainfuck lang.☆24Dec 31, 2022Updated 3 years ago
- One more hobby operating system☆13Jun 17, 2020Updated 6 years ago
- Keeley's - Operating System (K-OS)☆20May 6, 2021Updated 5 years ago
- Watch a git repository's history grow as a glowing, branching vein network in 3D.☆12Oct 21, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A human library for easily using wasi☆11Mar 9, 2020Updated 6 years ago
- Lisp compiler using Rust☆22Dec 4, 2023Updated 2 years ago
- Implementation of Web Application Messaging Protocol in Rust☆22May 24, 2018Updated 8 years ago
- A reverse proxy built with hyper and tokio.☆51Apr 11, 2017Updated 9 years ago
- A pure-Rust port of mimalloc — Lean-verified arithmetic, loom-modeled concurrency, fuzzed, and benchmarked against C mimalloc.☆28Jun 15, 2026Updated 4 months ago
- S/Kademlia in Go. Heavy WIP.☆11Jun 30, 2020Updated 6 years ago
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago