TikhonJelvis / modular-arithmetic
A useful type for working with integers modulo some constant.
☆30Updated last year
Related projects: ⓘ
- Type-safe time units in Haskell☆49Updated 8 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 9 months ago
- Monad Transformers and Classes☆78Updated 5 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆71Updated 4 years ago
- Haskell library for PDF generation (graphics and typesetting)☆26Updated 4 years ago
- Proposals for the Haskell Ecosystem☆51Updated 5 years ago
- Continuously varying values, made easy :)☆40Updated 4 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 5 years ago
- ☆55Updated 5 years ago
- ☆45Updated 2 years ago
- Speculate laws about Haskell functions☆30Updated 7 months ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Sort any Traversable container☆42Updated 2 years ago
- ☆33Updated 7 months ago
- ☆20Updated 3 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month
- A library for generic programming that aims to be easy to understand☆26Updated 2 years ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆38Updated 2 months ago
- A command-line tool for live monitoring☆25Updated 2 years ago
- haskell memory☆47Updated last year
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- an applicative functor that seamlessly talks to HTML inputs☆73Updated 5 years ago
- Web app to track lagging package dependencies.☆61Updated 5 months ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- being a thing I build on a Saturday