Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
☆14Feb 13, 2018Updated 8 years ago
Alternatives and similar repositories for type-matrices
Users that are interested in type-matrices are comparing it to the libraries listed below
Sorting:
- Miscellaneous constructions on monoids☆24Jan 29, 2026Updated last month
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- Paper: The simple essence of automatic differentiation☆23Nov 9, 2018Updated 7 years ago
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 8 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Sep 27, 2015Updated 10 years ago
- An implementation of the Core language☆30Oct 4, 2015Updated 10 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- A simplistic AFRP implementation☆13Sep 3, 2015Updated 10 years ago
- Implementation of the ideas in the Build Systems a la Carte paper☆15Jan 5, 2019Updated 7 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated 2 months ago
- ☆12Oct 3, 2020Updated 5 years ago
- A small implementation of type inference☆80May 19, 2015Updated 10 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- ☆39Oct 19, 2017Updated 8 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- Implementing grep in Agda☆33Jan 11, 2021Updated 5 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49May 28, 2016Updated 9 years ago
- A simpler request/response abstraction on top of Hyper☆13Jul 26, 2018Updated 7 years ago
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated 11 months ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Jul 20, 2024Updated last year
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 9 years ago
- ☆12Apr 3, 2018Updated 7 years ago
- Elm Architecture for Scala.js☆11Jul 16, 2016Updated 9 years ago
- List monad transformer☆60May 19, 2024Updated last year
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- A Java JIT compiler written in Haskell☆73Sep 7, 2013Updated 12 years ago
- ☆12Jan 5, 2015Updated 11 years ago
- Publishing tools for papers, books, and presentations☆13May 29, 2024Updated last year
- A simple XML module for Idris.☆13May 22, 2020Updated 5 years ago
- ☆31Sep 9, 2014Updated 11 years ago
- Various type-aligned sequence data structures.☆21Aug 15, 2021Updated 4 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- Flexible session middleware for WAI☆15Nov 11, 2020Updated 5 years ago
- Simple SBT plugin to configure Spark applications☆25Jul 29, 2024Updated last year
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago