conal / talk-2020-calculating-compilers-categoricallyLinks
A talk
☆28Updated 4 years ago
Alternatives and similar repositories for talk-2020-calculating-compilers-categorically
Users that are interested in talk-2020-calculating-compilers-categorically are comparing it to the libraries listed below
Sorting:
- ☆30Updated 7 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- An efficient graph library for Haskell☆39Updated last month
- oleg modules☆32Updated 12 years ago
- Interpret Haskell programs into any cartesian closed category.☆62Updated last month
- Agda-style equational reasoning in Haskell☆53Updated 3 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated 3 months ago
- topos programming☆31Updated 6 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- enumerative property-based testing for Haskell☆52Updated 5 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Agda category theory library for denotational design☆51Updated last year
- apkg - package manager for Agda☆38Updated 3 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Updated 5 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated 3 weeks ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated last month
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆73Updated 3 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated last year
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 2 months ago
- A showcase of interesting code and proof developments in Cedille☆36Updated last month
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Generic functions for single-sorted first-order structural unification☆45Updated 2 months ago
- Haskell embedding of PlusCal☆61Updated 3 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago