sdiehl / shamirLinks
Shamir Secret Sharing
☆21Updated 6 years ago
Alternatives and similar repositories for shamir
Users that are interested in shamir are comparing it to the libraries listed below
Sorting:
- An append only list in a compact region☆25Updated 7 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 7 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 7 years ago
- A hashing-based graph implementation in Haskell☆33Updated 7 years ago
- ☆21Updated 7 years ago
- Authenticated Data Structures☆16Updated 10 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 6 years ago
- Distributed systems execution emulation☆18Updated 7 years ago
- Auto-generate a server for your datatype☆30Updated 3 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 8 years ago
- ☆40Updated 7 years ago
- Idris to Serpent back end for Ethereum smart contracts☆31Updated 8 years ago
- Yet another concurrent playground☆33Updated 10 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 7 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 6 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 7 years ago
- Pure haskell implementation of macaroons☆14Updated 4 years ago
- Haskell bindings for secp256k1 library☆24Updated 7 months ago
- A lab for future Criterion features.☆28Updated 6 years ago
- Type Theory with Indexed Equality☆26Updated 8 years ago
- Haskell library for efficiently building up buffers☆27Updated 11 months ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- A GHC type checker plugin for row types☆39Updated 8 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 3 months ago
- deprecated in favor of -XQualifiedDo☆41Updated 4 years ago