Alternatives and similar repositories for Denga:

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

• echatav / elliptic
  Elliptic Curve Cryptography in Haskell
  ☆13Updated 11 months ago
• ilya-klyuchnikov / henk
  Pure Type Systems for Functional Programming
  ☆31Updated 4 years ago
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 5 years ago
• zenprotocol / contracts
  Contract examples
  ☆10Updated 3 years ago
• ekmett / streams
  Haskell 2010 stream comonads
  ☆22Updated 2 months ago
• alphaHeavy / quickfix-hs
  QuickFIX bindings for Haskell
  ☆26Updated 7 years ago
• btmura / b1
  B1 is stock chart viewer written in Haskell using the OpenGL, GLFW, and FTGL bindings.
  ☆51Updated 7 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 6 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• geocar / q-mode
  q mode for emacs
  ☆13Updated 4 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 8 years ago
• AndrewRademacher / coinbase-exchange
  (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange
  ☆36Updated 6 years ago
• merijn / broadcast-chan
  Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.
  ☆17Updated last year
• texodus / forml
  A programming language
  ☆77Updated 11 years ago
• RedPRL / sml-typed-abts
  second-order abstract syntax
  ☆31Updated 3 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• QuentinDuval / IdrisPipes
  A library for composable and effectful production, transformation and consumption of streams of data in Idris
  ☆37Updated 7 years ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated last year
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 5 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• TikhonJelvis / array-forth
  A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
  ☆27Updated 4 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 7 years ago
• haskell-distributed / network-transport-tcp
  TCP Realisation of Network.Transport
  ☆29Updated 5 months ago
• VictorTaelin / Elementary-Affine-Type-Theory-legacy
  Minimal, efficient proof language
  ☆14Updated 5 years ago