Alternatives and similar repositories for crossbot

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

• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated this week
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆27Updated 2 weeks ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆113Updated last month
• 51alg / TerpreT
  ☆43Updated 7 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆145Updated 4 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆39Updated 2 years ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• marijnheule / microsat
  microsat
  ☆135Updated 2 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆245Updated last week
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆145Updated 5 years ago
• utopia-group / regel
  REGEL: Regular Expression Generation from Examples and Language
  ☆34Updated 2 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆20Updated 2 years ago
• anishathalye / synox
  Rust library for program synthesis of string transformations from input-output examples 🔮
  ☆27Updated 3 months ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆199Updated last year
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 6 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆132Updated 2 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago