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☆60Updated 2 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Haskell embedding of PlusCal☆62Updated 3 years ago
- Bidirectional programming in Haskell with monadic profunctors☆47Updated 3 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆58Updated last year
- Fast, CommonMark-compliant Markdown parser written in Racket☆33Updated last year
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 8 months ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- ☆37Updated last year
- Awesome Agda Programming☆18Updated last month
- Anders: Cubical Type Checker☆23Updated 2 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year
- The Iowa Agda Library☆49Updated last month
- Javascript DOM bindings for Idris2☆52Updated this week
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆27Updated 10 months ago
- A very little language☆16Updated 2 years ago
- A talk☆28Updated 4 years ago
- Jupyter notebooks☆58Updated 10 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 5 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 6 years ago
- Basics of the dependently-typed functional language Agda ^_^☆40Updated 3 years ago
- SPJ's tutorial on implementing functional languages☆29Updated 6 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 6 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated last year