Lecturer at the University of St Andrews
-
University of St Andrews
- Scotland, United Kingdom
- https://tom-spink.com
Stars
Symbolic execution tool for Sail ISA specifications
Arm Developer Labs is a collection of industry-relevant projects. Our projects are aimed at computer science students and developers alike. Have a go and you can potentially land a position at Arm!
A very Lisp approach to hardware synthesis
A fast and lightweight decoder for x86 and x86-64 and encoder for x86-64.
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
tspink / mono
Forked from mono/monoMono open source ECMA CLI, C# and .NET implementation.
Mono open source ECMA CLI, C# and .NET implementation.