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.
  ☆27Updated 9 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 2 months ago
• tsurucapital / euphoria
  Dynamic network FRP with events and continuous values
  ☆52Updated 4 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• aistrate / Okasaki
  Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)
  ☆35Updated 15 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated last month
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 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
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• emilaxelsson / ag-graph
  Attribute Grammars on Graphs
  ☆10Updated 8 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆48Updated 2 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 4 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• 23Skidoo / pointful
  Stand-alone command-line version of the pointful plugin for Lambdabot.
  ☆26Updated last year
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 6 years ago
• haskell-distributed / distributed-process-demos
  Cloud Haskell Demonstration
  ☆18Updated 9 years ago
• fpco / schoolofhaskell
  ☆33Updated 9 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 6 years ago
• ryanorendorff / lc-2017-fusion
  LambdaConf 2017 Fusion Presentation
  ☆10Updated 7 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆63Updated 2 years ago