chaosim / daoLinks
new generation language
☆20Updated 11 years ago
Alternatives and similar repositories for dao
Users that are interested in dao are comparing it to the libraries listed below
Sorting:
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- an attempt to implement miniKanren and microKanren in Python☆52Updated 10 years ago
- Accepted papers for Haskell 2014☆52Updated 9 years ago
- Matplotlib for Chez Scheme☆24Updated 5 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- a Haskell clone for the JVM☆11Updated 9 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- An implementation of microKanren in Shen☆10Updated 10 years ago
- 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
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Gitbook version of https://github.com/orangeduck/BuildYourOwnLisp☆51Updated 10 years ago
- FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers☆12Updated 8 years ago
- ☆50Updated 12 years ago
- The Aldor Programming Language☆34Updated 3 months ago
- A Scheme interpreter in Python☆14Updated 10 years ago
- The Stratego program transformation language☆31Updated last month
- Stanford CS240h Class Notes -- Functional Systems in Haskell☆27Updated 11 years ago
- Static Blog Generator——静态博客生成器☆44Updated 7 years ago
- A Lisp syntax for Haskell.☆22Updated 13 years ago
- Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.☆13Updated 12 years ago
- Web site for standardml.org.☆36Updated last year
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Updated 9 years ago
- CADR Lisp Machine simulator☆23Updated 8 years ago
- Google Common Lisp Style Guide in Chinese☆13Updated 6 years ago
- Compile-time metaprogramming for OCaml☆73Updated 9 months ago
- SOM - Simple Object Machine☆23Updated last week
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- Minimal Emacs distribution for beginners to use with Programming Languages course on Coursera☆18Updated 8 years ago
- Idris, but it's C☆24Updated 7 years ago