Mitchtdk

Software Engineer interested in High Assurance Software Systems and Formal Methods.

Australia

Pinned Repositories

compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
Language:TypeScript16.5k 252 3.4k1.8k
infra
Infrastructure to set up the public Compiler Explorer instances and compilers
Language:Python360 16 315313
compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
Language:JavaScript0 1 00
compiler-explorer-image
Setup for Amazon EC2 image to run a gcc explorer
Language:Shell0 1 00

Mitchtdk's Repositories

Mitchtdk/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
Language:JavaScript0 1 00
Mitchtdk/compiler-explorer-image
Setup for Amazon EC2 image to run a gcc explorer
Language:Shell0 1 00