☆32Aug 19, 2023Updated 3 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
- Formally prove properties of Haskell programs using SBV/SMT.☆47Jan 12, 2026Updated 9 months ago
- Units of measure as a GHC typechecker plugin☆34Jun 8, 2026Updated 4 months ago
- CLI tool for Hackage☆27Aug 23, 2026Updated 2 months ago
- Compositional pipelines☆19Aug 15, 2012Updated 14 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A somewhat different approach to cabal hell problem.☆25Sep 27, 2012Updated 14 years 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
- ☆66Jul 19, 2025Updated last year
- Traditional sparse linear algebra in Haskell☆12Jul 25, 2021Updated 5 years ago
- GHC plugin for constant math elimination☆14Nov 2, 2012Updated 14 years ago
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 years ago
- A compiler for a simple language using llvm☆38Jun 14, 2023Updated 3 years ago
- utility functions for testing attoparsec parsers with hspec☆14Mar 21, 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.
- Many-dimensional type-safe numeric ops☆46Dec 23, 2021Updated 4 years ago
- Simple reflection of expressions☆34Jun 18, 2021Updated 5 years ago
- A subfield of the complex numbers for exact calculation.☆22May 22, 2020Updated 6 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- MPFR bindings for Haskell☆35Apr 17, 2026Updated 6 months ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 3 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Aug 1, 2015Updated 11 years ago
- Experiment in Nix formatting☆23Oct 4, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Sep 19, 2017Updated 9 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 8 years ago
- Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError☆15Jul 19, 2025Updated last year
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- A library and framework for massively parallelizing backtracking searches in Haskell with a strong emphasis on ease of use.☆31Jul 30, 2019Updated 7 years ago
- A simple formatter for Nix using tree-sitter-nix.☆46Nov 5, 2019Updated 7 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 7 years ago
- Approximate comparisons for IEEE floating point numbers in Haskell☆13Jan 30, 2017Updated 9 years ago
- An embedded DSL for creating, composing, and using probability measures.☆43Sep 10, 2019Updated 7 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.
- Bit twiddling and bitwise serialization primitives☆14May 8, 2022Updated 4 years ago
- ANCIENT REPO. ARCHIVED. A Heroku buildpack for Haskell/Cabal applications☆20May 27, 2022Updated 4 years ago
- Knowledge of GHC's installation directories☆11Oct 9, 2026Updated 3 weeks ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 7 years ago
- Frege REPL + editor on Android☆13Oct 15, 2018Updated 8 years ago
- This was the moment that Mark totally lost his shit and started rewritting jenkins in shell and ended up with a haskell build bot.☆11Jun 18, 2019Updated 7 years ago
- Implementation of the cufp.org website.☆11Sep 7, 2017Updated 9 years ago