nuprl / OcelotLinks
An IDE for JavaScript, without the "bad parts".
☆30Updated 2 years ago
Alternatives and similar repositories for Ocelot
Users that are interested in Ocelot are comparing it to the libraries listed below
Sorting:
- program synthesis is possible☆41Updated 5 years ago
- Python term rewriting☆29Updated 12 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Staged Abstract Interpreters☆66Updated 2 years ago
- Rhyme is an Expressive Data-Centric Query Language☆29Updated last week
- A CSS specification and reasoning engine☆95Updated 2 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated last year
- Collapsing Towers of Interpreters☆91Updated this week
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated last month
- Editor for language composition☆58Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- Execute and document benchmarks reproducibly.☆92Updated 4 months ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- ☆82Updated 8 months ago
- ☆11Updated 9 years ago
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆23Updated 11 years ago
- ☆40Updated 6 years ago
- Python interpreter for TLA+ specifications☆113Updated last year
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆17Updated 4 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- an optimizing curry compiler☆14Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Code for enumeration from a CFG☆18Updated last year
- Provides a reference implementation of FeatherweightRust in Java.☆14Updated 3 years ago