cfredric / NumberTheory
A Haskell number theory library.
☆14Updated 7 years ago
Alternatives and similar repositories for NumberTheory:
Users that are interested in NumberTheory are comparing it to the libraries listed below
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- ☆23Updated 7 years ago
- List monad transformer☆60Updated 10 months ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 8 months ago
- Agda-style equational reasoning in Haskell☆52Updated 3 months ago
- A nullary type class for partial functions☆15Updated 7 years ago
- ☆16Updated last week
- A constant-memory approximation of set membership☆24Updated 2 months ago
- ☆23Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 9 months ago
- A fast globally unique variable supply with a pure API☆16Updated last year
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash☆21Updated 6 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 5 years ago
- phantom types☆38Updated 2 months ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15Updated 7 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 6 years ago
- Some useful control operators for looping☆48Updated 5 years ago
- Quiver stream processing library☆15Updated 8 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Yet another concurrent playground☆32Updated 9 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 6 months ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Updated 2 months ago
- An implementation of the Core language☆30Updated 9 years ago