ekmett / intervalsLinks
Interval Arithmetic
☆27Updated 8 months ago
Alternatives and similar repositories for intervals
Users that are interested in intervals are comparing it to the libraries listed below
Sorting:
- Dependently typed elimination functions using singletons☆28Updated 8 months ago
- Kleene algebra, regular expressions☆33Updated last year
- Structured logging solution.☆38Updated 2 months ago
- The Str signature and implementations☆21Updated 8 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- Extensible type-safe unions for Haskell☆34Updated 6 months ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 8 years ago
- A toy implementation of Haxl to illustrate the internals☆22Updated 8 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- ☆39Updated 7 years ago
- Haskell library for efficiently building up buffers☆26Updated 8 months ago
- A monadic DSL for simple configuration parsing☆27Updated 3 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- Fixed length vector for haskell☆21Updated 2 months ago
- List monad transformer☆60Updated last year
- Haskell URI parsing as ByteStrings☆37Updated 5 months ago
- A faster date and time library based on time☆47Updated last month
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Updated 3 years ago
- Futuristic New Age Golden Test management☆15Updated 2 years ago
- ☆25Updated 2 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- Streaming csv parser using cassava and pipes☆21Updated 9 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 7 months ago
- Haskell data types and functions for countries☆27Updated 6 months ago
- Deep evaluation of data structures☆43Updated 3 months ago
- playing with hyperfunctions☆16Updated 4 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- Reasonable Haskell default import☆27Updated 3 years ago