msprotz
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
MicrosoftRedmond, WA
Pinned Repositories
blockly
The web-based visual programming editor.
cpython
The Python programming language
electionguard-cpp
Core C++ ElectionGuard encryption components
FStar
An ML-like language with a type system for program verification
fstar-sample-project
Separate compilation using F* and KreMLin
lean
Lean Theorem Prover
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
proof-search-monad
Tentative write-up of a neat trick used in the Mezzo type-checker
msprotz's Repositories
msprotz/proof-search-monad
Tentative write-up of a neat trick used in the Mezzo type-checker
msprotz/FStar
An ML-like language with a type system for program verification
msprotz/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
msprotz/blockly
The web-based visual programming editor.
msprotz/cpython
The Python programming language
msprotz/electionguard-cpp
Core C++ ElectionGuard encryption components
msprotz/fstar-sample-project
Separate compilation using F* and KreMLin
msprotz/lean
Lean Theorem Prover
msprotz/microbit-chrome
Prototype chrome addon that exposes the micro:bit's serial output to webpages.
msprotz/ocaml
The core OCaml system: compilers, runtime system, base libraries
msprotz/ocaml-manual
Mirror of the OCaml manual
msprotz/ocaml-process
Easy process control in OCaml
msprotz/ocaml-windows-bootstrap
msprotz/ocaml.org
Implementation of the ocaml.org website.
msprotz/opam-repository-mingw
OPAM repository for MinGW OCaml
msprotz/openssl
TLS/SSL and crypto library
msprotz/pxt-microbit
A PXT target for microbit
msprotz/spec
Staging ground for artifacts related to an MVP spec
msprotz/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
msprotz/VimFStar
A Vim mode for FStar