sellout / haskerwaulView external linksLinks
Category theory concepts in type classes and instances.
☆23Updated this week
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
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 5 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Phaser 3 bindings for PureScript.☆12Apr 9, 2023Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆70May 8, 2023Updated 2 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
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- 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 11 months 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
- Category theory applied to functional programming (undergraduate project)☆34May 1, 2025Updated 9 months ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated last year
- An approach to user interfaces based in denotational design.☆27Jan 7, 2023Updated 3 years ago
- A reversible language☆22Sep 25, 2018Updated 7 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
- React-Router implemented in PureScript as Cofree Comonad for the Array functor.☆25Mar 11, 2018Updated 7 years ago
- A total recursion scheme library for Dhall☆66Dec 29, 2025Updated last month
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Category theory and algebra☆27Aug 4, 2016Updated 9 years ago
- PureScript bindings for the FRP library Hareactive☆26Jul 29, 2019Updated 6 years ago
- Type-safe SQL interactions with PostgreSQL, based on Opaleye.☆54Aug 21, 2017Updated 8 years ago
- visual bloom filter to display process status as neotrellis m4 output☆27Apr 29, 2024Updated last year
- Port of HUGS Haskell interpreter to Android☆43Feb 6, 2014Updated 12 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
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 5 years ago