cpressey / Some-Papers-I-Really-Liked
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:
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last week
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- ☆48Updated 6 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- A graphical interactive proof assistant designed for education☆167Updated 5 months ago
- ☆47Updated 3 years ago
- Catalog of visual lambda calculi☆136Updated last month
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Apple array system☆66Updated this week
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆103Updated this week
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 11 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated last month
- Mystery Languages☆38Updated last year
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆53Updated 4 months ago
- [WIP] A book on the k language.☆45Updated 2 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 3 months ago
- Domain Specific Languages for Computational Law☆73Updated 3 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆45Updated 3 months ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 6 months ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- ☆100Updated 3 years ago
- various toys in j☆12Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- A toy programming language.☆40Updated last year