msprotz - Overview

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.

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

TeX 15 1
Forked from FStarLang/FStar

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

OCaml 1
Forked from ocaml/opam-repository

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

Shell 1
Forked from microsoft/TypeScript

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

JavaScript