sampsyo / minisynth

Related projects ⓘ

Alternatives and complementary repositories for minisynth

• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 2 weeks ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆53Updated 3 weeks ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆41Updated last year
• cucapra / styleguide
  rules for writing and typesetting
  ☆23Updated 3 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆66Updated 7 months ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆81Updated this week
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆46Updated last month
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆33Updated 4 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆47Updated last year
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 2 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆12Updated 4 years ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆34Updated last year
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆65Updated this week
• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆18Updated 4 years ago
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 5 months ago
• ChezJrk / verified-scheduling
  ☆34Updated 7 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated last year
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆25Updated 5 months ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 8 months ago
• yihozhang / relational-ematching-benchmark
  ☆15Updated 2 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆67Updated 5 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆26Updated 7 months ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆18Updated 3 months ago
• mangpo / greenthumb
  ☆84Updated 2 years ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆71Updated 5 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆48Updated 3 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated last month
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated 11 months ago