categorifier
Haskell
★ 68
A GHC plugin to interpret Haskell programs into any cartesian closed category. Enables alternative interpretations of code within a mathematical categorical framework.
View on GitHub →Projects
A selection of open source projects I've created and maintain.
Featured
yaya
Haskell
★ 89
Yet another recursion scheme library for Haskell. Provides a principled approach to recursive data structures with support for total programming through well-founded recursion.
View on Hackage →haskerwaul
Haskell
★ 23
Category theory concepts encoded as Haskell type classes and instances. A playground for exploring categorical abstractions in a practical programming context.
View on GitHub →project-manager
Nix
★ 19
Home Manager, but for repositories. Manage per-project configuration declaratively using Nix, ensuring consistent development environments across your codebase.
View on GitHub →no-recursion
Haskell
★ 9
A GHC plugin that removes support for general recursion, encouraging total programming by ensuring all recursion goes through well-founded patterns like recursion schemes.
View on Hackage →ghc-compat-plugin
Haskell
A GHC plugin that eases support for multiple GHC versions, helping library authors maintain compatibility across the Haskell ecosystem.
View on Hackage →Other Projects
flaky
NixShared configuration for development environments. Provides a foundation for consistent Nix-based project setups across multiple repositories.
flaky-haskell
NixInfrastructure for building Haskell libraries across many GHC versions. Simplifies multi-version testing and ensures broad compatibility.
duoids
HaskellA Haskell library for unifying parallel and sequential operations using algebraic structures. Provides abstractions for expressing concurrency patterns.
pathway
HaskellA type-safe, system-independent file path library for Haskell. Uses the type system to prevent common path manipulation errors.