Giters
David Chisnall (davidchisnall)

davidchisnall

Geek Repo

250

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

verona

Research programming language for concurrent ownership

Language:C++License:MITStargazers:3567Issues:108Issues:165

open-remote-ssh

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

Language:TypeScriptLicense:MITStargazers:270Issues:2Issues:136

github-act-runner

act as self-hosted runner

Language:GoLicense:MITStargazers:258Issues:6Issues:71

freebsd-vm

Use FreeBSD in github actions

Language:ShellLicense:MITStargazers:238Issues:16Issues:48

cheriot-rtos

The RTOS components for the CHERIoT research platform

Language:C++License:MITStargazers:120Issues:12Issues:32

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:6Issues:3

llvm

DO NOT USE. Use llvm-project instead

Language:LLVMLicense:NOASSERTIONStargazers:11Issues:42Issues:229

clang

DO NOT USE. Use llvm-project instead

Language:C++License:NOASSERTIONStargazers:9Issues:40Issues:172

libobjc2

GNUstep Objective-C runtime

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

gandi-tlsa-glue

add TLSA records to Gandi domains

Language:ShellStargazers:6Issues:3Issues:0

CheriVis

Tool for exploring CHERI and BERI streamtraces.

Language:Objective-C++License:NOASSERTIONStargazers:2Issues:38Issues:3