On the OCaml Language team at a proprietary trading firm
remora. A dependently-typed, array-polymorphic language that runs on parallel architectures
MathKit. Swift
sabersql. Python
