mroman42 / ctlc
(λ) Category theory and lambda calculus, Bachelor's thesis
☆39Updated 6 years ago
Alternatives and similar repositories for ctlc:
Users that are interested in ctlc are comparing it to the libraries listed below
- (λ) Educational lambda calculus interpreter☆71Updated 3 years ago
- Yoneda lemma in every known language☆17Updated last year
- Specification of the Cedille Core language☆29Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- ☆78Updated 4 months ago
- Learn the Agda basics in three 2-hour sessions.☆58Updated last year
- [WIP] Optics via the profunctor representation theorem☆19Updated 5 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- A tutorial on how Agda infers things☆38Updated 4 years ago
- Basics of the dependently-typed functional language Agda ^_^☆38Updated 3 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆66Updated this week
- ICFP 2020 papers. Crowd-sourced☆92Updated 4 years ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆30Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- A TACtic library for Agda☆48Updated 4 months ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆26Updated 3 months ago
- Tiny type-checker with dependent types☆76Updated 11 years ago
- A non-interactive proof assistant using the Haskell type system☆36Updated 4 years ago
- A verified compiler for a lazy functional language☆33Updated this week
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆39Updated 2 years ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆44Updated 10 months ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆39Updated this week
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Partial Commutative Monoids☆28Updated this week
- The Agda Universal Algebra Library (html docs available at the url below)☆30Updated last month
- HoTT in Lean 3☆77Updated 4 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated last year
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 10 months ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago