bjornbm / dimensionalLinks
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
☆112Updated 8 months ago
Alternatives and similar repositories for dimensional
Users that are interested in dimensional are comparing it to the libraries listed below
Sorting:
- Generic random generators☆81Updated 2 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 5 years ago
- The home of the units Haskell package☆100Updated 2 weeks ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago
- Generic Programming using True Sums of Products☆163Updated 6 months ago
- Fragment-based code distribution!☆126Updated 4 years ago
- Typed filepath☆125Updated 6 months ago
- Check properties on standard classes and data structures☆79Updated last year
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆70Updated last week
- Search Haskell source code from the command line☆75Updated 4 years ago
- Fast Haskell XML parser☆124Updated 2 years ago
- Stream editing with Haskell Megaparsec parsers☆80Updated last year
- ☆77Updated 2 years ago
- ☆75Updated 4 months ago
- Alternative API for processes, featuring more type safety☆112Updated 3 months ago
- Literate Haskell support for Markdown☆143Updated 3 months ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆118Updated last month
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Benchmarks for sequence data structures: lists, vectors, etc.☆90Updated 3 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- A dependency manager for Haskell☆97Updated 3 years ago
- Regex-based parsing with an applicative interface☆129Updated 3 years ago
- Haskell package for handling various feed (RSS) formats.☆31Updated last year
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated 2 months ago
- A Dynamic Reconfiguration Library for Haskell Programs☆92Updated last month
- Let GHC prove program equations for you☆145Updated 6 years ago