do-notation for Category and "Arrow without arr"
☆63Mar 17, 2017Updated 8 years ago
Alternatives and similar repositories for category-syntax
Users that are interested in category-syntax are comparing it to the libraries listed below
Sorting:
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Tactic Metaprogramming in Haskell☆56Jul 7, 2019Updated 6 years ago
- Haskell command line text stream processor☆87Jul 11, 2019Updated 6 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- NbE course @ Chalmers☆28Sep 24, 2024Updated last year
- Clash implementation of the Compucolor II home computer☆32Nov 6, 2021Updated 4 years ago
- Inspection Testing for Haskell☆190Jan 17, 2026Updated last month
- Compact regions library for Haskell☆82Jul 2, 2024Updated last year
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- Ties the knot on data structures that reference each other by unique keys☆48Aug 2, 2024Updated last year
- Safe web routing in haskell☆30Apr 25, 2023Updated 2 years ago
- Filter with effects☆76Jan 5, 2025Updated last year
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 years ago
- List monad transformer☆60May 19, 2024Updated last year
- Composable monadic short-circuiting streaming folds☆19Mar 28, 2018Updated 7 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 years ago
- constraint level if statements☆117Nov 29, 2017Updated 8 years ago
- Delete half (minus ε) of your Haskell code!☆30Feb 13, 2026Updated 2 weeks ago
- A simple interface for generating persistent data and linking its dependencies☆48Dec 15, 2025Updated 2 months ago
- A language experiment -- irc.freenode.net ##coda☆163Apr 10, 2024Updated last year
- Hypertypes - generic programming for heterogeneous recursive types☆124Jan 12, 2025Updated last year
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 3 months ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Haskell library of row polymorphic record manipulator☆23Oct 19, 2020Updated 5 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Jun 4, 2024Updated last year
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Apr 3, 2024Updated last year
- Parse bytes fast☆25Nov 17, 2025Updated 3 months ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆82Feb 20, 2020Updated 6 years ago
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆61Oct 8, 2025Updated 4 months ago
- Automatically trace all (showable) binds in do expressions☆84Jun 11, 2018Updated 7 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101May 9, 2017Updated 8 years ago
- being a programming language for sequential circuits☆22Dec 8, 2025Updated 2 months ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- Total Parser Combinators in Agda☆132Aug 5, 2025Updated 6 months ago
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 3 months ago
- ☆12Sep 22, 2020Updated 5 years ago