Alternatives and similar repositories for crossbot

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

• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆264Updated last year
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 4 months ago
• rishabhs / sygus-comp14
  ☆41Updated 6 years ago
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated this week
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆24Updated 8 years ago
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆115Updated 9 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 3 months ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 9 months ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 5 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆52Updated 3 weeks ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆308Updated 2 weeks ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆680Updated last month
• 51alg / TerpreT
  ☆42Updated 8 years ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 9 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆415Updated 2 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆41Updated 2 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 7 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 9 years ago
• anishathalye / synox
  Rust library for program synthesis of string transformations from input-output examples 🔮
  ☆28Updated 11 months ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆234Updated 5 years ago
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 9 years ago
• jeanqasaur / research-group-resources
  Resources for people running research groups.
  ☆206Updated 8 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆120Updated last month
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Updated 2 years ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated 2 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆158Updated this week