Alternatives and similar repositories for treeedb

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

• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆94Updated 4 years ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆68Updated 11 months ago
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆82Updated this week
• langston-barrett / souffle-lint
  A linter for Soufflé Datalog
  ☆16Updated last year
• GaloisInc / daedalus
  The Daedalus data description language
  ☆87Updated this week
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆74Updated last week
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆38Updated last year
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆81Updated 3 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆95Updated 2 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last week
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆85Updated 2 weeks ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆61Updated 5 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆153Updated 7 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆84Updated last week
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆127Updated this week
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆107Updated 3 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated last week
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆174Updated this week
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆39Updated last week
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆31Updated this week
• harp-lab / gdlog
  ☆87Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆95Updated this week
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆144Updated 2 weeks ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆53Updated 4 years ago
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated last year
• dcao / babble
  library learning w egraphs
  ☆25Updated 2 years ago
• TiarkRompf / reachability
  ☆54Updated 3 months ago
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆25Updated 6 years ago