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 last week
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆254Updated last year
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• marijnheule / microsat
  microsat
  ☆136Updated 3 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated last year
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆113Updated 3 months ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 8 months ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated 2 months ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆97Updated 7 months ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆133Updated 3 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• clarus / falso
  A proof of false in Coq.
  ☆98Updated 5 years ago
• anishathalye / synox
  Rust library for program synthesis of string transformations from input-output examples 🔮
  ☆27Updated 4 months ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆146Updated 5 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆160Updated 9 months ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆661Updated last week
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆147Updated 4 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• JasonGross / coq-tools
  Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
  ☆42Updated this week
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated 11 months ago
• micro-policies / micro-policies-coq
  Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
  ☆20Updated 5 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆74Updated this week
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 3 months ago