artagnon / rhine-ml
🏞 an OCaml compiler for an untyped lisp
☆632Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for rhine-ml
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆236Updated last year
- Low-level Lisp for LLVM☆501Updated 8 years ago
- Whalesong: Racket to JavaScript compiler☆145Updated 7 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆210Updated last year
- Delimited continuations for Clojure☆213Updated 4 years ago
- The implementation of microKanren, a featherweight relational programming language☆307Updated 10 years ago
- A Clojure implementation on top of C☆922Updated 6 years ago
- Clojure to Scheme to C to the bare metal.☆566Updated 4 years ago
- Kenichi Asai's reflective programming language Black☆195Updated 2 years ago
- Whalesong: Racket to JavaScript compiler☆250Updated 7 years ago
- ☆169Updated 6 years ago
- A Modern Lisp for the Erlang VM☆463Updated 4 years ago
- An R6RS framework for creating compilers that target C.☆113Updated 9 years ago
- General Parser Combinators in Racket☆195Updated 8 years ago
- A functional Scheme for world domination.☆378Updated 6 years ago
- Urlang is JavaScript with a sane syntax☆302Updated 3 weeks ago
- An implementation of Hindley-Milner in Clojure.☆166Updated 10 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆256Updated 11 months ago
- Library and Toolkit for Standard ML☆144Updated last year
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆352Updated 3 years ago
- The Bone Lisp programming language☆325Updated 4 years ago
- Shen language kernel sources for porters☆355Updated 3 months ago
- Canonical miniKanren implementation☆351Updated 6 years ago
- nanopass compiler framework for Racket☆181Updated 10 months ago
- Clojure parser combinators☆232Updated 3 years ago
- a collection of arrow macros☆565Updated 5 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆160Updated 7 years ago
- #lang clojure☆121Updated 9 years ago
- ☆266Updated 11 years ago
- Mal (Make A Lisp) compiler☆121Updated 8 months ago