Monadic let-bindings

SML# compiler

関数型言語の自作 / Creating my own functional programming language

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

The Online Interpreter for Standard ML, written in TypeScript.

The Caml Light implementation of the Caml language

🐫 Statically typed functional programming language implementation with Go and LLVM

コード例で学ぶ Lean 言語

The Egison Programming Language

The Lean Computer Science Library (CSLib)

Haskell implemented with combinators

Fil-C: completely compatible memory safety for C and C++

Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.

RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).

Master programming by recreating your favorite technologies from scratch.

The uncurried minimal functional programming language for CPS transformation

LEGO MINDSTORMS EV3 source code

static analysis of C/C++ code

aarch64 system emulator

A Linux framework to enable userspace-defined "Virtual" PCIe card shims to enable in-host PCIe card driver development.

Rust without the borrow checker

Abseil Common Libraries (C++)

Public repository of the Micro QuickJS Javascript Engine

The math library of Lean 4

SML reference interpreter

The core OCaml system: compilers, runtime system, base libraries

Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.

Klassic is A Programming Language which enables Object-Functional Programming

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

A functional programming language based on algebraic effect handlers