Sample code for Project 5

Elias Daler's Bikeshed Renderer (Vulkan renderer/game engine)

An actor-model multi-core scheduler for OCaml 5 🐫

Wob extended wtih effect handlers

Fast and concurrent scripting.

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the…

Effects-based direct-style IO for multicore OCaml

Standard ML of New Jersey

Test materials for getting JIT support for wizer

Low-latency machine code generation

A fast and lightweight native programming language

Selected Papers of Dana S. Scott

An interactive tool for experimenting with LR(1) grammars

Open source, cross-platform, user-mode tablet driver

The Hylo programming language

A collection of tools for writing technical documents that mix Coq code and prose.

Fast parsing from bytestrings

Demo for high-performance type theory elaboration

A data-first Rust-native UI design toolkit.

Simple flowers scene with simple rope physics and Verlet integration.

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

Optimizer and compiler/toolchain library for WebAssembly

The Ynot Project source code.

The original Edinburgh LCF.

OCaml bindings for Python

Teaching language LaMa for a compiler course

The next implementation of ocaml.org, built on OCaml, ReScript, NextJS, and Tailwind.

文言文編程語言 A programming language for the ancient Chinese.

The Definition of Standard ML (1990)