OCaml

Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

Public quant internship repository, maintained by NUFT but available for everyone.

Tidy, feature-complete Web framework

An engine for displaying slips, the next-gen version of slides

Programming language for literate programming law specification

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

A Deductive Verification Tool for OCaml Programs

A mixture of tooling combined to produce JavaScript from OCaml & Reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Auto-formatter for OCaml code

MirageOS is a library operating system that constructs unikernels

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

A composable build system for OCaml.

The core OCaml system: compilers, runtime system, base libraries

Context sensitive completion for OCaml in Vim and Emacs

A static analyzer for Java, C, C++, and Objective-C

Compiler from OCaml to Javascript.

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.