conal / felixLinks
Agda category theory library for denotational design
☆53Updated this week
Alternatives and similar repositories for felix
Users that are interested in felix are comparing it to the libraries listed below
Sorting:
- Interpret Haskell programs into any cartesian closed category.☆66Updated last month
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Updated last week
- Basics of the dependently-typed functional language Agda ^_^☆40Updated 3 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Updated last year
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 3 months ago
- Paper and talk☆55Updated 2 years ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated last year
- Eventually a practical 2-level TT-based compiler☆28Updated last week
- CS410 "Advanced Functional Programming"☆27Updated 5 months ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆54Updated last month
- Compiler backend for generating Scheme code☆27Updated last year
- Ground Zero: Lean 4 HoTT Library☆71Updated last week
- Formal Topology in Univalent Foundations (WIP).☆36Updated 3 years ago
- Fast equality saturation in Haskell☆88Updated 3 months ago
- A tutorial on how Agda infers things☆62Updated 3 months ago
- being bits and pieces I'm inclined to leave lying around☆54Updated 3 months ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆52Updated 3 months ago
- Effective Algebraic Topology in Haskell☆90Updated last year
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Revised Omega-categorical Typechecker☆27Updated 11 months ago
- Distributors - Unifying Parsers, Printers & Grammars☆56Updated last week
- A non-interactive proof assistant using the Haskell type system☆38Updated 5 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Category theory formalized in cubical agda☆21Updated 5 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Meta-programming utilities for Agda.☆20Updated 2 months ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 3 years ago