isovector / cccc
πΌοΈ the compiling to closed categories compiler
β66Updated 6 years ago
Related projects: β
- A Specification for Dependent Types in Haskell (Core)β65Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn termsβ121Updated last month
- being a thing I build on a Saturdayβ28Updated 6 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coqβ36Updated 3 years ago
- Work on type class deriving with elaboration reflectionβ31Updated 6 years ago
- Recursion schemes for Idrisβ64Updated 6 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofsβ68Updated 2 years ago
- Type Safe LLVM IR ( Experimental )β49Updated 6 years ago
- A plugin for solving numeric constraints in GHC's type-checkerβ50Updated 3 years ago
- Interpreter for GHC Haskellβ22Updated 4 years ago
- A monadic approach to static analysis following the methodology of AAMβ19Updated 8 years ago
- The Evolution of a Typecheckerβ51Updated 5 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.β71Updated 4 years ago
- Where my everyday research happensβ53Updated 3 weeks ago
- being bits and pieces I'm inclined to leave lying aroundβ45Updated last month
- Replib: generic programming & Unbound: generic treatment of bindersβ44Updated last year
- A small implementation of a proof refinement logic.β50Updated 7 years ago
- being a collection of Agda-facilitated ramblingsβ33Updated 4 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficientlyβ22Updated 5 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)β55Updated 5 months ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"β25Updated 3 months ago
- being a bidirectional reformulation of Martin-LΓΆf's 1971 type theoryβ25Updated 7 years ago
- ALGT 2.0β30Updated 4 years ago
- ICFP tutorialβ40Updated 3 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)β25Updated 6 years ago
- An experimental intermediate language for GHCβ37Updated 7 years ago
- Tiny type-checker with dependent typesβ76Updated 10 years ago
- β37Updated this week
- being the materials for Summer 2013's courseβ110Updated last year
- Zippers based on lenses and traversalsβ38Updated last year