rachitnigam / runtLinks
A lighweight and parallel snapshot testing framework in rust
☆37Updated 2 years ago
Alternatives and similar repositories for runt
Users that are interested in runt are comparing it to the libraries listed below
Sorting:
- Efficient sampling with uniform probability☆31Updated 3 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Updated 5 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- ☆58Updated 3 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆41Updated this week
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆39Updated this week
- Lift enum variants to the type-level.☆32Updated 4 years ago
- ☆14Updated 2 months ago
- Example implementation of stack tokens for Rust☆34Updated 2 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆81Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- enforce representation/class invariants in your Rust data structures☆12Updated 2 years ago
- ☆23Updated 3 years ago
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 2 years ago
- MnemOS Global Networking Protocol☆15Updated last year
- Rust bindings to the MLIR C API.☆67Updated 3 weeks ago
- A Rust toolkit to combine property-based testing and fuzzing.☆136Updated 3 years ago
- An implementation of strace in Rust, and a library interface☆22Updated 7 years ago
- An arbitrary-precision floating-point library in Rust☆46Updated 5 months ago
- Easy SMT solver interaction☆34Updated 2 months ago
- benchmarking e-graph extraction☆46Updated 4 months ago
- ☆24Updated 10 months ago
- Human-friendly indexed collections☆55Updated last week
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- Experimental type level programming in Rust☆40Updated 4 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Updated 5 years ago
- An experimental optimizing compiler for Bril☆77Updated this week
- Propositional logic with types in Rust☆63Updated 2 years ago
- A minimalist property-based testing library☆116Updated 5 months ago
- A playground for thinking about what Rust could be like☆23Updated last year