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
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Sinister's Scheme Compiler!☆24Updated 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
- A benchmark suite for the OCaml compiler☆83Updated 7 months ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- Vim plugin for ATS☆16Updated 3 years ago
- small programming language. pls be gentle.☆39Updated 2 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- SML reference interpreter☆112Updated last year
- SKI combinators☆54Updated 7 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- Generation of S-expression conversion functions from type definitions☆89Updated 4 months ago
- Lox language implemented in OCaml☆14Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated 6 months ago
- ☆22Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- A purely functional dynamically typed programming language.☆56Updated 4 years ago
- A simple Prolog interpreter☆43Updated 3 years ago
- A Tour of Standard ML (in the style of A Tour of Go)☆51Updated 3 years ago
- Abstract engine for text edition in OCaml☆120Updated last year
- Type inference implementation in OCaml using Algorithm W☆10Updated 3 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 10 months 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
- OCaml bindings for the Orx game engine☆51Updated 2 years ago
- A Hindley-Milner type inference implementation in Prolog☆13Updated 10 years ago
- For hosting certain parts of http://www.ats-lang.org☆27Updated 2 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- Hope programming language interpreter☆40Updated 4 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
- Unofficial OCaml Standard Library Docs - Modern Theme☆11Updated 6 years ago