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 2 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
- Mystery Languages☆38Updated last year
- ☆56Updated 2 weeks ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 7 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆40Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- ☆79Updated 5 years ago
- ☆83Updated 2 weeks ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- An embeddable flow-oriented language.☆70Updated 2 months ago
- CMSC 430 Design and Implementation of Programming Languages☆50Updated 4 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Course on Metaprogramming☆55Updated 3 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 3 months ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 3 weeks ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 4 years ago
- SKI combinators☆54Updated 7 years ago
- Prototypes: Object Orientation, Functionally☆44Updated last week
- Formalization of category theory in Agda☆15Updated 2 years ago
- Demo for dependent types + runtime code generation☆69Updated 2 months ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Bibliography of Scheme-related Research☆15Updated 6 years ago
- Reading schedule and our library of pdfs☆24Updated 6 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 11 months ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 2 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago