LeventErkok / crackNumLinks
Convert to/from IEEE-754 HP/SP/DP formats
☆22Updated 8 months ago
Alternatives and similar repositories for crackNum
Users that are interested in crackNum are comparing it to the libraries listed below
Sorting:
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated 2 months ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated last month
- Minimal binary serialization library with focus on performance☆17Updated last week
- 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☆32Updated last year
- Markup language on top of Haskell☆12Updated 8 months ago
- GCode parser, pretty-printer and processing utils☆14Updated last year
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- A framework for managing daemons from Haskell and libraries for use with postgresql and nix☆22Updated 4 months ago
- Dependent hash maps☆14Updated 3 months ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 3 years ago
- half-precision floating-point☆16Updated 3 weeks ago
- Regular expressions of types☆16Updated 6 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- Robust prettyprinter for output of auto-generated Show instances☆17Updated 5 years ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆33Updated 4 months ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- Tool to convert literate code between styles or to code.☆11Updated 6 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Updated 3 years ago
- Experimentation project☆16Updated 11 years ago
- An efficient graph library for Haskell☆39Updated last month
- A package Index for agda libraries☆12Updated 4 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Updated 2 months ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 4 years ago
- generalize counter-examples of property-based testing☆13Updated 5 months ago
- Austin's supercompiler work☆21Updated 5 years ago