cpressey / Some-Papers-I-Really-LikedLinks
I refer you to the name of the repository
☆25Updated last year
Alternatives and similar repositories for Some-Papers-I-Really-Liked
Users that are interested in Some-Papers-I-Really-Liked are comparing it to the libraries listed below
Sorting:
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A small logic programming language.☆16Updated last year
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 3 months ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆20Updated last week
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- ☆35Updated last year
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- A toy programming language.☆40Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆24Updated 8 months ago
- A collection of programming languages and type systems.☆33Updated 3 weeks ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- A toy JS to ARM assembly compiler, in Haskell☆16Updated 3 years ago
- McLulang: The message is the language☆10Updated 9 months ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last month
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 2 weeks ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- An implementation of interaction nets as a forth-like language.☆33Updated 3 weeks ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 3 months ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A simple, immutable, 100% asynchronous programming language☆13Updated last year
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- Apple array system☆66Updated 3 weeks ago