A small implementation of higher-order unification

Multi Oberon Compiler

Oberon-07 translator

Oberon → ARMv{6,7E}-M compiler

Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and c…

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.

Set of scripts and notebooks used to produce results visible in RecipeNLG paper

Create ridiculously fast Lexers

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Type-driven code generation for OCaml

A high-level language for Rust

A statically typed lisp, without a GC, for real-time applications.

Model-view-controller

The code and future topics of the daily-scala blog

The LLVM-based D Compiler.

My Toy Compiler. Read about how I did it at the homepage URL

CIL to Javascript Compiler

Sample programs for the LLVM PTX back-end

"Fabother World" an interpreter for Another World (Out of this world).

Eero was a fully binary- and header-compatible dialect of Objective-C, implemented with a modified version of the Apple-sponsored LLVM/clang open-source compiler. It featured a streamlined syntax, …

This was the working repo for Eero changes to clang. Please build using llvm from this project. See eerolanguage/eero for example code, issue tracking, and the project wiki

The Shang high-level synthesis framework

Clang playground

Small .NET interpreter

ECMAScript Lexer / Parser / Interpreter / VM / method JIT written in C++

LLVM backend for OpenRISC 1000

LLVM mirror with implementation of a backend for the Tile architecture

test project for llvm-amp