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
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- ☆40Updated 5 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 7 years ago
- program synthesis is possible☆39Updated 5 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago
- Python term rewriting☆27Updated 11 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated last week
- Constructing automata with SAT solvers☆8Updated 6 years ago
- SIGPLAN website☆10Updated this week
- ☆22Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- The Brown Benchmark for Table Types (B2T2)☆62Updated 5 months 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
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago
- Execute and document benchmarks reproducibly.☆85Updated this week
- Staged Abstract Interpreters☆65Updated last year
- ☆19Updated 7 years ago
- Code for enumeration from a CFG☆18Updated last year
- Slog 1.0☆33Updated 5 months ago
- Convert TLA+ output (and values) into JSON☆24Updated 3 years ago
- Orc programming language implementation☆42Updated 2 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 7 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- Parallel Self-Adjusting Computation☆11Updated 3 years ago
- Python interpreter for TLA+ specifications☆113Updated 5 months ago