Alternatives and similar repositories for zurihac-crypto:

Users that are interested in zurihac-crypto are comparing it to the libraries listed below

• idris-hackers / idris-crypto
  Implementation of cryptographic primitives using Idris
  ☆120Updated 6 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 7 years ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆67Updated 2 weeks ago
• int-index / ether
  Monad Transformers and Classes
  ☆77Updated 5 years ago
• jberryman / unagi-chan
  A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
  ☆128Updated 3 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• tel / saltine
  Cryptography that's easy to digest (NaCl/libsodium bindings)
  ☆61Updated 8 months ago
• ekmett / reflection
  Reifies arbitrary Haskell terms into types that can be reflected back into terms
  ☆104Updated last month
• xnning / GHC-Core-Literature-Review
  Literature review of GHC's Core language, System FC
  ☆66Updated 6 years ago
• Bodigrim / smallcheck
  Test your Haskell code by exhaustively checking its properties
  ☆136Updated last year
• ekmett / succinct
  playground for working with succinct data structures
  ☆94Updated 9 years ago
• tfausak / wuss
  Secure WebSocket (WSS) clients in Haskell.
  ☆69Updated last month
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆72Updated 7 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 2 weeks ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 6 years ago
• IxpertaSolutions / freer-effects
  An implementation of "Freer Monads, More Extensible Effects".
  ☆65Updated 6 years ago
• dmjio / google-translate
  Google Translate API
  ☆50Updated last month
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆95Updated 3 years ago
• vincenthz / hs-gauge
  Lean Haskell Benchmarking
  ☆90Updated 2 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 3 months ago
• fpco / ghc-prof-flamegraph
  ☆77Updated 2 years ago
• MaartenFaddegon / Hoed
  Hoed - A Lightweight Haskell Tracer and Debugger
  ☆51Updated 3 years ago
• soenkehahn / getopt-generics
  Create command line interfaces with ease
  ☆41Updated last year