Alternatives and similar repositories for Ocelot:

Users that are interested in Ocelot are comparing it to the libraries listed below

• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆94Updated 2 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated 2 weeks ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆63Updated 8 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆142Updated 5 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆73Updated 6 months ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆19Updated 2 years ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 2 years ago
• nick8325 / equinox
  Paradox model finder and equinox theorem prover for first-order logic.
  ☆20Updated last year
• koko-m / GoI-Visualiser
  A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
  ☆12Updated 3 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated 3 weeks ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆27Updated this week
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year