Alternatives and similar repositories for Dao:

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

• haskell / xhtml
  XHTML combinator library
  ☆9Updated 3 months ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• haskell-github-trust / crypto-api
  Haskell generic interface (type classes) for cryptographic algorithms
  ☆28Updated 7 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
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 8 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 6 years ago
• stepcut / hyperdrive
  A fast, low-level HTTP server you can trust
  ☆47Updated 6 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• haskell-hvr / rss
  A library for generating RSS 2.0 feeds.
  ☆18Updated 7 months ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆48Updated 2 years ago
• 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
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated last week
• iconnect / api-tools
  A Haskell embedded DSL for generating an API's JSON wrappers and documentation.
  ☆34Updated 5 months ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• echatav / elliptic
  Elliptic Curve Cryptography in Haskell
  ☆13Updated 11 months ago
• ku-fpg / remote-json
  JSON RPC using the remote monad
  ☆9Updated 6 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated last month
• HeinrichApfelmus / vault
  A typed, persistent store for values of arbitrary types
  ☆60Updated last month
• jaspervdj / talks
  Slides & demos for talks I do
  ☆59Updated 4 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago