nuprl / Ocelot
An IDE for JavaScript, without the "bad parts".
☆30Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Ocelot
- A CSS specification and reasoning engine☆92Updated last year
- ☆40Updated 5 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated this week
- Execute and document benchmarks reproducibly.☆84Updated this week
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆74Updated 8 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Some fun examples of solving problems with symbolic execution☆112Updated 6 years ago
- Kodkod solver for relational logic☆74Updated last year
- Constructing automata with SAT solvers☆8Updated 6 years ago
- program synthesis is possible☆39Updated 5 years ago
- The Brown Benchmark for Table Types (B2T2)☆62Updated 5 months ago
- Whole Platform Language Workbench☆27Updated 5 months ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago
- Staged Abstract Interpreters☆65Updated last year
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 7 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆32Updated last month
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- Pedagogical first-order prover in Python☆73Updated last week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- Datalog with support for SMT queries and first-order functional programming☆153Updated 2 weeks ago
- Memory Management ToolKit☆31Updated last week
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 7 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆27Updated 7 years ago
- ☆34Updated 4 years ago
- Collapsing Towers of Interpreters☆86Updated 9 months ago
- ☆19Updated 11 months ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago