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
  ☆64Updated 3 years ago
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆40Updated last week
• cfallin / waffle
  ☆58Updated 5 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆41Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 7 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 4 months ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 4 years ago
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆33Updated 3 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• minirust / specr
  ☆14Updated 4 months ago
• nadavrot / arpfloat
  An arbitrary-precision floating-point library in Rust
  ☆46Updated 7 months ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆28Updated 6 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated last year
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆37Updated last year
• ykjit / yk
  yk packages
  ☆34Updated this week
• frankmcsherry / columnation
  An experimental columnar arena
  ☆43Updated last year
• 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
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated 3 weeks ago
• graydon / exhaustigen
  ☆11Updated 4 years ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆47Updated 6 months ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆54Updated 8 months ago
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆116Updated 2 weeks ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆61Updated 2 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆99Updated this week
• matklad / arbtest
  A minimalist property-based testing library
  ☆120Updated 7 months ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆37Updated 2 months ago