chaosim / daonode
functional logic solver and compiler
☆26Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for daonode
- a customizable and extensible language with dynamic parser and meta compilation.☆65Updated 8 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- Alef Lazily Evaluates Functions☆31Updated 11 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- programming languages invented/implemented by myself.☆8Updated last year
- An outdated miniKanren implementation with a not-pairo constraint☆29Updated 10 years ago
- ☆19Updated 9 years ago
- scm->js☆22Updated 9 years ago
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Updated 9 years ago
- Redis bindings for Racket☆15Updated last year
- Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.☆13Updated 12 years ago
- An AST Library☆49Updated 8 months ago
- XHTML combinator library☆9Updated 4 months ago
- A function-oriented language with effect inference☆19Updated 10 years ago
- Functional Reactive Animation Drawing Environment☆9Updated 7 years ago
- All code examples from "The Little Prover" book☆23Updated 8 years ago
- Compile-time metaprogramming for OCaml☆71Updated 3 months ago
- ☆12Updated last week
- Lisp Flavoured C++☆29Updated 3 years ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆63Updated 7 years ago
- Lice IDE based on IntelliJ Platform☆19Updated 6 years ago
- SWI-Prolog to R Project for Statistical Computing interface☆8Updated 9 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- A programming language☆76Updated 11 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆19Updated 7 years ago