jolisper / ulispLinks
An implementation of @phil_eaton compilers basic notes in Rust
☆35Updated 6 years ago
Alternatives and similar repositories for ulisp
Users that are interested in ulisp are comparing it to the libraries listed below
Sorting:
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆85Updated last year
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- A toy Lisp compiler targeting x86-64☆40Updated 5 years ago
- A (nearly) pure functional programming language.☆25Updated 6 years ago
- a simple yet comprehensive scheme interpreter in rust☆79Updated 4 years ago
- A functional programming language designed for concurrency and failure☆44Updated 2 years ago
- Scheme Interpreter in Rust☆28Updated 7 years ago
- Ikko language☆26Updated 4 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- Let's (possibly) build a JIT!☆29Updated last year
- A VM-based runtime environment for functional programming languages☆48Updated 8 years ago
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61Updated 3 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆82Updated 4 years ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- A Scheme interpreter written in Rust☆90Updated 6 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 9 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago
- A general purpose relational language☆19Updated 5 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- Compiler and tools for the L programming language☆72Updated last year
- implementation of Pure Type Systems (PTS) in Rust.☆52Updated 8 years ago
- A functional systems programming language with compile-time memory management☆31Updated 3 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- Macros have types!☆131Updated 2 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- LVC verified compiler☆57Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 2 months ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago