Extracting verified C++ from the Rocq theorem prover at Bloomberg

ts-blank-space is a fast type-stripping compiler

Contracts, Undefined Behavior, and Defensive Programming

Memray: Python memory profiler

BlazingMQ: High-performance open source message queuing system

Comdb2

Foundations Machine Learning

BuckleScript: write JavaScript faster, safer and smaller

Announcing BuckleScript 1.0

BuckleScript: write JS faster, safer and smaller

BuckleScript 1.0 Has Arrived, Official Release, Compile OCaml to JavaScript

BuckleScript - A JavaScript Backend For the OCaml Compiler