Building seL4 and generating Rust bindings based on feL4 configuration
☆22May 31, 2018Updated 7 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 7 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 6 years ago
- ☆36Mar 17, 2022Updated 4 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- A protocol based monad implementation for clojure☆61Aug 11, 2014Updated 11 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- A port of Open Source Car Control written in Rust☆23Nov 13, 2018Updated 7 years ago
- Quickly generate markdown tables in your terminal using a simplistic specification☆16Oct 2, 2019Updated 6 years ago
- A Markdown based scaffold prototype code tool.☆13Mar 16, 2024Updated 2 years ago
- 🎁 cargo plugin for quickly fetching dependencies 🦀☆97Dec 2, 2024Updated last year
- The sysex_tones project goal is control of amp modelers via text settings files and MIDI SysEx. Currently, the only amp modeler sysex_ton…☆12Jan 3, 2017Updated 9 years ago
- A Rust serializer/deserializer for Google Cloud Firestore.☆12Feb 2, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆39Feb 10, 2020Updated 6 years ago
- My Development Tools☆15Sep 15, 2018Updated 7 years ago
- Some hackery for covid-19 contrac tracing☆22Apr 4, 2020Updated 6 years ago
- Joystick Commander is an example application for OSCC☆11Jul 10, 2019Updated 6 years ago
- Tool to convert server side (CommonJS) modules to client side (browser) modules☆27Dec 23, 2016Updated 9 years ago
- Example TodoMVC powered by fulcro, pathom, and hasura☆15Mar 9, 2021Updated 5 years ago
- Basic tools for building seL4 projects☆53Updated this week
- A PHP parser for the chess game notation format, PGN☆12Oct 13, 2022Updated 3 years ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Cooperative multitasking (AKA async/await) on ARM Cortex-M☆39Dec 3, 2019Updated 6 years ago
- ☆16Apr 11, 2023Updated 2 years ago
- An experimental port of the Tock OS to the Teensy 3.6☆22Sep 13, 2022Updated 3 years ago
- Prepping Code Examples and Variations for Marching Squares video☆13Jul 15, 2020Updated 5 years ago
- A tiny jsx compiler☆14Dec 5, 2017Updated 8 years ago
- Rust library for parsing English time expressions into start and end timestamps☆19Oct 10, 2023Updated 2 years ago
- RISC-V V Extension Encoder☆11Jul 28, 2022Updated 3 years ago
- Experimental kernel for embedded devices written in Rust☆91Jun 23, 2022Updated 3 years ago
- Ansible role to install Erlang with kerl☆13Jul 22, 2014Updated 11 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.
- rustdoc 手册 中文版————Chinese translation of The rustdoc Book☆14Jun 15, 2024Updated last year
- Prima JWKS-sync client implementation for Auth0☆10Feb 18, 2026Updated last month
- A successor bnf parsing library of bnf parsing library, for parsing Extended Backus–Naur form context-free grammars☆15Sep 17, 2025Updated 6 months ago
- Website for The State of FOSS in India report.☆10Aug 20, 2021Updated 4 years ago
- Home of the Rust codegen working group 🥖☆16May 2, 2018Updated 7 years ago
- Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks☆15Mar 20, 2023Updated 3 years ago
- Allows you to use your Bluetooth gamepad on your PC via your mobile phone (so you don't need a Bluetooth dongle)☆11Oct 15, 2021Updated 4 years ago