Alternatives and similar repositories for raaz

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

• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated 6 months ago
• haskell / mwc-random
  A very fast Haskell library for generating high quality pseudo-random numbers.
  ☆55Updated 3 months ago
• ekmett / semigroupoids
  ☆75Updated 2 months ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• int-index / ether
  Monad Transformers and Classes
  ☆77Updated 5 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• MaartenFaddegon / Hoed
  Hoed - A Lightweight Haskell Tracer and Debugger
  ☆51Updated 4 years ago
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆97Updated 3 years ago
• ekmett / ersatz
  A monad for interfacing with external SAT solvers
  ☆64Updated 2 months ago
• ekmett / reflection
  Reifies arbitrary Haskell terms into types that can be reflected back into terms
  ☆104Updated 2 months ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 7 years ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆96Updated 3 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated last month
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆82Updated 4 months ago
• GaloisInc / cereal
  ☆79Updated 9 months ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• haskell / primitive
  This package provides various primitive memory-related operations.
  ☆117Updated last month
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 7 months ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 3 months ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• bollu / simplexhc
  compiler with polyhedral optmization for a lazy functional programming language
  ☆67Updated 7 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆163Updated 4 months ago
• xnning / GHC-Core-Literature-Review
  Literature review of GHC's Core language, System FC
  ☆67Updated 6 years ago
• sdiehl / zurihac-crypto
  Small minimal examples of modern cryptographic techniques in Haskell
  ☆79Updated 5 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 9 months ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆85Updated 10 years ago
• nh2 / haskell-cpu-instruction-counter
  Measuring CPU instructions in Haskell using Linux Performance Counters
  ☆84Updated 6 years ago