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
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months ago
• the-language / zKanren
  zKanren
  ☆11Updated 3 years ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 4 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• racket / r6rs
  ☆7Updated 2 months ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago
• greghendershott / travis-racket
  Use Travis CI with Racket
  ☆42Updated 4 years ago
• aliclark / hasp
  A Lisp syntax for Haskell.
  ☆22Updated 13 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆34Updated last month
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆10Updated 10 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• donaldsonjw / bigloo
  Bigloo Scheme Compiler
  ☆12Updated 9 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆22Updated 5 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated last year
• boostpro / emacs-llvm-jit
  Fork of Emacs 24.1 that replaces the byte-code interpreter with the LLVM JIT
  ☆26Updated 13 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 8 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 9 years ago