liyang / fast-math
Play fast and loose with IEEE-754 rewrite RULES
☆25Updated 9 years ago
Alternatives and similar repositories for fast-math:
Users that are interested in fast-math are comparing it to the libraries listed below
- sliding fast fourier transform using haskell streaming☆13Updated 6 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Haskell: Monorepo for our open source packages☆17Updated 7 years ago
- Interactive-diagrams☆39Updated 9 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- Succinct vectors☆20Updated 6 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 5 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 9 months ago
- Extended Kalman filtering in Haskell☆23Updated 6 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- Directed rounding and interval arithmetics with builtin floating types☆11Updated 3 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Updated 11 years ago
- fast utf-8 character sets☆13Updated 3 weeks ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 7 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆31Updated 3 weeks ago
- Closure calculus implementation☆12Updated 5 years ago
- Quiver stream processing library☆15Updated 8 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- ELF data structures for Haskell☆24Updated last year
- phantom types☆38Updated last month
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆19Updated 6 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 6 months ago