Alternatives and similar repositories for Dao

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

• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆26Updated 9 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆68Updated 6 months ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆49Updated 2 years ago
• iconnect / api-tools
  A Haskell embedded DSL for generating an API's JSON wrappers and documentation.
  ☆34Updated last year
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 7 years ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 5 years ago
• stepcut / hyperdrive
  A fast, low-level HTTP server you can trust
  ☆47Updated 7 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆61Updated 6 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 10 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆64Updated 3 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 6 years ago
• ivan-m / SourceGraph
  Static code analysis using graph-theoretic techniques
  ☆27Updated 3 years ago
• nandor / hcraft
  Haskell clone of a certain game
  ☆94Updated 11 years ago
• ocharles / netwire-classics
  Classic games recreated in netwire
  ☆94Updated 8 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 6 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 2 months ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• HeinrichApfelmus / vault
  A typed, persistent store for values of arbitrary types
  ☆61Updated last week
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 7 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 8 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• haskell-github-trust / crypto-api
  Haskell generic interface (type classes) for cryptographic algorithms
  ☆29Updated 8 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 5 months ago
• basvandijk / monad-control
  Lift control operations, like exception catching, through monad transformers
  ☆58Updated 2 years ago
• ktvoelker / standalone-haddock
  Generate standalone haddock documentation for a set of packages
  ☆28Updated 5 years ago