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
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated last year
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• fare / moll
  My Own Linear Lisp
  ☆41Updated 7 years ago
• aliclark / hasp
  A Lisp syntax for Haskell.
  ☆22Updated 13 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago
• greghendershott / travis-racket
  Use Travis CI with Racket
  ☆43Updated 4 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆34Updated 3 months ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆16Updated 12 years ago
• viswanathgs / The-Seasoned-Schemer
  Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.
  ☆13Updated 13 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 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
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 7 years ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 4 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆127Updated 12 years ago
• LeifAndersen / racket-to-c
  ☆29Updated 10 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 5 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 7 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 12 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago