do-notation for Category and "Arrow without arr"
☆63Mar 17, 2017Updated 9 years ago
Alternatives and similar repositories for category-syntax
Users that are interested in category-syntax are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tactic Metaprogramming in Haskell☆56Jul 7, 2019Updated 6 years ago
- 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
- Implementation for ICFP 2020 paper☆54Jul 5, 2021Updated 4 years ago
- NbE course @ Chalmers☆28Sep 24, 2024Updated last year
- Inspection Testing for Haskell☆190Jan 17, 2026Updated 2 months ago
- Haskell command line text stream processor☆87Jul 11, 2019Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated 2 months ago
- ☆12Jun 13, 2019Updated 6 years ago
- Compact regions library for Haskell☆82Jul 2, 2024Updated last year
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- Delete half (minus ε) of your Haskell code!☆30Mar 14, 2026Updated last week
- ☆11Nov 2, 2021Updated 4 years ago
- An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda'…☆12Aug 5, 2016Updated 9 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆124Jan 12, 2025Updated last year
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- List monad transformer☆60May 19, 2024Updated last year
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Feb 5, 2020Updated 6 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- Clash implementation of the Compucolor II home computer☆32Nov 6, 2021Updated 4 years ago
- Composable monadic short-circuiting streaming folds☆19Mar 28, 2018Updated 7 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- Automatically trace all (showable) binds in do expressions☆84Jun 11, 2018Updated 7 years ago
- being a programming language for sequential circuits☆22Dec 8, 2025Updated 3 months ago
- Ties the knot on data structures that reference each other by unique keys☆48Aug 2, 2024Updated last year
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- A language experiment -- irc.freenode.net ##coda☆162Apr 10, 2024Updated last year
- Standard containers, with keys that carry type-level proofs of their own presence.☆82Feb 20, 2020Updated 6 years ago
- Extensible sums and products for Haskell☆19Feb 25, 2026Updated last month
- constraint level if statements☆117Nov 29, 2017Updated 8 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Dec 10, 2017Updated 8 years ago
- A simple interface for generating persistent data and linking its dependencies☆48Mar 15, 2026Updated last week
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- Filter with effects☆76Jan 5, 2025Updated last year
- ScopeT and ScopeH☆13Aug 3, 2024Updated last year
- Sort any Traversable container☆42Jun 22, 2022Updated 3 years ago