ekmett / half
half-precision floating-point
☆14Updated 2 months ago
Alternatives and similar repositories for half:
Users that are interested in half are comparing it to the libraries listed below
- A Zoo of Haskell Newtype Wrappers☆14Updated 4 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- Hash consing for arbitrary Haskell data types☆25Updated 5 months ago
- Fast unboxed references for ST and IO monad☆15Updated 7 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- Indexed Functors for GHC 7.6☆22Updated 5 years ago
- Bring fusion to everyone☆13Updated 5 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- Visualization of Haskell data structures☆16Updated last year
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆17Updated 2 months ago
- higher-kinded data☆30Updated last year
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Updated 7 years ago
- Dependently typed elimination functions using singletons☆28Updated 4 months ago
- An experimental build system based on the Haxl library☆8Updated 6 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- Script to download all of Hackage☆15Updated 5 years ago
- Fast ByteString Builder☆21Updated 2 months ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- A small-step semantics for Core☆9Updated 4 years ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆13Updated 4 years ago
- Session Types with Priority in Linear Haskell☆26Updated 10 months ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 4 months ago
- Maps using values' monoidal structure during merging☆42Updated last month
- Regular expressions of types☆16Updated 6 years ago
- Staged Streams and other stuff☆18Updated 2 years ago