lexi-lambda / talksLinks
☆45Updated 2 years ago
Alternatives and similar repositories for talks
Users that are interested in talks are comparing it to the libraries listed below
Sorting:
- An implementation of Haskell’s MVars in Racket☆30Updated last year
- Braiding extensible effects together in a pipeline/workflow of tasks☆62Updated 2 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Javascript DOM bindings for Idris2☆54Updated 3 months ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated 2 years ago
- ☆14Updated 3 months ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Updated 11 months ago
- A friendly functional language for finding counterexamples 🎯☆15Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 4 months ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- ☆44Updated 4 years ago
- Provides a type-safe way of working with permutations in Idris☆37Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆48Updated 3 years ago
- ☆37Updated last year
- A talk☆29Updated 4 years ago
- Basics of the dependently-typed functional language Agda ^_^☆41Updated 4 years ago
- The Iowa Agda Library☆53Updated 2 months ago
- A verified compiler for a lazy functional language☆37Updated this week
- Minimalistic dependent type theory with syntactic metaprogramming☆60Updated last year
- Invertible parsing for S-expressions☆34Updated this week
- Free Algebras in Haskell☆38Updated last year
- high-powered optics in a small package☆53Updated 4 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 6 years ago
- Jupyter notebooks☆58Updated 2 months ago
- Anders: Cubical Type Checker☆23Updated 2 years ago
- Source material for Certainty by Construction☆48Updated 2 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆27Updated 2 years ago
- Yet another … yet another recursion scheme library for Haskell☆89Updated this week
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago