cleichner / haskell-ipfs

Related projects: ⓘ

• davidar / hs-ipfs-api
  A Haskell client library for the IPFS API
  ☆26Updated 7 years ago
• mguentner / nix-ipfs
  This repo is deprecated -> goto https://github.com/NixIPFS;
  ☆12Updated 7 years ago
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 5 years ago
• NixIPFS / notes
  ideas and planning on how to use IPFS together with Nix/OS
  ☆17Updated 7 years ago
• andyarvanitis / pure11
  ☆28Updated this week
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 8 years ago
• bkil-syslogng / haskell-scuttlebutt
  client/library/framework for the Scuttlebut.nz (SSB) network
  ☆13Updated 6 years ago
• echatav / elliptic
  Elliptic Curve Cryptography in Haskell
  ☆13Updated 5 months ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 7 years ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated last year
• JoeyEremondi / haskelm
  Haskell to Elm translation using Template Haskell. Contains both a library and executable.
  ☆49Updated 6 years ago
• VerbalExpressions / purescript-verbal-expressions
  Purescript Regular expressions made easy
  ☆24Updated 5 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 5 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆17Updated 2 years ago
• kofno / purescript-aws-lambda
  Write your AWS Lambda in PureScript!
  ☆9Updated 8 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• jfdm / idris-config
  Parsers for various configuration files written in Idris.
  ☆19Updated 6 years ago
• eelco / gdiff
  ☆34Updated 9 years ago
• dmbfm / purescript-puregl
  ☆19Updated this week
• haskell-hvr / packunused
  Tool for detecting redundant Cabal package dependencies
  ☆48Updated 6 years ago
• singpolyma / wai-session
  Flexible session middleware for WAI
  ☆15Updated 3 years ago
• justinwoo / purescript-cycle-run
  A Purescript interface to Cycle.js using xstream
  ☆10Updated 5 years ago
• bodil / purescript-kanren
  Relational programming for PureScript
  ☆17Updated 7 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• eskimor / purescript-localstorage
  Access JS webstorage (local & session) in a typesafe and convenient way
  ☆28Updated 6 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 6 years ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 5 years ago