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

Performant type-checking for python.

A code rewrite tool for structural search and replace that supports ~every language.

Irmin is a distributed database that follows the same design principles as Git

Implementations of various type systems in OCaml.

Programming Languages Zoo

Owl - OCaml Scientific Computing @ https://ocaml.xyz

OCaml promises and concurrent I/O

🏞 an OCaml compiler for an untyped lisp

A library for building dynamic webapps, using Js_of_ocaml.

This project aims at being able to export Kicad v5 Sch files to structured picture files

An higher-level LLVM binding for OCaml

[Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml

Map OCaml arrays onto C-like structs