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

A language that compiles to Bash and Windows Batch

Bolt is a language with in-built data-race freedom!

A high performance, memory efficient, and scalable web server written in OCaml

Examples to illustrate the use of algebraic effects in Multicore OCaml

Serving an Elm app with an OCaml backend

Docker image with a statically compiled binary