ekmett / half
half-precision floating-point
☆14Updated last week
Related projects ⓘ
Alternatives and complementary repositories for half
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 5 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- ☆9Updated 2 weeks ago
- High-performance JSON parser☆24Updated 6 months ago
- Reification of data structures using observable sharing☆28Updated last week
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- An experimental build system based on the Haxl library☆8Updated 5 years ago
- Bring fusion to everyone☆13Updated 4 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Type-level assertion operators☆16Updated 6 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- A small-step semantics for Core☆10Updated 4 years ago
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- Staged Streams and other stuff☆18Updated 2 years ago
- A Zoo of Haskell Newtype Wrappers☆14Updated 3 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 5 years ago
- Regular expressions of types☆16Updated 6 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Parse bytes fast☆24Updated 6 months ago
- ☆18Updated 10 months ago
- higher-kinded data☆30Updated last year
- Visualization of Haskell data structures☆14Updated 8 months ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago