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:
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last week
- A dynamic data-driven document development environment (DDDDDE)☆84Updated 2 years ago
- A graphical interactive proof assistant designed for education☆169Updated 9 months ago
- Catalog of visual lambda calculi☆149Updated last month
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 6 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 3 months ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆57Updated 6 months ago
- SKI combinators☆55Updated 8 years ago
- Mystery Languages☆38Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Apple array system☆67Updated 3 weeks ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆112Updated last month
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- A small and expressive dependently typed language☆130Updated 5 years ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆28Updated 2 years ago
- ☆36Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Reading schedule and our library of pdfs☆24Updated 6 years ago
- a datalog interpreter in typescript☆212Updated 7 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆56Updated 2 weeks ago
- Slog 1.0☆43Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated last month
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated this week
- ☆90Updated 3 years ago
- A collection of programming languages and type systems.☆33Updated 3 months ago