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
  ☆54Updated 11 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• mikesperber / pgg
  The PGG Partial Evaluation System for Scheme 48
  ☆18Updated 12 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated 2 years ago
• aliclark / hasp
  A Lisp syntax for Haskell.
  ☆22Updated 13 years ago
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 13 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 9 years ago
• greghendershott / travis-racket
  Use Travis CI with Racket
  ☆42Updated 4 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆74Updated last year
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 4 years ago
• ktakashi / r6rs-msgpack
  MessagePack for R6RS Scheme / msgpack.org[Scheme]
  ☆12Updated 12 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• shonfeder / tokenize
  A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
  ☆11Updated 6 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
• carlohamalainen / pysecd
  Python interpreter for Peter Landin's SECD abstract machine.
  ☆42Updated 12 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆35Updated 8 months ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• akeep / abstract-racket
  An abstract machine for analyzing Racket bytecode.
  ☆29Updated 4 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• guenchi / Matplotlib
  Matplotlib for Chez Scheme
  ☆26Updated 5 years ago
• smarr / SOM
  SOM - Simple Object Machine
  ☆24Updated 2 months ago
• LeifAndersen / racket-to-c
  ☆29Updated 10 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• nobutaka / nanopass
  Nanopass scheme compiler in scheme for x86
  ☆68Updated 8 years ago
• brownplt / lambda-py
  ☆59Updated 11 years ago