Alternatives and similar repositories for bits

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

• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• haskellari / splitmix
  Pure Haskell implementation of SplitMix pseudo-random number generator
  ☆25Updated 5 months ago
• ekmett / rounded
  MPFR bindings for Haskell
  ☆34Updated last year
• ekmett / succinct-binary
  Succinct binary serialization
  ☆15Updated 6 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 8 months ago
• byteverse / contiguous
  Typeclass for array types
  ☆19Updated 2 months ago
• edsko / friendly
  Generic pretty-printer for program output
  ☆11Updated last year
• haskellari / some
  Existential type.
  ☆37Updated 5 months ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 5 months ago
• bgamari / ring-buffer
  A concurrent mutable ring-buffer
  ☆12Updated 7 months ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• chessai / ring-buffers
  concurrent mutable ring buffers with atomic updates in GHC Haskell
  ☆11Updated 4 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 2 months ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• simonmar / haxlbuild
  An experimental build system based on the Haxl library
  ☆8Updated 6 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 5 months ago
• puffnfresh / th-pprint
  Simplify and render Template Haskell
  ☆18Updated 6 years ago
• phadej / vec
  Nat, Fin, Vec
  ☆25Updated last month
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• Bodigrim / chimera
  Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization
  ☆60Updated 4 months ago
• phadej / kleene-type
  Regular expressions of types
  ☆16Updated 6 years ago
• mstksg / typelits-witnesses
  Existential witnesses, singletons, and classes for operations on GHC TypeLits
  ☆15Updated 10 months ago
• mrkgnao / pico
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆15Updated 7 years ago
• ekmett / tagged
  phantom types
  ☆38Updated 4 months ago
• dorchard / effectful-explanations-talk
  "Programs that explain their effects" talk material
  ☆17Updated 6 years ago
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated last week
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 4 years ago