vmchale / dickinson
Text generation language
☆32Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for dickinson
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated 2 months ago
- Learn the Agda basics in three 2-hour sessions.☆55Updated last year
- Braiding extensible effects together in a pipeline/workflow of tasks☆56Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- Basics of the dependently-typed functional language Agda ^_^☆38Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated last week
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- ☆28Updated 6 years ago
- A talk☆28Updated 3 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated last year
- Haskell embedding of PlusCal☆61Updated 2 years ago
- ☆47Updated last month
- Ties the knot on data structures that reference each other by unique keys☆47Updated 3 months ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Fast equality saturation in Haskell☆77Updated 6 months ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- A library for doing generic programming in Agda☆28Updated 3 years ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆53Updated 6 months ago
- Generic functions for single-sorted first-order structural unification☆41Updated this week
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month