A Cargo subcommand for working with feL4 projects.
☆51Jun 5, 2018Updated 8 years ago
Alternatives and similar repositories for cargo-fel4
Users that are interested in cargo-fel4 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Building seL4 and generating Rust bindings based on feL4 configuration☆22May 31, 2018Updated 8 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆15Jun 1, 2020Updated 6 years ago
- A generated thin wrapper around libsel4.a, with supporting subcrates.☆13Jan 24, 2022Updated 4 years ago
- Apps for running with the rumprun unikernel on seL4.☆34May 28, 2026Updated 5 months ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆21Mar 3, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An embedded operating system built on seL4 in the Rust language.☆17Jan 28, 2016Updated 10 years ago
- The main CAmkES tool☆27Oct 30, 2026Updated last week
- How to cross compile Rust from OS X to FreeBSD☆14Jun 15, 2018Updated 8 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆121Jul 25, 2023Updated 3 years ago
- ☆25Mar 24, 2023Updated 3 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- ☆24Mar 19, 2018Updated 8 years ago
- Website for the Rust Audio org and Discord☆14Mar 17, 2026Updated 7 months 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 utility library for writing Erlang/Elixir ports in Rust☆25Oct 17, 2018Updated 8 years ago
- Cogent Project☆184Mar 18, 2025Updated last year
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆309Dec 2, 2019Updated 6 years ago
- Understanding CoAP with Packet Captures.☆15Jun 27, 2023Updated 3 years ago
- Generalized RDF for Rust.☆13Nov 21, 2023Updated 2 years ago
- Flashcards for the F# programming language that work within the Anki flashcard system☆11Dec 5, 2013Updated 12 years ago
- Easing library for OCaml.☆11Updated this week
- Erlang source code parser written in Rust☆11Aug 26, 2026Updated 2 months ago
- svd2rust generated interface to e310x peripherals☆33Oct 29, 2026Updated last week
- 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.
- Abstract binding tree code generator☆37Oct 31, 2016Updated 10 years ago
- A type checker for the Lean theorem prover☆45Mar 6, 2021Updated 5 years ago
- Package addrs provides flags to define one or an array of net.Addr.☆15Mar 23, 2016Updated 10 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Core functionality for handling rustc's save-analysis data☆40Feb 28, 2019Updated 7 years ago
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Oct 23, 2020Updated 6 years ago
- A drop-in replacement for Rust's std::BufReader, with extra features☆41Jan 30, 2023Updated 3 years ago
- Example of linking to and calling Rust code from C☆27Jan 7, 2014Updated 12 years ago
- [deprecated] Tokio Linux zero-copy IO☆13Dec 9, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- boxddd is a Rust binding workspace for Box3D☆14Aug 4, 2026Updated 3 months ago
- Prototype no-assurance reference OS personality built on seL4☆51Mar 17, 2025Updated last year
- multiparameter typeclasses for Julia☆24Jan 25, 2017Updated 9 years ago
- ☆13Aug 11, 2021Updated 5 years ago
- A tool for finding large memcpy's in llvm ir☆61Mar 26, 2019Updated 7 years ago
- Rust crate that creates anonymous shared memory file descriptors for IPC using memfd/SHM_ANON/shm_open | now on https://github.com/valpac…☆13Oct 1, 2022Updated 4 years ago
- Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks☆15Mar 20, 2023Updated 3 years ago