☆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 3 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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☆34Apr 17, 2026Updated 2 weeks ago
- ☆11Sep 19, 2017Updated 8 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.
- Arbitrary-precision floating-point numbers represented using scientific notation☆76Jan 5, 2026Updated 4 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- Haskell priority queue package☆17Apr 16, 2026Updated 2 weeks ago
- Implementation of named parameters for `postgresql-simple` library☆39Nov 28, 2025Updated 5 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆56Apr 23, 2017Updated 9 years ago
- A Smarter QuickCheck☆102Aug 11, 2017Updated 8 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- Union mount in Haskell, with fsnotify☆12Apr 27, 2026Updated last week
- Typeclass for array types☆19Apr 7, 2025Updated last year
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- System configuration and utilities for Linux ⚙☆12Mar 16, 2026Updated last month
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- 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