Alternatives and similar repositories for hopper-v0:

Users that are interested in hopper-v0 are comparing it to the libraries listed below

• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆51Updated 3 years ago
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆82Updated 9 years ago
• sdiehl / zurihac-crypto
  Small minimal examples of modern cryptographic techniques in Haskell
  ☆79Updated 5 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• idris-hackers / idris-crypto
  Implementation of cryptographic primitives using Idris
  ☆120Updated 6 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆76Updated 6 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated last year
• jwiegley / coq-pipes
  ☆98Updated 6 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 8 years ago
• ermine-language / ermine
  The Ermine Programming Language - Join us on irc.freenode.net #ermine
  ☆220Updated 6 years ago
• input-output-hk / rscoin-haskell
  Haskell implementation of RSCoin
  ☆50Updated 7 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 9 years ago
• ndmitchell / bake
  UNMAINTAINED: Continuous integration server
  ☆130Updated 6 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆104Updated 4 years ago
• tel / serv
  Kind-safe framework for type-safe APIs
  ☆78Updated 5 years ago
• scslab / hails
  The security-centric web platform framework
  ☆52Updated 8 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆122Updated 2 years ago
• wyager / Neks
  A dead simple networked key/value store
  ☆115Updated 9 years ago
• cmcl / frankjnr
  Another implementation of Frank.
  ☆70Updated 7 years ago
• advancedtelematic / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆202Updated 3 years ago
• jonsterling / JonPRL
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆110Updated 5 years ago
• BekaValentine / SimpleFP-v2
  A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
  ☆108Updated 7 years ago
• 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…
  ☆139Updated 3 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆48Updated 2 years ago