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 this week
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆252Updated last year
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆112Updated last month
• 51alg / TerpreT
  ☆43Updated 7 years ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• jeanqasaur / against-junior-faculty-stress
  ☆68Updated 7 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆132Updated last month
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• utopia-group / regel
  REGEL: Regular Expression Generation from Examples and Language
  ☆34Updated 2 years ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 6 months ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆145Updated 4 years ago
• dannybd / courseroad
  CourseRoad is a four-year academic planner for undergraduates.
  ☆62Updated 6 years ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• randriu / synthesis
  ☆23Updated 2 weeks ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• meelgroup / approxmc
  Approximate Model Counter
  ☆76Updated this week
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆396Updated this week
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆57Updated 4 months ago
• andrewcmyers / prelatex
  LaTeX preprocessor
  ☆9Updated last year
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• anishathalye / synox
  Rust library for program synthesis of string transformations from input-output examples 🔮
  ☆27Updated 2 months ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆658Updated this week
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆601Updated 11 months ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• cucapra / gator
  Geometry types
  ☆30Updated 4 years ago