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.
☆55Updated 3 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"☆51Updated last year
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 5 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated last month
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- ☆56Updated last month
- Mystery Languages☆38Updated last year
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 5 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- A template for you to implement Hazelnut yourself☆22Updated this week
- Formalizations of Gradually Typed Languages in Agda☆57Updated 4 months ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- ☆85Updated last month
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆48Updated 7 months ago
- SKI combinators☆55Updated 8 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- The Iowa Agda Library☆47Updated 6 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Anders: Cubical Type Checker☆24Updated last year