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
  ☆121Updated 6 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆67Updated last month
• int-index / ether
  Monad Transformers and Classes
  ☆77Updated 5 years ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 7 years ago
• tel / saltine
  Cryptography that's easy to digest (NaCl/libsodium bindings)
  ☆62Updated last month
• xnning / GHC-Core-Literature-Review
  Literature review of GHC's Core language, System FC
  ☆66Updated 6 years ago
• ekmett / reflection
  Reifies arbitrary Haskell terms into types that can be reflected back into terms
  ☆104Updated 3 weeks ago
• jberryman / unagi-chan
  A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
  ☆129Updated 3 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• tranma / almost-complexity
  complexity testing for haskell
  ☆48Updated 9 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 9 years ago
• mgsloan / store
  Fast binary serialization in Haskell
  ☆110Updated 3 months ago
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆71Updated 7 years ago
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆138Updated 2 years ago
• Bodigrim / smallcheck
  Test your Haskell code by exhaustively checking its properties
  ☆136Updated last year
• dmjio / google-translate
  Google Translate API
  ☆50Updated 3 months ago
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 4 years ago
• haskell-mafia / mafia
  Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.
  ☆137Updated 5 years ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆96Updated 3 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• vincenthz / hs-gauge
  Lean Haskell Benchmarking
  ☆90Updated 2 years ago
• jwiegley / coq-pipes
  ☆97Updated 7 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 2 months ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 5 months ago
• rubik / argon
  Monitor cyclomatic complexity in Haskell programs
  ☆98Updated 6 years ago