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
  ☆52Updated 10 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 8 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 2 weeks ago
• abailly / jaskell
  a Haskell clone for the JVM
  ☆11Updated 9 years ago
• texodus / forml
  A programming language
  ☆77Updated 11 years ago
• liyang / fast-math
  Play fast and loose with IEEE-754 rewrite RULES
  ☆25Updated 9 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆72Updated 6 months ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 10 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• Xython / pattern-matching
  full-featured pattern-matching in python, however it's more likely to be dynamic contracts.
  ☆17Updated 6 years ago
• HaskellCNOrg / haper
  FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers
  ☆12Updated 7 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• adamhaney / lispy
  An implementation of scheme that can call python modules
  ☆21Updated 11 years ago
• be5invis / idris-dict
  A Dict k v in Idris
  ☆15Updated 4 years ago
• fare / moll
  My Own Linear Lisp
  ☆39Updated 6 years ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 7 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• kennknowles / python-rightarrow
  A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call the…
  ☆59Updated 11 years ago
• coq-io / hello-world
  A Hello World program in Coq.
  ☆17Updated 2 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 9 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 8 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago