cleichner / haskell-ipfsLinks
Haskell implementation of the InterPlanetary File System
☆14Updated 11 years ago
Alternatives and similar repositories for haskell-ipfs
Users that are interested in haskell-ipfs are comparing it to the libraries listed below
Sorting:
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 8 years ago
- A Haskell client library for the IPFS API☆26Updated 8 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 8 years ago
- Code samples inspiring language design☆24Updated 9 years ago
- a logic-based trust-management system☆19Updated 13 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- Explicitly Typed exceptions as a library☆22Updated 4 years ago
- Multihash Haskell implementation☆28Updated 2 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- Haskell API for I2P anonymous networking☆16Updated 10 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- Some writings about a type system for nix☆19Updated 7 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- ☆23Updated 7 years ago
- A Haskell library implementing the Noise protocol.☆100Updated 8 months ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- ☆27Updated 6 years ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Updated 8 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- Distributed programming language that desugars to Morte☆92Updated 3 years ago
- Alpine linux with ghc for docker☆19Updated 8 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- Thoughts and stuff☆70Updated 5 years ago
- Relational programming for PureScript☆17Updated 8 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆46Updated 8 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated 2 years ago