prathyvsh / history-of-logicLinks
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
Alternatives and similar repositories for history-of-logic
Users that are interested in history-of-logic are comparing it to the libraries listed below
Sorting:
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 5 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- Course on Metaprogramming☆72Updated last month
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 7 months ago
- CMU Undergrad Course☆96Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 6 months ago
- ☆56Updated 3 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- SKI combinators☆55Updated 8 years ago
- Selected Papers of Dana S. Scott☆162Updated last year
- ☆43Updated 3 years ago
- The Iowa Agda Library☆48Updated last month
- ☆86Updated 3 months ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- Educational Proof Assistant for Type Theory☆74Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 2 months ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- 🪆 A Staged Type Theory☆35Updated last year
- Anders: Cubical Type Checker☆23Updated last year
- Formalization of category theory in Agda☆17Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Toy implementation of Martin-Löf Type Theory☆30Updated 2 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆80Updated this week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- Prototypes: Object Orientation, Functionally☆46Updated 2 weeks ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year