Alternatives and similar repositories for dao

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

• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆53Updated 11 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated last year
• aldorlang / aldor
  The Aldor Programming Language
  ☆35Updated 7 months ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago
• ilyasergey / plt-redex-fj
  A PLT Redex implementation of Featherweight Java
  ☆16Updated 12 years ago
• greghendershott / travis-racket
  Use Travis CI with Racket
  ☆43Updated 4 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• aliclark / hasp
  A Lisp syntax for Haskell.
  ☆22Updated 13 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 9 years ago
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 9 years ago
• LeifAndersen / racket-compiler2
  ☆11Updated 9 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• mflatt / gc-demo
  ☆87Updated 4 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆31Updated 8 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆74Updated last year
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 13 years ago
• kragen / urscheme
  ☆21Updated 12 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• brownplt / lambda-py
  ☆59Updated 11 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 7 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago