jeffreyguenther / alternatives-reading-listLinks
A reading list of of papers on alternatives and subjunctive interfaces
☆12Updated 9 years ago
Alternatives and similar repositories for alternatives-reading-list
Users that are interested in alternatives-reading-list are comparing it to the libraries listed below
Sorting:
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆20Updated last week
- Formalism and proofs for esverify☆20Updated 7 years ago
- Another attempt to realize my programming language☆23Updated 3 months ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Finite state machines as graphs☆59Updated 4 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- ☆44Updated 2 years ago
- Safely running potentially non-terminating functions in Elm.☆10Updated 4 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- language verification, construction, and analysis☆20Updated 3 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- An interactive beta reduction calculator for lambda calculus☆11Updated 7 years ago
- BDD-based implementation of Datalog☆37Updated 4 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 5 years ago
- Kanren with databases☆43Updated 10 months ago
- experimental computational medium and supporting tools☆22Updated last week
- CHR2 to SQL conversion☆13Updated 9 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- ☆37Updated 3 years ago
- An extended typed Lambda Calculus☆21Updated 9 months ago
- ☆35Updated 11 years ago