cleichner / haskell-ipfs
Haskell implementation of the InterPlanetary File System
☆14Updated 10 years ago
Alternatives and similar repositories for haskell-ipfs:
Users that are interested in haskell-ipfs are comparing it to the libraries listed below
- A Haskell client library for the IPFS API☆26Updated 7 years ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Updated 8 years ago
- A functional smart contract system☆6Updated 6 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 8 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- Multihash Haskell implementation☆27Updated last year
- a logic-based trust-management system☆19Updated 12 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- Miscellaneous constructions on monoids☆18Updated last month
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Updated 7 years ago
- ☆23Updated 7 years ago
- Tool for detecting redundant Cabal package dependencies☆47Updated 6 years ago
- GHCJS DOM Hello World, an example package☆10Updated 10 months ago
- Explicitly Typed exceptions as a library☆22Updated 4 years ago
- Elliptic Curve Cryptography in Haskell☆13Updated last year
- Port of asciimoo/drawille to haskell.☆27Updated last year
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- Access JS webstorage (local & session) in a typesafe and convenient way☆29Updated 7 years ago
- ☆33Updated 10 years ago
- Type Theory with Indexed Equality☆25Updated 7 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 7 months ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- Flexible session middleware for WAI☆15Updated 4 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆48Updated 2 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Cross compiling Hello World (haskell) to Windows using nix.☆56Updated 6 years ago