A library encoding monoidal functors and related structures in Haskell.
☆19Aug 28, 2025Updated 6 months ago
Alternatives and similar repositories for monoidal-functors
Users that are interested in monoidal-functors are comparing it to the libraries listed below
Sorting:
- ☆10Mar 2, 2021Updated 5 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 3 months ago
- Source Layouting Engine☆11Mar 7, 2021Updated 4 years ago
- Atidot Code Snippets☆10Mar 9, 2020Updated 5 years ago
- A simple library for defining ADTs☆15Oct 10, 2023Updated 2 years ago
- My computing life in Nix.☆14Jan 21, 2026Updated last month
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- [Haskell] The "Network.Multicast" module is for sending UDP datagrams over multicast (class D) addresses.☆23Oct 22, 2023Updated 2 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- haskell posix bindings☆19Aug 5, 2025Updated 7 months ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- Principled functional programming for JS☆17Dec 3, 2022Updated 3 years ago
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- Stack-based esoteric programming language☆18Jan 31, 2025Updated last year
- Parse bytes fast☆25Nov 17, 2025Updated 3 months ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆20Jul 23, 2016Updated 9 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Aug 7, 2021Updated 4 years ago
- Optics via the profunctor representation theorem☆24Dec 6, 2024Updated last year
- Tactic Metaprogramming in Haskell☆56Jul 7, 2019Updated 6 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- An append only list in a compact region☆25Sep 6, 2018Updated 7 years ago
- Haskell library for doing category theory with a central role for profunctors☆24Updated this week
- Profunctor optics for the endofunctor category on Hask☆27Sep 23, 2020Updated 5 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
- Cap'n Proto for Haskell☆95Jun 24, 2023Updated 2 years ago
- Show programming language printed values in a web UI☆24May 16, 2019Updated 6 years ago
- ☆31Oct 31, 2021Updated 4 years ago
- Haskell library for creating command-line interfaces (colors, menus, etc.)☆22Feb 17, 2025Updated last year
- do-notation for Category and "Arrow without arr"☆63Mar 17, 2017Updated 8 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Demonstrating comonad transformers.☆36Oct 9, 2016Updated 9 years ago
- Type-safe open unions in Haskell☆32Apr 20, 2018Updated 7 years ago
- A library for interacting with Nintendo Switch controllers, written in Haskell.☆112Jan 20, 2023Updated 3 years ago
- ⛏️ A refinement proof framework for haskell☆71May 8, 2023Updated 2 years ago
- Reimplementation of a subset of Cabal☆36Jan 25, 2026Updated last month
- Commutative Applicatives and Semigroups☆31Apr 30, 2018Updated 7 years ago
- Sum and Product types and such☆29Apr 27, 2020Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Apr 13, 2015Updated 10 years ago