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 6 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- Authenticated Data Structures☆16Updated 10 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
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 6 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- ☆40Updated 7 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- ☆21Updated 7 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 5 years ago
- Type Theory with Indexed Equality☆26Updated 8 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- Haskell Join-calculus DSL☆23Updated 6 years ago
- Pure haskell implementation of macaroons☆14Updated 4 years ago
- Haskell Type Level Example Programs☆28Updated 7 years ago
- A nullary type class for partial functions☆15Updated 7 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 3 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- JVM implementation in Haskell☆44Updated 11 months ago
- Austin's supercompiler work☆21Updated 5 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Updated 8 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 4 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 7 years ago
- static analysis of free monads☆24Updated 7 years ago
- Low-level Haskell bindings for libpq☆19Updated 5 years ago