cpressey / Some-Papers-I-Really-LikedLinks
I refer you to the name of the repository
☆26Updated 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 2 months ago
- Catalog of visual lambda calculi☆146Updated 2 weeks ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 5 months ago
- A graphical interactive proof assistant designed for education☆167Updated 8 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 2 months ago
- Mystery Languages☆38Updated last year
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- The cuteness implementation of a dependently typed language.☆191Updated 2 years ago
- Slog 1.0☆43Updated last year
- SKI combinators☆55Updated 8 years ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆110Updated 2 weeks ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 5 months ago
- A collection of programming languages and type systems.☆33Updated 2 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- A small, weird and unpractical programming language.☆103Updated this week
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- a datalog interpreter in typescript☆211Updated 7 months ago
- ☆101Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆164Updated last week
- ☆79Updated 6 years ago
- A dynamic data-driven document development environment (DDDDDE)☆84Updated 2 years ago
- Simple array language written in kotlin☆47Updated 2 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 5 months ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆22Updated 2 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Programming with pure lambda calculus☆112Updated last month
- Collapsing Towers of Interpreters☆91Updated last month
- Forge: A Tool and Language for Teaching Formal Methods☆82Updated 3 weeks ago