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:
- Reads and parses Linux device tree images☆17Feb 10, 2024Updated 2 years ago
- ☆14Apr 28, 2024Updated 2 years ago
- ☆16Jan 21, 2021Updated 5 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆121Jul 25, 2023Updated 3 years ago
- Linux Kernel source code for the device bq Aquaris M10☆10Apr 2, 2019Updated 7 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.
- Common Lisp REPL for Android☆13Aug 31, 2016Updated 9 years ago
- Drop-in CSS themes for syntax highlighting in Hakyll☆29Sep 25, 2021Updated 4 years ago
- A L4.X2 compatible microkernel☆15Jul 8, 2022Updated 4 years ago
- How to replace DOMParser in a webworker environment☆10Nov 16, 2019Updated 6 years ago
- A backend for Firecracker microVM networking, accessible through an in-process library or a separate-process CLI.☆14May 11, 2026Updated 2 months ago
- A high-performance embedded vector database optimized for edge devices, delivering speed and efficiency with the advanced HNSW indexing a…☆11Jul 31, 2024Updated last year
- Prototype no-assurance reference OS personality built on seL4☆51Mar 17, 2025Updated last year
- A hex editor for the TI-84 Plus CE☆16May 29, 2024Updated 2 years ago
- Ubuntu 12.04 for Nexus 7 (2012)☆16Jul 18, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Timber.io Rust musl toolchain☆10Nov 11, 2019Updated 6 years ago
- A Cargo subcommand for working with feL4 projects.☆52Jun 5, 2018Updated 8 years ago
- A library for managing global application state (similar to redux).☆15May 19, 2021Updated 5 years ago
- Ensure that a system-compatible OpenGL driver is available for `nix-shell`-encapsulated programs.☆24Jan 24, 2019Updated 7 years ago
- ROS Clojure Repository☆14Mar 25, 2016Updated 10 years ago
- Python application, generating parallel corpus for any language pairs, can be used for training nmt (Neural Machine Translation) systems☆12Dec 8, 2022Updated 3 years ago
- ☆21Mar 1, 2023Updated 3 years ago
- This is a demonstration project to see what it takes to integrate a SAML-based IDP with a Clojure app☆16Oct 17, 2018Updated 7 years ago
- a rpc framework based on libev and implementd by c☆20Feb 13, 2012Updated 14 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Use Routify with Tailwind CSS☆11Apr 26, 2021Updated 5 years ago
- ☆10Oct 28, 2018Updated 7 years ago
- NUR - https://github.com/nix-community/NUR☆13Mar 23, 2026Updated 4 months ago
- Starter template for use with the Leptos web framework, Axum, and AWS.☆19Aug 17, 2024Updated last year
- RADIUS zero-copy parser written in pure rust☆14Sep 13, 2021Updated 4 years ago
- `smol` integrations with `hyper`☆18Feb 16, 2026Updated 5 months ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- CK workflow, portable packages and other artifacts for the ReQuEST-ASPLOS'18 submission:☆12Jan 16, 2019Updated 7 years ago
- Browser-based Common Lisp Gui Library☆20Mar 29, 2012Updated 14 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.
- A Python module for simultaneous communication with multiple serial ports, based on pyserial module☆13Feb 29, 2024Updated 2 years ago
- LLVM code generation in Haskell☆54Oct 30, 2024Updated last year
- (Rust) A modern DHCP server for IPv4 and IPv6☆20May 1, 2016Updated 10 years ago
- Administrative utility for AMD SEV☆15Apr 13, 2022Updated 4 years ago
- easy-gpgpu rust crate☆24Feb 16, 2022Updated 4 years ago
- Griffon IDE source☆29Jun 18, 2018Updated 8 years ago
- ☆14Mar 18, 2026Updated 4 months ago