Alternatives and similar repositories for Denga:

Users that are interested in Denga are comparing it to the libraries listed below

• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 6 years ago
• gstew5 / snarkl
  ☆59Updated 2 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 9 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• ilya-klyuchnikov / henk
  Pure Type Systems for Functional Programming
  ☆31Updated 4 years ago
• echatav / elliptic
  Elliptic Curve Cryptography in Haskell
  ☆13Updated last year
• AndrewRademacher / coinbase-exchange
  (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange
  ☆36Updated 6 years ago
• MichaelBurge / lambda-exchange
  Data structures/API for a Bitcoin exchange
  ☆20Updated 7 years ago
• deech / lambdaconf-shen-talk
  ☆15Updated 8 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• geocar / q-mode
  q mode for emacs
  ☆13Updated 4 years ago
• zenprotocol / contracts
  Contract examples
  ☆10Updated 3 years ago
• RedPRL / sml-typed-abts
  second-order abstract syntax
  ☆31Updated 3 years ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 6 years ago
• HIPERFIT / contracts
  Symbolic financial contract EDSL
  ☆38Updated 4 years ago
• f-o-a-m / purescript-web3-generator
  A code generation tool for purescript-web3
  ☆22Updated 2 months ago
• pirapira / fp-ethereum
  Functional Programming for Ethereum: Intro and Resources
  ☆66Updated 8 years ago
• sdiehl / shamir
  Shamir Secret Sharing
  ☆20Updated 5 years ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated last year
• alphaHeavy / quickfix-hs
  QuickFIX bindings for Haskell
  ☆26Updated 7 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• btmura / b1
  B1 is stock chart viewer written in Haskell using the OpenGL, GLFW, and FTGL bindings.
  ☆51Updated 7 years ago
• vbmithr / breakbot
  OCaml bot for arbitraging Bitcoin exchanges
  ☆51Updated 5 years ago
• ekmett / streams
  Haskell 2010 stream comonads
  ☆22Updated 3 months ago
• charles-cooper / peregrine
  EDSL for automated, low-latency trading
  ☆32Updated 7 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• oscoin / oscoin
  Oscoin Full Node Implementation in Haskell (Work in Progress)
  ☆24Updated 5 years ago
• VictorTaelin / Elementary-Affine-Type-Theory-legacy
  Minimal, efficient proof language
  ☆14Updated 5 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago