Alternatives and similar repositories for ctadl

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

• harp-lab / gdlog
  ☆82Updated 8 months ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆181Updated last month
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆112Updated last week
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆69Updated last month
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 4 months ago
• kovach / etch
  ☆17Updated last year
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆21Updated 2 weeks ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆127Updated 2 weeks ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆158Updated 7 months ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 3 months ago
• doomslide / baby-compiler
  It's a baby compiler. (Lean btw.)
  ☆16Updated last month
• riswords / quiche
  ☆22Updated 2 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆63Updated 3 months ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆44Updated last month
• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "back arrowBack to Author Console Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆51Updated last week
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆80Updated this week
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated 2 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆24Updated last year
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆52Updated 3 weeks ago
• dcao / babble
  library learning w egraphs
  ☆18Updated 2 years ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆26Updated 5 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 months ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆192Updated last week
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆52Updated last month