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
- programming languages invented/implemented by myself.☆8Updated last year
- An AST Library☆49Updated 8 months ago
- A naive θ..θ programming language☆27Updated 6 years ago
- Alef Lazily Evaluates Functions☆31Updated 11 years ago
- A function-oriented language with effect inference☆19Updated 10 years ago
- Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.☆13Updated 12 years ago
- SML The Living Language☆11Updated 10 years ago
- [Deprecated, prefer calcit-lang/calcit] Generated JavaScript from Cirru Syntax☆56Updated 3 weeks ago
- Compile-time metaprogramming for OCaml☆71Updated 3 months ago
- Epic - a Supercombinator Compiler☆11Updated 14 years ago
- Yet Another Scheme Interpreter using flex and bison☆49Updated 2 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 3 years ago
- A programming language☆76Updated 11 years ago
- scm->js☆22Updated 9 years ago
- An experimental language that compiles to JavaScript and C++☆32Updated 10 years ago
- Frege Interpreter☆15Updated 4 years ago
- scheme解释器 / scheme interpreter☆12Updated 8 years ago
- SWI-Prolog to R Project for Statistical Computing interface☆8Updated 9 years ago
- ☆19Updated 9 years ago
- FFI to zeromq☆12Updated last week
- Go! Lisp in OCaml☆75Updated 12 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆29Updated 10 years ago
- A proof assistant.☆12Updated 8 years ago