An experiment in re-implementing big integers in Haskell.
☆39Dec 9, 2022Updated 3 years ago
Alternatives and similar repositories for haskell-big-integer-experiment
Users that are interested in haskell-big-integer-experiment are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jul 21, 2024Updated 2 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- A tool for caching cabal builds in a Nix store☆32Dec 23, 2015Updated 10 years ago
- Generate a cabal freeze file from a stack.yaml☆36Aug 25, 2018Updated 8 years ago
- Library for Nix expression dependency generation☆11Jun 25, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Authenticated Data Structures☆16Jul 5, 2015Updated 11 years ago
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 years ago
- ☆11Apr 3, 2020Updated 6 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 4 years ago
- Example how to append data to a Haskell executable using sqlite☆10Mar 16, 2020Updated 6 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 12 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Reasonable Haskell default import☆27Mar 13, 2026Updated 7 months ago
- Install Stack without internet access☆18Oct 29, 2017Updated 9 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.
- Demostration of FFI from Agda -> Haskell -> C in one project☆12Apr 15, 2013Updated 13 years ago
- A little Doom-like 2.5 game engine☆84Jan 7, 2015Updated 11 years ago
- Issue tracker for Hackage maintainance and trustee operations☆43Feb 26, 2026Updated 8 months ago
- A faster date and time library based on time☆47Jun 23, 2026Updated 4 months ago
- Moved to http://github.com/haskell-servant☆49Dec 2, 2014Updated 11 years ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- Effects EDSL for Idris☆13Mar 28, 2013Updated 13 years ago
- Tasty integration for the Hedgehog property testing library☆39Oct 2, 2026Updated last month
- Remote monitoring of running processes over HTTP☆255Apr 27, 2026Updated 6 months 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.
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 11 years ago
- Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)☆68Jan 21, 2014Updated 12 years ago
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 8 years ago
- The Disco Discus Compiler☆176Feb 6, 2019Updated 7 years ago
- Function generation for Hedgehog☆20Jul 21, 2026Updated 3 months ago
- ☆10Jun 9, 2021Updated 5 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 8 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.
- An experimental type theory with scoped equality reflection, and non-arbitrary proof search. This is basically a pared down version of An…☆12Jul 27, 2014Updated 12 years ago
- A simple directory-like tree datatype, with useful IO functions, for Haskell☆26Apr 28, 2024Updated 2 years ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆136Dec 2, 2021Updated 4 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 8 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Aug 20, 2026Updated 2 months ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- A secure web framework, built in the Idris language.☆109Feb 3, 2014Updated 12 years ago