☆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 6 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 2 months ago
- deep learning course materials☆15Jun 24, 2020Updated 5 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 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.
- Units of measure as a GHC typechecker plugin☆31Oct 12, 2022Updated 3 years ago
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 years ago
- utility functions for testing attoparsec parsers with hspec☆14Mar 21, 2015Updated 11 years ago
- A compiler for a simple language using llvm☆37Jun 14, 2023Updated 2 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 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
- MPFR bindings for Haskell☆34Oct 2, 2023Updated 2 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Arbitrary-precision floating-point numbers represented using scientific notation☆75Jan 5, 2026Updated 2 months ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 8 years ago
- Frege REPL + editor on Android☆13Oct 15, 2018Updated 7 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- Prism-based parsers and pretty printers☆17Jan 1, 2018Updated 8 years ago
- ☆25Jun 10, 2023Updated 2 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 years ago
- Haskell bindings to the Eigen C++ library☆16May 23, 2024Updated last year
- Many-dimensional type-safe numeric ops☆46Dec 23, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- Haskell priority queue package☆17Jan 3, 2026Updated 2 months ago
- Implementation of named parameters for `postgresql-simple` library☆39Nov 28, 2025Updated 3 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆56Apr 23, 2017Updated 8 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- A Smarter QuickCheck☆102Aug 11, 2017Updated 8 years ago
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated 3 months ago
- Typeclass for array types☆19Apr 7, 2025Updated 11 months ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 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.
- 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
- Refined types☆57Sep 25, 2018Updated 7 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- System configuration and utilities for Linux ⚙☆12Mar 16, 2026Updated last week
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- Simple reflection of expressions☆34Jun 18, 2021Updated 4 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago