LeventErkok / crackNum
Convert to/from IEEE-754 HP/SP/DP formats
☆20Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for crackNum
- half-precision floating-point☆14Updated 3 weeks ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆28Updated last month
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- FFT library for Haskell based on the embedded array language Accelerate☆10Updated 4 years ago
- Regular expressions of types☆16Updated 6 years ago
- Dependent hash maps☆14Updated 5 months ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆12Updated 4 years ago
- Educational implementation of dependent types☆19Updated 6 years ago
- Safe and minimal Haskell Prelude☆10Updated 4 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Updated 7 years ago
- Public course materials for CSE 230 (Winter 2019)☆27Updated 3 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Functional Vector Graphics☆15Updated 7 years ago
- Easily generate Hoogle indices for installed packages☆25Updated 8 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- Backtracking monad in Haskell☆14Updated 2 years ago
- Heyting Algebras in Haskell☆14Updated last year
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Robust prettyprinter for output of auto-generated Show instances☆18Updated 4 years ago
- sliding fast fourier transform using haskell streaming☆13Updated 5 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- The Java Symbolic Simulator, part of SAW.☆10Updated 4 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- Experimentation project☆16Updated 10 years ago
- generalize counter-examples of property-based testing☆13Updated 9 months ago