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 3 weeks 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
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆49Updated 3 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆39Updated this week
- Mystery Languages☆38Updated last year
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- A metalanguage for creating sophisticated DSLs in Racket.☆31Updated this week
- ☆40Updated 3 years ago
- Course on Metaprogramming☆55Updated 2 months ago
- ☆52Updated 4 months ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 4 years ago
- Notes and handouts from OPLSS 2019☆34Updated 5 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆23Updated 2 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- ☆34Updated 11 months ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- The Agda Universal Algebra Library (html docs available at the url below)☆33Updated 3 months ago
- Adventures in being functional.☆9Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 2 months ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- Prototypes: Object Orientation, Functionally☆43Updated this week
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated last month
- ☆78Updated 5 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- The Iowa Agda Library☆47Updated 3 months ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 2 years ago