prathyvsh / history-of-logic
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
Related projects ⓘ
Alternatives and complementary repositories for history-of-logic
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆37Updated last month
- Mystery Languages☆35Updated last year
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆51Updated last year
- Course on Metaprogramming☆55Updated 2 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- SKI combinators☆50Updated 7 years ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- ☆77Updated 5 years ago
- Catalog of visual lambda calculi☆100Updated last year
- Efficient effect handlers based on Evidence Passing Semantics.☆27Updated 3 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- An implementation of the Lox language in Racket.☆30Updated last year
- Template to effortlessly build math-rich websites☆39Updated 2 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated 9 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆27Updated last week
- 🪆 A Staged Type Theory☆34Updated last year
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- Functional teaching language for use in a discrete mathematics course☆164Updated 2 weeks ago
- Hoare Type Theory☆69Updated last month
- ☆32Updated 2 weeks ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 4 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆59Updated this week
- Spartan implementation of H.O.T.T.☆25Updated 2 years ago
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- An embeddable flow-oriented language.☆59Updated this week
- A simple Prolog interpreter☆43Updated 2 years ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago