LeventErkok / crackNumLinks
Convert to/from IEEE-754 HP/SP/DP formats
☆22Updated last year
Alternatives and similar repositories for crackNum
Users that are interested in crackNum are comparing it to the libraries listed below
Sorting:
- Easy C++ code analysis with pure Haskell☆35Updated 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
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 weeks ago
- ☆23Updated 2 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 3 years ago
- nominal sets in haskell☆19Updated 7 years ago
- half-precision floating-point☆17Updated 4 months ago
- A static analysis tool for C.☆29Updated 6 years ago
- ☆18Updated 6 months ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 4 years ago
- Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)☆69Updated 12 years ago
- A language-generic implementation of equality saturation in Haskell☆22Updated 7 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated last week
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- Bring fusion to everyone☆14Updated 6 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Formal specification of the Haskell Language Report☆30Updated 2 weeks ago
- A generator for JSON Schema from Algebraic Data Type in Haskell.☆13Updated 6 years ago
- ☆60Updated last year
- Haskell port of the Tensor Algebra COmpiler☆16Updated 6 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- Persistent vectors for Haskell based on array mapped tries☆28Updated 3 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last week
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 7 years ago
- Black magic to workaround a Template Haskell stage restriction.☆26Updated 7 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆51Updated 10 years ago
- An efficient graph library for Haskell☆41Updated 5 months ago
- Succinct binary serialization☆15Updated 7 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Updated 11 years ago