Alternatives and similar repositories for NumberTheory:

Users that are interested in NumberTheory are comparing it to the libraries listed below

• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 7 years ago
• paf31 / partial
  A nullary type class for partial functions
  ☆15Updated 7 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• ekmett / concurrent-supply
  A fast globally unique variable supply with a pure API
  ☆16Updated last year
• dalaing / type-systems
  ☆23Updated 7 years ago
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆25Updated 3 months ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 3 months ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated 8 months ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆25Updated 10 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• yamadapc / yesod-servant-example
  Example of embedding Servant within a Yesod Application
  ☆15Updated 8 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• jwiegley / logging
  ☆16Updated last month
• gfixler / continou
  Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)
  ☆15Updated 7 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• factisresearch / large-hashable
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆16Updated 3 months ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 4 months ago
• tfausak / monadoc-5
  🔖 Better Haskell documentation.
  ☆17Updated 4 years ago
• m0rphism / printcess
  Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.
  ☆14Updated 8 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago