lexi-lambda / talks
☆42Updated last year
Related projects: ⓘ
- Haskell embedding of PlusCal☆59Updated 2 years ago
- A talk☆28Updated 3 years ago
- high-powered optics in a small package☆49Updated 4 months ago
- An efficient graph library for Haskell☆39Updated last month
- Braiding extensible effects together in a pipeline/workflow of tasks☆56Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Basics of the dependently-typed functional language Agda ^_^☆37Updated 2 years ago
- So, you want to write a DSL interpreter...☆25Updated 5 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Provides a type-safe way of working with permutations in Idris☆33Updated 2 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- ☆13Updated this week
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 2 years ago
- An implementation of Haskell’s MVars in Racket☆28Updated 6 months ago
- Extensible records for Idris☆26Updated 3 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 3 months ago
- Type Your Matrices For Great Good☆29Updated 4 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆27Updated 3 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆38Updated 3 months ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆23Updated last month
- Order theory☆23Updated last year
- A Datalog extension to reason about time with CTL operators☆14Updated 4 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 9 months ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆24Updated 2 years ago