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
  ☆12Updated this week
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• marijnheule / microsat
  microsat
  ☆132Updated 2 years ago
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆111Updated last year
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆654Updated 8 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆235Updated 3 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆225Updated 2 months ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 3 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated 10 months ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆169Updated 2 months ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆210Updated 4 years ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated last year
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 4 months ago
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆387Updated last month
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆36Updated 8 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated 2 weeks ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆142Updated 5 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆240Updated this week
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆250Updated 11 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆446Updated this week
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆131Updated 5 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆146Updated 7 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆597Updated 9 months ago
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago