Alternatives and similar repositories for Dao:

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

• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 9 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 6 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated last month
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• phadej / heroku-docker-haskell-test
  Heroku + docker + haskell = ?
  ☆13Updated 9 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• haroldcarr / learn-haskell-coq-ml-etc
  Where I try code from Haskell (etc) books, articles, etc.
  ☆36Updated last year
• 23Skidoo / pointful
  Stand-alone command-line version of the pointful plugin for Lambdabot.
  ☆26Updated 2 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 8 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• stepcut / hyperdrive
  A fast, low-level HTTP server you can trust
  ☆47Updated 6 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 13 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• gip / fetchIO
  fetchIO is a simple, configurable, fault-tolerant web crawler written in Haskell
  ☆23Updated 8 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆61Updated 6 years ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆27Updated 9 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• idris-industry / ikan
  build tool and package manager for idris,in idris,with free monads
  ☆33Updated 6 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated 4 months ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆48Updated 2 years ago
• ekmett / auth
  ☆40Updated 6 years ago
• byorgey / species
  ☆17Updated last year
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 7 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago