☆32Aug 19, 2023Updated 2 years ago
Alternatives and similar repositories for numbers
Users that are interested in numbers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Apr 17, 2019Updated 7 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆47Jan 12, 2026Updated 6 months ago
- deep learning course materials☆15Jun 24, 2020Updated 6 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 years ago
- Units of measure as a GHC typechecker plugin☆33Jun 8, 2026Updated last month
- utility functions for testing attoparsec parsers with hspec☆14Mar 21, 2015Updated 11 years ago
- A compiler for a simple language using llvm☆38Jun 14, 2023Updated 3 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- Haskel binding for Eigen library. Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related a…☆23Sep 21, 2018Updated 7 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Aug 1, 2015Updated 10 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.☆31Jul 30, 2019Updated 6 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 9 years ago
- Arbitrary-precision floating-point numbers represented using scientific notation☆76Jan 5, 2026Updated 6 months ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- Frege REPL + editor on Android☆13Oct 15, 2018Updated 7 years ago
- Purely functional cloud provisioner☆22Jan 25, 2019Updated 7 years ago
- Prism-based parsers and pretty printers☆17Jan 1, 2018Updated 8 years ago
- ☆25Jun 10, 2023Updated 3 years ago
- Many-dimensional type-safe numeric ops☆46Dec 23, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Stackage overlay for Nixpkgs☆25Apr 15, 2020Updated 6 years ago
- Haskell bindings to the Eigen C++ library☆16May 23, 2024Updated 2 years ago
- Haskell experiments involving TVM AI framework☆20Apr 26, 2019Updated 7 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- Haskell priority queue package☆17Apr 16, 2026Updated 3 months ago
- Implementation of named parameters for `postgresql-simple` library☆40Nov 28, 2025Updated 7 months ago
- Simple reflection of expressions☆34Jun 18, 2021Updated 5 years ago
- A simple hexview for cursive☆20Aug 3, 2024Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆57Apr 23, 2017Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Union mount in Haskell, with fsnotify☆12May 11, 2026Updated 2 months ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- Typeclass for array types☆19Apr 7, 2025Updated last year
- ☆67Jul 19, 2025Updated last year
- Refined types☆57Sep 25, 2018Updated 7 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 9 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago