Alternatives and similar repositories for prust

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

• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆59Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆84Updated 3 weeks ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆42Updated this week
• AeneasVerif / charon
  Analyze Rust crates without touching compiler internals
  ☆287Updated this week
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆38Updated last year
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆113Updated 5 months ago
• matklad / resilient-ll-parsing
  ☆67Updated 2 years ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆63Updated 7 months ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆65Updated last week
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆25Updated 6 years ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆46Updated last week
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆46Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆67Updated 9 months ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆123Updated 2 years ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆44Updated last month
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆124Updated last month
• cfallin / waffle
  ☆58Updated 7 months ago
• brurucy / materialized-view
  ☆19Updated 9 months ago
• informalsystems / modelator
  Model-based testing tool
  ☆63Updated 11 months ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆26Updated 4 months ago
• mcoblenz / Bronze
  ☆37Updated 5 months ago
• hylo-lang / Lotsawa
  A Swift implementation of the MARPA algorithms
  ☆20Updated last year
• nikis05 / derive-visitor
  ☆40Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆43Updated 11 months ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆80Updated this week
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆30Updated 3 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆84Updated last week