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 last month
Alternatives and similar repositories for history-of-logic:
Users that are interested in history-of-logic are comparing it to the libraries listed below
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆40Updated 2 weeks ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆20Updated 2 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- ☆83Updated last week
- ☆56Updated 4 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated last week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Mystery Languages☆38Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆32Updated last year
- Formalization of category theory in Agda☆15Updated 2 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- A template for you to implement Hazelnut yourself☆21Updated 3 months ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆26Updated 3 years ago
- ☆44Updated last year
- ☆78Updated 5 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆59Updated last year
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆50Updated 4 months ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- The Iowa Agda Library☆47Updated 4 months ago
- Normalization by Evaluation for Martin-Löf Type Theory☆124Updated 10 months ago
- Prototypes: Object Orientation, Functionally☆44Updated 3 weeks ago
- Course on Metaprogramming☆55Updated 2 months ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 8 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 2 months ago