Alternatives and similar repositories for Denga

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

• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆10Updated 10 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 9 years ago
• vbmithr / bmex
  BitMEX to DTC gateway
  ☆11Updated 6 years ago
• echatav / elliptic
  Elliptic Curve Cryptography in Haskell
  ☆13Updated last year
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 7 years ago
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 6 years ago
• pinocchio / p
  Pinocchio VM
  ☆20Updated 4 years ago
• zenprotocol / contracts
  Contract examples
  ☆10Updated 3 years ago
• MichaelBurge / lambda-exchange
  Data structures/API for a Bitcoin exchange
  ☆20Updated 7 years ago
• fab13n / lamtez
  An ML-inspired smart contract language, compiling to Tezos' Michelson VM
  ☆22Updated 7 years ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated 2 years ago
• geocar / q-mode
  q mode for emacs
  ☆13Updated 4 years ago
• sdiehl / shamir
  Shamir Secret Sharing
  ☆21Updated 5 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
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆52Updated 3 years ago
• VictorTaelin / Elementary-Affine-Type-Theory-legacy
  Minimal, efficient proof language
  ☆14Updated 6 years ago
• stepcut / hyperdrive
  A fast, low-level HTTP server you can trust
  ☆47Updated 6 years ago
• tezos / tezoscoq
  working with coq and tezos
  ☆28Updated 7 years ago
• rootmos / silly-k
  silly-k is an experimental language inspired by K and APL
  ☆16Updated 8 months ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• alphaHeavy / quickfix-hs
  QuickFIX bindings for Haskell
  ☆26Updated 8 years ago
• haskell-distributed / network-transport-tcp
  TCP Realisation of Network.Transport
  ☆29Updated 9 months ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• rbermani / ib-api
  An API for the Interactive Brokers Trader Workstation written in pure Haskell
  ☆18Updated 7 years ago
• 26medias / advanced-candlestick-chart
  HTML5 ES6 canvas candlestick chart with probability heatmap overlay. Built to display stock and currency forecasts.
  ☆12Updated 10 years ago
• RedPRL / sml-typed-abts
  second-order abstract syntax
  ☆31Updated 3 years ago
• FranklinChen / spreadsheet-haskell
  Spreadsheet demo in Haskell
  ☆16Updated last month
• AndrewRademacher / coinbase-exchange
  (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange
  ☆36Updated 6 years ago