SOwens / example-compiler
A simple compiler for a simple imperative language, written in OCaml
☆20Updated 6 years ago
Alternatives and similar repositories for example-compiler:
Users that are interested in example-compiler are comparing it to the libraries listed below
- For hosting certain parts of http://www.ats-lang.org☆27Updated 2 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆59Updated 4 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 9 months ago
- Hope programming language interpreter☆40Updated 4 years ago
- SML reference interpreter☆112Updated last year
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Vim plugin for ATS☆16Updated 3 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- Kempe is a compiled stack-based language☆58Updated 5 months ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- Collection of ATS goodness☆35Updated 5 years ago
- A benchmark suite for the OCaml compiler☆83Updated 6 months ago
- Pretty-print error messages of the ATS Compiler☆32Updated 5 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- A Tour of Standard ML (in the style of A Tour of Go)☆51Updated 3 years ago
- An implementation of the Lox language in Racket.☆33Updated last year
- OCaml bindings for the Orx game engine☆51Updated 2 years ago
- Charity Programming Language☆39Updated 9 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 6 years ago
- Generation of S-expression conversion functions from type definitions☆90Updated 3 months ago
- A tiny statically typed programming language☆18Updated 10 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- The Alms Programming Language☆44Updated 6 years ago
- An auto-formatter for the Standard ML language☆22Updated 4 years ago