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
- Finite state machines as graphs☆59Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Another attempt to realize my programming language☆23Updated 3 months ago
- Formalism and proofs for esverify☆20Updated 7 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- ☆44Updated 2 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- ☆37Updated 3 years ago
- ☆35Updated last year
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆20Updated last week
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Small Scheme interpreter and compiler☆14Updated 9 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Safely running potentially non-terminating functions in Elm.☆10Updated 4 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 3 years ago
- Helpers for incremental operations on map like data structures.☆26Updated last week
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- Higher-Order Contracts for JavaScript☆14Updated 8 years ago
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- A generic zipper library for JavaScript☆29Updated 8 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Visually bootstrap a self-sustaining system, and take it from there.☆11Updated 3 months ago