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.
☆56Updated 4 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:
- Andrej Bauer's blog "Mathematics and Computation"☆52Updated last year
- Mystery Languages☆38Updated last year
- Course on Metaprogramming☆63Updated this week
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 6 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated 2 weeks ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- ☆56Updated 2 months ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Prototypes: Object Orientation, Functionally☆46Updated last month
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 5 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 3 weeks ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- ☆79Updated 6 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- ☆86Updated 2 months ago
- Sound and efficient gradual typing via contract verification.☆20Updated last year
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- ☆43Updated 3 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆58Updated 3 weeks ago
- OCaml code to construct an NFA from a regular expression☆52Updated 4 years ago
- SKI combinators☆55Updated 8 years ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- CMU Undergrad Course☆96Updated 2 years ago