This is my professional GitHub account to record my contributions with my @microsoft (MS) employee hat on.
My open-source work is done with the @protz hat on
-
Microsoft
- Redmond, WA
- https://jonathan.protzenko.fr
Popular repositories Loading
-
proof-search-monad
proof-search-monad PublicTentative write-up of a neat trick used in the Mezzo type-checker
-
FStar
FStar PublicForked from FStarLang/FStar
An ML-like language with a type system for program verification
OCaml 1
-
opam-repository
opam-repository PublicForked from ocaml/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Shell 1
-
TypeScript
TypeScript PublicForked from microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
JavaScript
-
blockly
blockly PublicForked from google/blockly
The web-based visual programming editor.
JavaScript
-
ocaml-windows-bootstrap
ocaml-windows-bootstrap PublicForked 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.
If the problem persists, check the GitHub status page or contact support.