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.
☆59Updated 10 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☆74Updated 6 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆54Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 3 weeks ago
- ☆56Updated 8 months ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆55Updated 5 years ago
- CMU Undergrad Course☆95Updated 2 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- ☆94Updated 8 months ago
- Selected Papers of Dana S. Scott☆170Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Updated 2 years ago
- ☆78Updated 6 years ago
- Mystery Languages☆41Updated 2 years ago
- Mathematical Components (the Book)☆149Updated 2 months ago
- SKI combinators☆56Updated 8 years ago
- ☆44Updated 4 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Updated 7 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated 3 weeks ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆84Updated 9 years ago
- Useful things for Standard ML☆71Updated last year
- A compiler for the gradually typed lambda calculus☆76Updated 4 years ago
- A collection of programming languages and type systems.☆33Updated 7 months ago
- Formalizations of Gradually Typed Languages in Agda☆59Updated last week
- ☆36Updated 2 months ago
- Resources for making sense of topology and its concepts☆18Updated 5 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 3 years ago
- An Open Encyclopedia of Proof Systems☆120Updated 3 years ago