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
  ☆262Updated last year
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated this week
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 6 months ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated 9 months ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆70Updated 3 weeks 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
  ☆118Updated 2 months ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated 5 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆668Updated last month
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆250Updated last week
• 51alg / TerpreT
  ☆42Updated 8 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆31Updated 3 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 10 months ago
• asolarlez / sketch-backend
  ☆44Updated 11 months ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆28Updated 2 weeks ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 3 months ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 11 months ago
• marijnheule / microsat
  microsat
  ☆138Updated 3 years ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆473Updated this week
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆73Updated last month
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆24Updated 2 years ago