cleichner / haskell-ipfs

Related projects ⓘ

Alternatives and complementary repositories for haskell-ipfs

• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 7 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 8 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 7 years ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated last year
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 5 years ago
• mguentner / nix-ipfs
  This repo is deprecated -> goto https://github.com/NixIPFS;
  ☆12Updated 7 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• echatav / elliptic
  Elliptic Curve Cryptography in Haskell
  ☆13Updated 8 months ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated last year
• VerbalExpressions / purescript-verbal-expressions
  Purescript Regular expressions made easy
  ☆24Updated 6 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆19Updated 7 years ago
• ktvoelker / standalone-haddock
  Generate standalone haddock documentation for a set of packages
  ☆27Updated 4 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆57Updated 8 years ago
• JoeyEremondi / haskelm
  Haskell to Elm translation using Template Haskell. Contains both a library and executable.
  ☆49Updated 6 years ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 5 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• haskell-hvr / packunused
  Tool for detecting redundant Cabal package dependencies
  ☆48Updated 6 years ago
• sdiehl / shamir
  Shamir Secret Sharing
  ☆19Updated 4 years ago
• pontarius / pontarius-xmpp
  An XMPP client library for Haskell.
  ☆53Updated 3 years ago
• pxqr / bittorrent
  A BitTorrent client library written in Haskell.
  ☆23Updated 10 years ago
• pepeiborra / control-monad-exception
  Explicitly Typed exceptions as a library
  ☆22Updated 3 years ago
• patrickdoc / hash-graph
  A hashing-based graph implementation in Haskell
  ☆33Updated 6 years ago
• eskimor / purescript-localstorage
  Access JS webstorage (local & session) in a typesafe and convenient way
  ☆28Updated 7 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 6 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 9 years ago
• scslab / hails
  The security-centric web platform framework
  ☆52Updated 8 years ago
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆17Updated 2 years ago