Skip to content
View davidchisnall's full-sized avatar
  • Microsoft Research Cambridge

Organizations

@etoile @CTSRD-CHERI @freebsd @gnustep
Block or Report

Block or report davidchisnall

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

VSCode Remote Development: Open any folder on a remote machine using SSH.

TypeScript 262 33 Updated Aug 5, 2024

The RTOS components for the CHERIoT research platform

C++ 121 39 Updated Aug 2, 2024

act as self-hosted runner

Go 248 15 Updated Jul 25, 2024

Use FreeBSD in github actions

Shell 238 20 Updated Jul 3, 2024

add TLSA records to Gandi domains

Shell 6 1 Updated Aug 14, 2023

Research programming language for concurrent ownership

C++ 3,564 165 Updated Apr 24, 2024

GNUstep Objective-C runtime

C 6 Updated Apr 26, 2018

Framework to create dynamic OO languages, either interpreted or compiled with LLVM, on top of the ObjC runtime (includes Étoilé Smalltalk implementation)

C 14 4 Updated Jun 9, 2014

Tool for exploring CHERI and BERI streamtraces.

Objective-C++ 2 2 Updated Apr 11, 2018

DO NOT USE. Use llvm-project instead

C++ 9 8 Updated Feb 15, 2019

DO NOT USE. Use llvm-project instead

LLVM 11 8 Updated Mar 7, 2019