ECMAScript Specification (ECMA-262) Metalanguage

An experimental programming language that combines effect handlers and implicit parameters

Contextual Typing, formalised in Agda

A Language with Dependent Data and Codata Types

[COLM 2024] A Survey on Deep Learning for Theorem Proving

Lang-n-Prove: A Proof Language for Language Proofs

朱雀仿宋/朱雀宋朝/Zhuque Fangsong: An open-source Fangsong typeface project

A package for creating slides in Typst

One of the strongest Gomoku/Renju playing engine

Legacy Code of ZJU Campus App for iOS

Accompanying materials for "A Core Calculus for Documents"

The Flambda backend project for OCaml

Base library and tools for ppx rewriters

A friendly programming language from the future

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Adds static typing to JavaScript to improve developer productivity and code quality.

Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

APIs for more recursive definitions

The MLton repository

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286

The Swift Programming Language book

PLDB: a Programming Language DataBase

Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors

A demo implementation of a simple dependently-typed language

Haskell library implementing "Data Types a la Carte"

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!