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 11 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year
- A talk☆28Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 3 weeks ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆33Updated 11 months ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆27Updated 9 months ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 7 months ago
- Bidirectional programming in Haskell with monadic profunctors☆47Updated 3 years ago
- Provides a type-safe way of working with permutations in Idris☆37Updated 4 years ago
- Optics via the profunctor representation theorem☆24Updated 9 months ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Updated 4 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- ☆44Updated 3 years ago
- Extensible records for Idris☆25Updated 4 years ago
- Haskell embedding of PlusCal☆62Updated 3 years ago
- ☆37Updated last year
- Jupyter notebooks☆58Updated 10 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Awesome Agda Programming☆18Updated last week
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 6 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- A Python backed for Idris 2☆27Updated 2 weeks ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- Elaborate and expressive S-Expression library for Haskell☆63Updated last year