Alternatives and similar repositories for libsel4-sys:

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

• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 3 years ago
• PolySync / cargo-fel4
  A Cargo subcommand for working with feL4 projects.
  ☆52Updated 6 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• oxidecomputer / tockilator
  Deducing Tock execution flows from Ibex Verilator traces
  ☆68Updated 2 years ago
• auxoncorp / selfe-sys
  A generated thin wrapper around libsel4.a, with supporting subcrates.
  ☆11Updated 2 years ago
• nixcloud / nixcrates
  A drop-in replacement for `cargo` which yet uses crates.io index
  ☆15Updated 8 years ago
• canndrew / gnunet-rs
  GNUnet bindings for Rust
  ☆15Updated 6 years ago
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆23Updated 3 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆21Updated last year
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆110Updated last year
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• cbiffle / lilosdbg
  Prototype debugger for lilos
  ☆21Updated 8 months ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated 7 months ago
• wartmanm / rust-kanren
  A miniKanren implementation in Rust
  ☆36Updated 8 years ago
• frehberg / rust-bytestool
  Compiler plugin calculating const size of string literal and others
  ☆11Updated 7 years ago
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 6 years ago
• hannobraun / crosscut
  An experimental project to create an interactive programming language.
  ☆16Updated this week
• auxoncorp / tnfilt
  ☆32Updated 2 years ago
• solson / nixrs
  A Nix evaluator written in Rust
  ☆12Updated 4 years ago
• saschagrunert / peel
  Dynamic packet parsing within trees 🌲🌳🌴
  ☆24Updated 7 years ago
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆31Updated 6 months ago
• Arcterus / lejit
  A simple JIT library in Rust
  ☆19Updated 10 years ago
• japaric-archived / embedonomicon
  This book has been moved to https://github.com/rust-embedded/embedonomicon
  ☆22Updated 6 years ago
• rtic-rs / rtic-core
  Core abstractions of the Real-Time Interrupt-driven Concurrency (RTIC) framework
  ☆22Updated last year
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆32Updated 3 years ago
• valpackett / shmemfdrs
  Rust crate that creates anonymous shared memory file descriptors for IPC using memfd/SHM_ANON/shm_open | now on https://github.com/valpac…
  ☆13Updated 2 years ago
• ytakano / blisp-repl
  ☆20Updated last year
• nox / inert
  Inert lets you use non-Sync values in Sync context
  ☆16Updated 5 years ago
• lachlansneff / exu
  Universal Executables
  ☆14Updated 6 years ago