chaosim / daonodeLinks
functional logic solver and compiler
☆26Updated 9 years ago
Alternatives and similar repositories for daonode
Users that are interested in daonode are comparing it to the libraries listed below
Sorting:
- a customizable and extensible language with dynamic parser and meta compilation.☆65Updated 9 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- A function-oriented language with effect inference☆18Updated 11 years ago
- scm->js☆22Updated 9 years ago
- 2015年8月1日上海,SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Updated 9 years ago
- SML The Living Language☆11Updated 11 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- Lice IDE based on IntelliJ Platform☆19Updated 7 years ago
- An experimental language that compiles to JavaScript and C++☆33Updated 11 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- A statically typing programming language implemented in Haskell.☆6Updated 8 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 8 years ago
- Compile JavaScript to Native Code☆28Updated 5 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- An AST Library☆49Updated last year
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- ☆59Updated 7 years ago
- ☆19Updated 9 years ago
- Theorems that rule this multiverse☆11Updated 6 years ago
- some old code about scheme compiler I've ever wrote☆14Updated 2 years ago
- Redis bindings for Racket☆15Updated last year
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆63Updated 7 years ago
- A programming language☆77Updated 12 years ago
- Python实现的Scheme方言,支持宏、continuation、lambda、各种基本类型等等,可以直接Python解释执行,也可以编译到JavaScript。编译到JS可以与JavaScript动态交互(互相调用)☆21Updated 11 years ago
- Unlikely Scheme: A small Scheme interpreter☆22Updated 14 years ago