Jonathan Protzenko's Projects
The web-based visual programming editor.
The Python programming language
Core C++ ElectionGuard encryption components
An ML-like language with a type system for program verification
Separate compilation using F* and KreMLin
Lean Theorem Prover
Prototype chrome addon that exposes the micro:bit's serial output to webpages.
The core OCaml system: compilers, runtime system, base libraries
Mirror of the OCaml manual
Easy process control in OCaml
Implementation of the ocaml.org website.
Main public package repository for OPAM, the source package manager of OCaml.
OPAM repository for MinGW OCaml
TLS/SSL and crypto library
Tentative write-up of a neat trick used in the Mezzo type-checker
A PXT target for microbit
Staging ground for artifacts related to an MVP spec
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
A Vim mode for FStar