input-output-hk / pvss-haskell

Related projects: ⓘ

• runtimeverification / plutus-core-semantics
  ☆27Updated 2 months ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 5 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 6 years ago
• haskoin / secp256k1-haskell
  Haskell bindings for secp256k1 library
  ☆24Updated 3 weeks ago
• csabahruska / jhc-grin
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Updated 5 years ago
• derekelkins / ads
  Authenticated Data Structures
  ☆13Updated 9 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• sdiehl / shamir
  Shamir Secret Sharing
  ☆19Updated 4 years ago
• davidar / hs-ipfs-api
  A Haskell client library for the IPFS API
  ☆26Updated 7 years ago
• nikita-volkov / deque
  Double-ended queues
  ☆14Updated 10 months ago
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 6 years ago
• NCrashed / servant-auth-token
  Servant based API and server for token based authorisation
  ☆14Updated 4 years ago
• vincenthz / hs-securemem
  abstraction for auto scrubbing and const time Eq, memory chunk
  ☆17Updated 4 years ago
• adnelson / nix-binary-cache
  Haskell implementation of a nix binary cache and client.
  ☆12Updated 6 years ago
• chessai / ring-buffers
  concurrent mutable ring buffers with atomic updates in GHC Haskell
  ☆11Updated 3 years ago
• adjoint-io / fcl
  ☆24Updated this week
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆48Updated last year
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 4 months ago
• patrickdoc / hash-graph
  A hashing-based graph implementation in Haskell
  ☆33Updated 6 years ago
• merijn / broadcast-chan
  Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.
  ☆17Updated 7 months ago
• vincenthz / hs-packer
  Fast serialization in haskell
  ☆15Updated 4 years ago
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 6 years ago
• dfinity-side-projects / winter
  Haskell port of the WebAssembly OCaml reference interpreter
  ☆46Updated last year
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 7 years ago
• tweag / hyperion
  A lab for future Criterion features.
  ☆29Updated 5 years ago
• nfrisby / coxswain
  A GHC type checker plugin for row types
  ☆39Updated 6 years ago
• haskell-cryptography / blake2
  A Haskell library providing BLAKE2
  ☆10Updated last year
• factisresearch / large-hashable
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆15Updated last year
• echatav / elliptic
  Elliptic Curve Cryptography in Haskell
  ☆13Updated 5 months ago
• michaelt / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆19Updated 6 years ago