-
Microsoft Research Cambridge
Block or Report
Block or report davidchisnall
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
VSCode Remote Development: Open any folder on a remote machine using SSH.
The RTOS components for the CHERIoT research platform
Research programming language for concurrent ownership
Framework to create dynamic OO languages, either interpreted or compiled with LLVM, on top of the ObjC runtime (includes Étoilé Smalltalk implementation)
Tool for exploring CHERI and BERI streamtraces.