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
• vishar0 / The-Seasoned-Schemer
  Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.
  ☆13Updated 13 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 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
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆75Updated last year
• shonfeder / tokenize
  A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
  ☆11Updated 6 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆36Updated 10 months ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 13 years ago
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 10 years ago
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• mflatt / gc-demo
  ☆87Updated 5 years ago
• brownplt / lambda-py
  ☆59Updated 11 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆82Updated 10 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 10 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 8 years ago
• LeifAndersen / racket-compiler2
  ☆11Updated 9 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆16Updated 3 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago
• akeep / abstract-racket
  An abstract machine for analyzing Racket bytecode.
  ☆29Updated 4 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 13 years ago
• greghendershott / travis-racket
  Use Travis CI with Racket
  ☆43Updated 4 years ago
• taijiweb / taijilang
  a customizable and extensible language with dynamic parser and meta compilation.
  ☆65Updated 10 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago