bjornbm / dimensional
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
☆112Updated 5 months ago
Alternatives and similar repositories for dimensional:
Users that are interested in dimensional are comparing it to the libraries listed below
- The missing tutorial module for the lens library☆82Updated 11 months ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- Inspection Testing for Haskell☆176Updated 3 months ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- Benchmarks to compare Haskell streaming library performance☆103Updated 5 months ago
- Fast Haskell XML parser☆123Updated last year
- High performance type safe html generation☆128Updated 2 years ago
- Benchmarks for sequence data structures: lists, vectors, etc.☆88Updated 3 years ago
- The Haskell Refactoring Tool☆136Updated 5 years ago
- Typed filepath☆125Updated 3 months ago
- Generic random generators☆81Updated 2 years ago
- Extensional capabilities and deriving combinators☆214Updated 9 months ago
- Search Haskell source code from the command line☆75Updated 4 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago
- Generic Programming using True Sums of Products☆162Updated 3 months ago
- The home of the units Haskell package☆100Updated 2 months ago
- Check properties on standard classes and data structures☆79Updated last year
- A Dynamic Reconfiguration Library for Haskell Programs☆93Updated last year
- Lean Haskell Benchmarking☆90Updated 2 years ago
- Literate Haskell support for Markdown☆140Updated last month
- Haskell command line text stream processor☆86Updated 5 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- A presentation for BayHac 2017 on how I uses lenses at work☆77Updated 7 years ago
- Refinement types with static checking☆186Updated 4 months ago
- ☆75Updated last month
- Safe, consistent, and easy exception handling☆135Updated last year
- Alternative API for processes, featuring more type safety☆110Updated last week
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 3 months ago