mwillsey / crossbot

Related projects ⓘ

Alternatives and complementary repositories for crossbot

• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆12Updated this week
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 7 years ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆39Updated last year
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 7 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆92Updated 5 years ago
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆107Updated last year
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆50Updated 6 months ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 7 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated last month
• nearai / program_synthesis
  Program Synthesis
  ☆144Updated 3 years ago
• marijnheule / microsat
  microsat
  ☆130Updated 2 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆37Updated 2 years ago
• UCSD-PL / proverbot9001
  ☆39Updated 2 months ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 5 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆66Updated 7 months ago
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• blexim / synth
  Program synthesis
  ☆12Updated 8 years ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆25Updated 3 weeks ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆112Updated 6 years ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• CozySynthesizer / cozy
  The collection synthesizer
  ☆209Updated 4 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆108Updated 2 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆247Updated 8 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆33Updated last year
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• mikegashler / manic
  An implementation of the MANIC cognitive architecture.
  ☆39Updated 7 years ago