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.3k 250 3.3k1.7k
infra
Infrastructure to set up the public Compiler Explorer instances and compilers
Language:Python347 14 311304
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