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

magic-trace collects and displays high-resolution traces of what a process is doing

MirageOS is a library operating system that constructs unikernels

V2 of Real World OCaml

Python bindings for the Coq interactive proof assistant

十分钟魔法练习 in OCaml

Essentials of Programming Languages, with OCaml implementations & Coq proofs