Category theory concepts in type classes and instances.
☆23Feb 12, 2026Updated 3 weeks ago
Alternatives and similar repositories for haskerwaul
Users that are interested in haskerwaul are comparing it to the libraries listed below
Sorting:
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Oct 29, 2013Updated 12 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- a new, WIP Haskell compiler☆14Apr 21, 2020Updated 5 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Phaser 3 bindings for PureScript.☆12Apr 9, 2023Updated 2 years ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 5 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆71May 8, 2023Updated 2 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- Events, behaviors, and uneventful misbehaving☆17Sep 4, 2024Updated last year
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Nov 27, 2020Updated 5 years ago
- Skeleton app with contrived client/server examples☆20Nov 18, 2022Updated 3 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Jun 4, 2024Updated last year
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated last year
- An approach to user interfaces based in denotational design.☆27Jan 7, 2023Updated 3 years ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated last year
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- Talks on category-parametric programming.☆23Dec 15, 2023Updated 2 years ago
- Haskell library for doing category theory with a central role for profunctors☆24Updated this week
- An ambitious Slack JSON export viewer.☆24Sep 18, 2020Updated 5 years ago
- 🌳 a monadic FRP game library for haskell☆25Apr 7, 2020Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- PureScript bindings for the FRP library Hareactive☆26Jul 29, 2019Updated 6 years ago
- Category theory and algebra☆27Aug 4, 2016Updated 9 years ago
- React-Router implemented in PureScript as Cofree Comonad for the Array functor.☆26Mar 11, 2018Updated 7 years ago
- Type-safe SQL interactions with PostgreSQL, based on Opaleye.☆54Aug 21, 2017Updated 8 years ago
- Port of HUGS Haskell interpreter to Android☆43Feb 6, 2014Updated 12 years ago
- 🪆 A Staged Type Theory☆35Sep 4, 2023Updated 2 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 5 years ago
- A simple combinator library☆30Nov 5, 2018Updated 7 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 years ago
- Yet another … yet another recursion scheme library for Haskell☆89Feb 12, 2026Updated 3 weeks ago
- SPJ's tutorial on implementing functional languages☆29Jul 29, 2019Updated 6 years ago