bobatkey / CS316-2020
The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
☆25Updated 3 years ago
Related projects: ⓘ
- Quantitative Type Theory implementation☆54Updated 3 years ago
- ☆46Updated 5 months ago
- Learn the Agda basics in three 2-hour sessions.☆53Updated 10 months ago
- A library for doing generic programming in Agda☆28Updated 3 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆28Updated 9 months ago
- System F-omega normalization by hereditary substitution in Agda☆56Updated 5 years ago
- ☆28Updated 6 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆27Updated 3 years ago
- Order theory☆23Updated last year
- Implementation for ICFP 2020 paper☆49Updated 3 years ago
- higher-kinded data☆30Updated last year
- Fine-grained lattice primitives for Haskell☆35Updated last month
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 4 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- ☆39Updated 4 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆66Updated 11 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- ICFP tutorial☆40Updated 3 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆42Updated 5 years ago
- Basics of the dependently-typed functional language Agda ^_^☆37Updated 2 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 3 months ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆33Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Anders: Cubical Type Checker☆18Updated 10 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 7 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago