pigworker / CS410-13Links
being the notes and materials for CS410 in the 2013/14 academic session
☆28Updated 11 years ago
Alternatives and similar repositories for CS410-13
Users that are interested in CS410-13 are comparing it to the libraries listed below
Sorting:
- Typed DSLs for sorting☆19Updated 7 years ago
- Base library for HoTT in Agda☆37Updated 6 years ago
- ☆17Updated 2 years ago
- some "modernized" brouwerian mathematics, inspired by Hancock, Ghani & Pattinson☆8Updated 9 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 6 months ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- ☆31Updated 10 years ago
- A fast globally unique variable supply with a pure API☆19Updated last year
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 9 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- ☆23Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago
- Relative Monad Library for Agda☆24Updated 6 years ago
- fast utf-8 character sets☆13Updated 3 months ago
- CLI tool for Hackage☆26Updated 4 months ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Type Theory with Indexed Equality☆25Updated 8 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- playing with hyperfunctions☆16Updated 4 years ago
- Implementing grep in Agda☆33Updated 4 years ago
- "Programs that explain their effects" talk material☆17Updated 6 years ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 10 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆12Updated 4 years ago
- Agda code for experimenting with internal models of cubical type theory☆14Updated 7 years ago