jeffreyguenther / alternatives-reading-list
A reading list of of papers on alternatives and subjunctive interfaces
☆10Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for alternatives-reading-list
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- Finite state machines as graphs☆59Updated 4 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- Calculus of Constructions Implementation☆14Updated 4 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 4 months ago
- Bringing Prolog to the masses.☆35Updated 2 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- Macro-based string templating.☆20Updated 2 months ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 7 years ago
- Kanren with databases☆43Updated 3 months ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 5 years ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- Another attempt to realize my programming language☆18Updated last week
- Safely running potentially non-terminating functions in Elm.☆10Updated 3 years ago
- Catalogue of the hisotry of Mathematics☆33Updated 2 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 2 months ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 4 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆11Updated 7 years ago
- A general purpose relational language☆20Updated 4 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆19Updated 2 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆15Updated 4 years ago
- A dynamic data-driven document development environment (DDDDDE)☆80Updated last year
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆20Updated last year
- Riffs on spreadsheets for manipulating JSON and building GUIs☆16Updated 4 years ago