GaloisInc / rustwall

Related projects ⓘ

Alternatives and complementary repositories for rustwall

• nox / inert
  Inert lets you use non-Sync values in Sync context
  ☆16Updated 5 years ago
• jedisct1 / rust-precision
  Low overhead, high precision measurement crate for Rust
  ☆17Updated last month
• jneem / memmem
  Substring searching in rust
  ☆12Updated 8 years ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• Michael-F-Bryan / tinyvm-rs
  An incremental port of jakogut/tinyvm to Rust
  ☆13Updated 4 years ago
• smol-rs / nb-connect
  [DEPRECATED] Non-blocking TCP or Unix connect
  ☆14Updated 3 years ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆12Updated 3 years ago
• contain-rs / blist
  A deque implemented as a hybrid linked-list-of-arrays
  ☆10Updated 9 years ago
• losfair / hexagon-e
  The HexagonE VM
  ☆24Updated 2 years ago
• bobbin-rs / bobbin-wasm
  A #[no_std], allocation-free WebAssembly interpreter written in Rust
  ☆13Updated 5 years ago
• ketralnis / pipelines-rs
  A rust crate for creating concurrent pipelines
  ☆9Updated 6 years ago
• polachok / liburing-sys
  raw bindings for git://git.kernel.dk/liburing
  ☆17Updated 4 years ago
• crev-dev / rblake2sum
  A recursive blake2 digest (hash) of a file-system path
  ☆11Updated last year
• jsgf / rust-xdr
  Rust XDR interoperability library and codegen
  ☆16Updated 2 years ago
• dylni / print_bytes
  Print bytes as losslessly as possible.
  ☆18Updated last week
• spacejam / sludge
  speedy web micro-framework using sled, io_uring and SIMD
  ☆12Updated 4 years ago
• willcrichton / rustc-type-metaprogramming
  ☆24Updated 6 years ago
• fasterthanlime / lavish-compiler
  Compiler for the Lavish IDL
  ☆18Updated 5 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
• kpcyrd / syscallz-rs
  Simple seccomp library for rust
  ☆23Updated last year
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆30Updated 3 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• matklad / jthread-rs
  ☆15Updated 5 years ago
• arjsin / http_static
  File serving using tower web
  ☆19Updated 5 years ago
• frugalos / raftlog
  A Rust implementation of distributed replicated log based on the Raft algorithm
  ☆50Updated 3 years ago
• rust-dev-tools / rls-data
  Data structures used by the RLS and Rust compiler
  ☆10Updated 5 years ago
• nikomatsakis / dyner
  Experimenting with ergonomic dyn types
  ☆29Updated 2 years ago
• contain-rs / trie
  An ordered map and set based on a trie.
  ☆29Updated 4 years ago
• lemonrock / file-descriptors
  File Descriptors Rust crate
  ☆13Updated 4 years ago