multiformats / haskell-multihash
Multihash Haskell implementation
☆27Updated last year
Related projects ⓘ
Alternatives and complementary repositories for haskell-multihash
- Elliptic Curve Cryptography in Haskell☆13Updated 7 months ago
- ☆21Updated 6 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- A Haskell client library for the IPFS API☆26Updated 7 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- Shamir Secret Sharing☆19Updated 4 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆17Updated 9 months ago
- An append only list in a compact region☆25Updated 6 years ago
- Tool to convert literate code between styles or to code.☆11Updated 5 years ago
- A functional smart contract system☆6Updated 5 years ago
- Authenticated Data Structures☆13Updated 9 years ago
- Minimal, efficient proof language☆14Updated 5 years ago
- A protolude-based custom prelude for the Cardano project☆16Updated this week
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated 3 months ago
- IPFS wrapper for Haskell☆43Updated last year
- Concurrency features for the Haskell machines package☆17Updated 2 years ago
- JSON RPC using the remote monad☆9Updated 6 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 8 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 7 years ago
- An attempt to reimagine knowledge interaction.☆17Updated 4 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- CLI tool for Hackage☆26Updated 4 months ago
- Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)☆9Updated 2 years ago
- ☆20Updated 5 years ago