Name: Mauro Bringolf
Type: User
Bio: Software engineer interested in software correctness, e.g. verification, compilers, proofs, types, functional programming, semantics, testing. OCaml/Haskell/SMT
Location: Zürich, Switzerland
Mauro Bringolf's Projects
WebAssembly specification, reference interpreter, and test suite.
A theme for thunderbird based on the nord color scheme
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
A vim plugin wrapper for prettier
HTTP server that manages verification requests to different tools from the Viper tool stack.
A starting point for development of a WordPress plugin using PHP Namespaces
Slack notifications for WP Pusher
A fuzzing framework for SMT solvers