sdiehl / shamirLinks
Shamir Secret Sharing
☆21Updated 5 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
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 7 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- A hashing-based graph implementation in Haskell☆33Updated 7 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 8 years ago
- Auto-generate a server for your datatype☆30Updated 3 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 6 years ago
- Authenticated Data Structures☆16Updated 10 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- A lab for future Criterion features.☆28Updated 6 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- Haskell Type Level Example Programs☆28Updated 7 years ago
- GHC patched with the -fcompact-holes flag☆11Updated 6 years ago
- Type Theory with Indexed Equality☆26Updated 8 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- ☆40Updated 7 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 8 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated last month
- Distributed systems execution emulation☆18Updated 6 years ago
- ☆20Updated 6 years ago
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Updated 8 years ago
- A GHC type checker plugin for row types☆39Updated 8 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 4 years ago
- Pure haskell implementation of macaroons☆14Updated 4 years ago
- ☆21Updated 7 years ago
- fast clustering algorithms☆15Updated 6 years ago
- Haskell library for efficiently building up buffers☆26Updated 9 months ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 10 years ago