Alternatives and similar repositories for runt

Users that are interested in runt are comparing it to the libraries listed below

• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆63Updated 2 years ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆43Updated 8 months ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated 10 months ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 7 years ago
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• komora-io / optimistic-cell
  ☆19Updated 2 years ago
• gimli-rs / locate-dwarf
  A crate to find DWARF debug symbols from stripped binaries
  ☆22Updated 2 years ago
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 3 years ago
• fklr / atomalloc
  atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust
  ☆29Updated 4 months ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• mikhail-m1 / linux-perf-file-reader
  Library for parse perf.data file from Linux perf tool for Rust
  ☆18Updated 5 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• SchrodingerZhu / bench_suite
  ☆20Updated 4 years ago
• willcrichton / indexical
  Human-friendly indexed collections
  ☆53Updated last month
• nikis05 / derive-visitor
  ☆36Updated last year
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 4 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 3 years ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆25Updated this week
• matklad / paxosnotes
  ☆23Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• matklad / arbtest
  A minimalist property-based testing library
  ☆110Updated 2 months ago
• cfallin / waffle
  ☆58Updated last week
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 2 years ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆39Updated 2 weeks ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆34Updated this week
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆47Updated last month
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆38Updated last week
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆38Updated this week