Alternatives and similar repositories for Ocelot:

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

• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆63Updated 9 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated 2 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 5 months ago
• ikuraj / SciFe
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Updated last year
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆94Updated 2 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• softdevteam / krun
  High fidelity benchmark runner
  ☆86Updated 3 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• TiarkRompf / lms-clean
  ☆55Updated last year
• hpi-swa-lab / sb-tree-sitter
  Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars
  ☆13Updated last year
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆12Updated last year
• harp-lab / gdlog
  ☆80Updated 5 months ago
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• japgolly / tla2json
  Convert TLA+ output (and values) into JSON
  ☆26Updated 4 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆11Updated 11 months 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
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 2 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆32Updated last week
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆156Updated 5 months ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• quickstrom / ltl-visualizer
  An interactive visualizer for linear temporal logic (LTL)
  ☆31Updated 3 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆90Updated last year
• dcao / babble
  library learning w egraphs
  ☆17Updated last year