LeventErkok / crackNum
Convert to/from IEEE-754 HP/SP/DP formats
☆21Updated 3 months ago
Alternatives and similar repositories for crackNum:
Users that are interested in crackNum are comparing it to the libraries listed below
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated 2 months ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- half-precision floating-point☆14Updated 2 months ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Updated 12 years ago
- Regular expressions of types☆16Updated 6 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Library for invertible parsing and printing☆31Updated 8 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 2 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 8 months ago
- GCode parser, pretty-printer and processing utils☆14Updated last year
- Fixed length vector for haskell☆21Updated last month
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated 11 months ago
- Dependent hash maps☆14Updated 8 months ago
- Easily generate Hoogle indices for installed packages☆25Updated 8 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Updated 7 years ago
- Easy C++ code analysis with pure Haskell☆35Updated 4 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆45Updated 2 months ago
- ☆58Updated 7 months ago
- MPFR bindings for Haskell☆34Updated last year
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- A monad transformer and corresponding type class for computations which consume random values.☆31Updated 2 weeks ago