adjoint-io / uplink

Related projects: ⓘ

• adjoint-io / merkle-tree
  ☆128Updated this week
• sdiehl / zurihac-crypto
  Small minimal examples of modern cryptographic techniques in Haskell
  ☆79Updated 4 years ago
• MichaelBurge / haskoin
  Proof-of-concept Blockchain in Haskell
  ☆90Updated 6 years ago
• idris-hackers / idris-crypto
  Implementation of cryptographic primitives using Idris
  ☆121Updated 6 years ago
• hopper-lang / hopper-v0
  a sound modern language for computation and transactional resource logic
  ☆101Updated 7 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆51Updated 2 years ago
• dfinity-side-projects / dhc
  Compiles Haskell to WebAssembly
  ☆166Updated 5 years ago
• statebox / cql
  CQL: Categorical Query Language implementation in Haskell
  ☆163Updated last year
• adjoint-io / nanochain
  ☆228Updated this week
• advancedtelematic / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆203Updated 3 years ago
• adjoint-io / auth-adt
  ☆130Updated this week
• input-output-hk / rscoin-haskell
  Haskell implementation of RSCoin
  ☆50Updated 7 years ago
• jamshidh / ethereum-client-haskell
  ☆77Updated last year
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆82Updated 9 years ago
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 5 years ago
• barrucadu / dejafu
  Systematic concurrency testing meets Haskell.
  ☆191Updated last week
• serokell / serokell-util
  Various functions which are used across multiple @serokell packages
  ☆44Updated 5 years ago
• runtimeverification / haskell-backend
  The symbolic execution engine powering the K Framework
  ☆208Updated this week
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• adjoint-io / pedersen-commitment
  ☆71Updated this week
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• k0001 / safe-money
  Test project
  ☆5Updated last year
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 7 years ago
• airalab / hs-web3
  Web3 API for Haskell
  ☆189Updated 3 months ago
• haskell-crypto / cryptonite
  lowlevel set of cryptographic primitives for haskell
  ☆226Updated last year
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆207Updated 6 years ago
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆253Updated last week
• transient-haskell / transient-universe
  A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…
  ☆140Updated 3 years ago
• fbsamples / ghc-hotswap
  Example code for how we swap compiled code within a running Haskell process.
  ☆172Updated 5 years ago
• sdiehl / zkp
  A framework to execute and verify algorithms using Groth16 zkSNARKs.
  ☆90Updated 4 years ago