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.
☆57Updated 7 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 on Metaprogramming☆72Updated 3 months ago
- ☆56Updated 5 months ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated last week
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- CMU Undergrad Course☆95Updated 2 years ago
- Mystery Languages☆41Updated 2 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆54Updated 5 years ago
- ☆90Updated 5 months ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 8 months ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- SKI combinators☆55Updated 8 years ago
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- ☆44Updated 3 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated this week
- Selected Papers of Dana S. Scott☆165Updated last year
- Educational Proof Assistant for Type Theory☆75Updated last year
- A tutorial on how Agda infers things☆61Updated 2 months ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated 8 months ago
- A collection of programming languages and type systems.☆33Updated 4 months ago
- Toy implementation of Martin-Löf Type Theory☆30Updated 3 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- Normalization by Evaluation for Martin-Löf Type Theory☆129Updated last year
- ☆35Updated last month
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 4 months ago
- An Open Encyclopedia of Proof Systems☆119Updated 3 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆31Updated 2 years ago
- The WIP book for CPSC 411☆66Updated 3 months ago