lexi-lambda / talks
☆44Updated last year
Alternatives and similar repositories for talks:
Users that are interested in talks are comparing it to the libraries listed below
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆57Updated last year
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated 11 months ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- high-powered optics in a small package☆53Updated 3 months ago
- A talk☆28Updated 3 years ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year
- A monadic approach to static analysis following the methodology of AAM☆19Updated 9 years ago
- The Iowa Agda Library☆47Updated last month
- An efficient graph library for Haskell☆39Updated 5 months ago
- Extensible records for Idris☆26Updated 3 years ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆56Updated 7 months ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆29Updated 5 months ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated 5 months ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆25Updated last year
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated 3 weeks ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago