sdiehl / shamir
Shamir Secret Sharing
☆20Updated 5 years ago
Alternatives and similar repositories for shamir:
Users that are interested in shamir are comparing it to the libraries listed below
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- Authenticated Data Structures☆16Updated 9 years ago
- An append only list in a compact region☆25Updated 6 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- ☆21Updated 7 years ago
- Type Theory with Indexed Equality☆25Updated 8 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆18Updated last month
- Elliptic Curve Cryptography in Haskell☆13Updated last year
- Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)☆9Updated 3 years ago
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated last year
- A monadic interface for DAG construction.☆24Updated 3 years ago
- JSON RPC using the remote monad☆9Updated 7 years ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 5 months ago
- Yet another concurrent playground☆32Updated 9 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 6 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- http://www.stephendiehl.com/posts/generics.html☆12Updated 9 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 6 years ago
- A lab for future Criterion features.☆28Updated 6 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Concurrency features for the Haskell machines package☆17Updated 3 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 4 months ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆13Updated 4 months ago