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:
- Finite state machines as graphs☆59Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- Another attempt to realize my programming language☆23Updated 4 months ago
- Formalism and proofs for esverify☆19Updated 7 years ago
- language verification, construction, and analysis☆20Updated 3 years ago
- ☆16Updated 11 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- Kanren with databases☆43Updated 10 months ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- ☆44Updated 2 years ago
- ☆37Updated 3 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆22Updated 3 weeks ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- ☆35Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- CHR2 to SQL conversion☆13Updated 9 years ago
- An experimental type checker for a modal dependent type theory.☆112Updated 5 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 13 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- ☆35Updated 11 years ago