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
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Implementing grep in Agda☆33Jan 11, 2021Updated 5 years ago
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- ☆12Oct 3, 2020Updated 5 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- ☆12Apr 3, 2018Updated 7 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- ☆12Jan 5, 2015Updated 11 years ago
- Extensible Free Monad Effects☆15Mar 16, 2021Updated 4 years ago
- A simplistic AFRP implementation☆13Sep 3, 2015Updated 10 years ago
- Slides from my Wellington FP Users Group presentation on Yesod☆15May 14, 2011Updated 14 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- A simpler request/response abstraction on top of Hyper☆13Jul 26, 2018Updated 7 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Sep 27, 2015Updated 10 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49May 28, 2016Updated 9 years 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
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 8 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated 10 months ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Elm Architecture for Scala.js☆11Jul 16, 2016Updated 9 years ago
- List monad transformer☆60May 19, 2024Updated last year
- ☆39Oct 19, 2017Updated 8 years ago
- Quiver stream processing library☆15Oct 6, 2016Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 9 years ago
- A simple XML module for Idris.☆13May 22, 2020Updated 5 years ago
- A small implementation of type inference☆80May 19, 2015Updated 10 years ago
- A Java JIT compiler written in Haskell☆73Sep 7, 2013Updated 12 years ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- Formally verified JSON parser☆15Sep 27, 2017Updated 8 years ago
- ☆12May 6, 2015Updated 10 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- ghci with autocomplete, calltips, colors with type information, variable inspector, and more.☆21Dec 24, 2011Updated 14 years ago
- Command-line tool for formatting and publishing blog posts.☆20Aug 19, 2023Updated 2 years ago
- Dependently typed core calculus with erasure☆19Aug 31, 2021Updated 4 years ago