Giters
David Chisnall (davidchisnall)

davidchisnall

Geek Repo

249

followers

0

following

11

stars

Company:Microsoft Research Cambridge

Github PK Tool:Github PK Tool

Organizations
CTSRD-CHERI
etoile
freebsd
gnustep

David Chisnall's starred repositories

open-remote-ssh

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

Language:TypeScriptLicense:MITStargazers:258Issues:0Issues:0

cheriot-rtos

The RTOS components for the CHERIoT research platform

Language:C++License:MITStargazers:120Issues:0Issues:0

github-act-runner

act as self-hosted runner

Language:GoLicense:MITStargazers:247Issues:0Issues:0

freebsd-vm

Use FreeBSD in github actions

Language:ShellLicense:MITStargazers:237Issues:0Issues:0

gandi-tlsa-glue

add TLSA records to Gandi domains

Language:ShellStargazers:6Issues:0Issues:0

verona

Research programming language for concurrent ownership

Language:C++License:MITStargazers:3563Issues:0Issues:0

libobjc2

GNUstep Objective-C runtime

Language:CLicense:MITStargazers:6Issues:0Issues:0

Languages

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

Language:CStargazers:14Issues:0Issues:0

CheriVis

Tool for exploring CHERI and BERI streamtraces.

Language:Objective-C++License:NOASSERTIONStargazers:2Issues:0Issues:0

clang

DO NOT USE. Use llvm-project instead

Language:C++License:NOASSERTIONStargazers:9Issues:0Issues:0

llvm

DO NOT USE. Use llvm-project instead

Language:LLVMLicense:NOASSERTIONStargazers:11Issues:0Issues:0