Jonathan Protzenko (defunct account, use @protz now) msprotz

Please use @protz from here on! This is a now-defunct account for my contributions as a Microsoft (MS) employee from 2014 to 2025.

Achievements

proof-search-monad proof-search-monad Public

Tentative write-up of a neat trick used in the Mezzo type-checker

TeX 15 1
FStar FStar Public

Forked from FStarLang/FStar

An ML-like language with a type system for program verification

OCaml 1
opam-repository opam-repository Public

Forked from ocaml/opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Shell 1
TypeScript TypeScript Public

Forked from microsoft/TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

JavaScript
blockly blockly Public

Forked from RaspberryPiFoundation/blockly

The web-based visual programming editor.

JavaScript
ocaml-windows-bootstrap ocaml-windows-bootstrap Public

Forked from braibant/ocaml-windows-bootstrap

Shell

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

There was an error while loading. Please reload this page.