Alternatives and similar repositories for Ocelot

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

• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated last month
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆95Updated 2 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 9 years ago
• creswick / HaVSA
  HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.
  ☆12Updated 7 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 11 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 7 months ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• ExceLint / ExceLint
  Finds formula errors in spreadsheets (plugin for Microsoft Excel)
  ☆73Updated 5 years ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆42Updated 11 months ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆145Updated 5 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• rhyme-lang / rhyme
  Rhyme is an Expressive Data-Centric Query Language
  ☆28Updated last week
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 4 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago