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
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 9 years ago
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated 3 weeks ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 9 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆679Updated 3 weeks ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 9 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 3 months ago
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆114Updated 8 months ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 5 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆159Updated 4 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆120Updated last month
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 2 months ago
• 51alg / TerpreT
  ☆42Updated 8 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆145Updated 4 years ago
• rishabhs / sygus-comp14
  ☆41Updated 6 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated last year
• avigad / formal_methods_in_education
  A web page with resources for teaching with formal methods and tools.
  ☆14Updated 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 / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Updated 2 years 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 4 years ago
• marijnheule / microsat
  microsat
  ☆140Updated 3 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
  ☆233Updated last week
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• willieneis / ProBO
  ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language
  ☆15Updated 6 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 5 years ago