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 7 years ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 7 years ago
• int-index / ether
  Monad Transformers and Classes
  ☆77Updated 5 years ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆96Updated 3 years ago
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆156Updated 4 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• dmjio / google-translate
  Google Translate API
  ☆50Updated 5 months ago
• michaelt / streaming
  An optimized general monad transformer for streaming applications, with a simple prelude of functions
  ☆106Updated 6 years ago
• ndmitchell / bake
  UNMAINTAINED: Continuous integration server
  ☆130Updated 7 years ago
• rubik / argon
  Monitor cyclomatic complexity in Haskell programs
  ☆98Updated 6 years ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆68Updated 2 months ago
• jwiegley / coq-pipes
  ☆98Updated 7 years ago
• nh2 / haskell-cpu-instruction-counter
  Measuring CPU instructions in Haskell using Linux Performance Counters
  ☆84Updated 6 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆92Updated 2 years ago
• tel / saltine
  Cryptography that's easy to digest (NaCl/libsodium bindings)
  ☆63Updated 2 months ago
• mgsloan / store
  Fast binary serialization in Haskell
  ☆110Updated 4 months ago
• simonmar / monad-par
  ☆125Updated last year
• ryantrinkle / memoise
  ☆70Updated 9 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated 6 months ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated 2 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• jberryman / unagi-chan
  A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
  ☆130Updated 3 years ago
• ekmett / reflection
  Reifies arbitrary Haskell terms into types that can be reflected back into terms
  ☆104Updated 2 months ago
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆71Updated 7 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆163Updated 4 months ago
• MaartenFaddegon / Hoed
  Hoed - A Lightweight Haskell Tracer and Debugger
  ☆51Updated 4 years ago