GaloisInc / rustwall

Related projects: ⓘ

• nox / inert
  Inert lets you use non-Sync values in Sync context
  ☆17Updated 5 years ago
• whitequark / rust-managed
  ☆22Updated this week
• jneem / memmem
  Substring searching in rust
  ☆12Updated 8 years ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆12Updated 3 years ago
• fasterthanlime / lavish-compiler
  Compiler for the Lavish IDL
  ☆18Updated 5 years ago
• PolySync / libsel4-sys
  Building seL4 and generating Rust bindings based on feL4 configuration
  ☆20Updated 6 years ago
• contain-rs / blist
  A deque implemented as a hybrid linked-list-of-arrays
  ☆11Updated 9 years ago
• dylni / print_bytes
  Print bytes as losslessly as possible.
  ☆18Updated last month
• Michael-F-Bryan / tinyvm-rs
  An incremental port of jakogut/tinyvm to Rust
  ☆13Updated 4 years ago
• bobbin-rs / bobbin-wasm
  A #[no_std], allocation-free WebAssembly interpreter written in Rust
  ☆13Updated 5 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 4 years ago
• smol-rs / nb-connect
  [DEPRECATED] Non-blocking TCP or Unix connect
  ☆15Updated 3 years ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 3 years ago
• nixcloud / nixcrates
  A drop-in replacement for `cargo` which yet uses crates.io index
  ☆15Updated 7 years ago
• nikomatsakis / rust-name-resolution-algorithm
  A prototype of my proposed name resolution algorithm for Rust.
  ☆12Updated 8 years ago
• nikomatsakis / dyner
  Experimenting with ergonomic dyn types
  ☆29Updated 2 years ago
• bytecodealliance / filecheck
  Library for writing tests for utilities that read text files and produce text output
  ☆21Updated 4 years ago
• fuchsia-mirror / magenta-rs
  ☆16Updated this week
• saschagrunert / peel
  Dynamic packet parsing within trees 🌲🌳🌴
  ☆24Updated 6 years ago
• contain-rs / cons-list
  An immutable singly-linked list, as seen in basically every functional language
  ☆29Updated last year
• losfair / hexagon-e
  The HexagonE VM
  ☆24Updated 2 years ago
• unrelentingtech / 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 last year
• matklad / jthread-rs
  ☆15Updated 5 years ago
• tock / elf2tab
  Tool to create Tock Application Bundles from ELF files.
  ☆14Updated 2 months ago
• insanitybit / sandbox
  Easy sandboxing for rust
  ☆10Updated 8 years ago
• mcandre / remy
  ☆15Updated this week
• stjepang / async-semaphore
  ☆15Updated this week
• jsgf / rust-xdr
  Rust XDR interoperability library and codegen
  ☆16Updated 2 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago