A library encoding monoidal functors and related structures in Haskell.
☆20Jul 23, 2026Updated this week
Alternatives and similar repositories for monoidal-functors
Users that are interested in monoidal-functors are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Mar 2, 2021Updated 5 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 5 years ago
- A simple library for defining ADTs☆15Oct 10, 2023Updated 2 years ago
- Principled functional programming for JS☆17Dec 3, 2022Updated 3 years ago
- Source Layouting Engine☆11Mar 7, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Language independent, reproducible, absolute types.☆22Oct 11, 2025Updated 9 months ago
- haskell posix bindings☆19Aug 5, 2025Updated 11 months ago
- Atidot Code Snippets☆10Mar 9, 2020Updated 6 years ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 8 months ago
- Optics via the profunctor representation theorem☆25Dec 6, 2024Updated last year
- Unpinned byte arrays in GHC haskell☆22Jan 8, 2019Updated 7 years ago
- [Haskell] The "Network.Multicast" module is for sending UDP datagrams over multicast (class D) addresses.☆24Oct 22, 2023Updated 2 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 6 years ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆19Jul 23, 2016Updated 10 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Aug 7, 2021Updated 4 years ago
- Parse bytes fast☆26May 5, 2026Updated 2 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…☆22Oct 28, 2019Updated 6 years ago
- Sum and Product types and such☆29Apr 27, 2020Updated 6 years ago
- Stack-based esoteric programming language☆18Jan 31, 2025Updated last year
- Haskell library for doing category theory with a central role for profunctors☆27Updated this week
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ⛏️ A refinement proof framework for haskell☆71May 8, 2023Updated 3 years ago
- Cap'n Proto for Haskell☆95Jun 24, 2023Updated 3 years ago
- A structured concurrency library☆91Feb 23, 2026Updated 5 months ago
- A library for interacting with Nintendo Switch controllers, written in Haskell.☆113Jan 20, 2023Updated 3 years ago
- ☆18Jul 1, 2026Updated 3 weeks ago
- Profunctor optics for the endofunctor category on Hask☆27Sep 23, 2020Updated 5 years ago
- My computing life in Nix.☆14Mar 28, 2026Updated 3 months ago
- Tactic Metaprogramming in Haskell☆56Jul 7, 2019Updated 7 years ago
- United Monoids☆24Oct 2, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Small implementation of OutsideIn(X) type checking algorithm☆31Apr 13, 2015Updated 11 years ago
- A multiserver plugin that uses a Distributed Hash Table☆13Apr 23, 2023Updated 3 years ago
- do-notation for Category and "Arrow without arr"☆63Mar 17, 2017Updated 9 years ago
- ☆31Mar 5, 2022Updated 4 years ago
- ☆11Jun 10, 2026Updated last month
- Haskell library for creating command-line interfaces (colors, menus, etc.)☆22Feb 17, 2025Updated last year
- Implementation of Dhall in Dhall☆12Updated this week