Alternatives and similar repositories for libsel4-sys:

Users that are interested in libsel4-sys are comparing it to the libraries listed below

• PolySync / cargo-fel4
  A Cargo subcommand for working with feL4 projects.
  ☆53Updated 6 years ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 3 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• oxidecomputer / tockilator
  Deducing Tock execution flows from Ibex Verilator traces
  ☆70Updated 2 years ago
• frehberg / rust-bytestool
  Compiler plugin calculating const size of string literal and others
  ☆11Updated 7 years ago
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆23Updated 3 years ago
• llogiq / optional
  A small crate to provide space-efficient Option<_> replacements
  ☆37Updated last month
• frehberg / rust-releasetag
  The repo of rust crate 'releasetag'. Releasetags can be extracted from application crash-files postmortem
  ☆13Updated 5 years ago
• auxoncorp / tnfilt
  ☆33Updated 2 years ago
• canndrew / gnunet-rs
  GNUnet bindings for Rust
  ☆15Updated 6 years ago
• lachlansneff / exu
  Universal Executables
  ☆14Updated 6 years ago
• Arcterus / lejit
  A simple JIT library in Rust
  ☆19Updated 10 years ago
• Kixunil / fast_fmt
  Faster, more flexible and more correct alternative to core::fmt
  ☆40Updated 4 years ago
• rust-lang-nursery / portability-wg
  Coordination repository of the portability Working Group (WG)
  ☆42Updated 3 years ago
• bluss / odds
  Odds and ends — collection miscellania. Extra functionality for slices, strings and other things
  ☆21Updated 4 years ago
• shepmaster / ebene-rust
  A Rust source code parser and explorer
  ☆23Updated last year
• embed-rs / embedded-rs
  Rust embed crate
  ☆15Updated 7 years ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆32Updated 3 years ago
• phil-opp / nightly-libcore
  ☆13Updated 8 years ago
• tcr / parser-c
  Haskell's language-c ported to Rust.
  ☆32Updated 6 years ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• saschagrunert / peel
  Dynamic packet parsing within trees 🌲🌳🌴
  ☆24Updated 7 years ago
• rust-embedded / itm
  Tool to parse and dump ITM packets
  ☆27Updated 3 years ago
• advancedresearch / monotonic_solver
  A monotonic solver designed to be easy to use with Rust enum expressions
  ☆46Updated 3 years ago
• rust-embedded / r0
  Initialization code ("crt0") written in Rust
  ☆68Updated 3 years ago
• nabijaczleweli / tweetr
  tweetr is a platform that allows you to create and queue tweets to be shared when YOU want. You create content when you have time and the…
  ☆18Updated 6 years ago
• PTaylor-us / tlsf
  A Two Level Segregated Fit (TLSF) allocator optimized for memory-constrained systems
  ☆20Updated 4 years ago
• nikomatsakis / cargo-incremental
  A fuzzing tool for incremental compilation that walks git history
  ☆32Updated 6 years ago
• japaric-archived / stable-embedded-rust
  The closest we are to embedded no-std binaries on stable Rust
  ☆18Updated 6 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆45Updated 7 years ago