Little-Languages / reading-club
A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
☆47Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for reading-club
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- A dynamic data-driven document development environment (DDDDDE)☆80Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- Catalog of visual lambda calculi☆97Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 years ago
- Another attempt to realize my programming language☆18Updated last week
- A petrifyingly good logic programming language☆29Updated this week
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- archived prototype for sketching dynamic models☆16Updated 2 weeks ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆44Updated last week
- ☆36Updated 3 years ago
- A SolidJS diagramming framework☆75Updated 2 months ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆76Updated 3 weeks ago
- ☆42Updated this week
- Just a list of Awesome Alt Langs to check out☆95Updated 6 months ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆13Updated 11 months ago
- Build UI declaratively with Datalog.☆125Updated last year
- Catalogue of the hisotry of Mathematics☆33Updated 2 years ago
- Mystery Languages☆34Updated last year
- Ordo: A minimalist language with row polymorphism☆80Updated 3 months ago
- I refer you to the name of the repository☆25Updated 10 months ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- ☆35Updated 2 months ago
- Leibniz - a Digital Scientific Notation☆34Updated 2 months ago
- ☆17Updated 2 years ago
- A programming language and user interface toolkit for creating structured editors.☆19Updated last month
- A collection of programming languages and type systems.☆33Updated 2 months ago