David Chisnall (davidchisnall)

davidchisnall

Geek Repo

Company:Microsoft Research Cambridge

Github PK Tool:Github PK Tool


Organizations
CTSRD-CHERI
etoile
freebsd
gnustep

David Chisnall's repositories

banning-e2ee-is-stupid

Do you think banning end-to-end encryption is plausible? Think again.

container-vm-scripts

Scripts for building FreeBSD VMs for use with podman

act-pot

Scripts to use pot to manage github-act-runner in a FreeBSD jail

Language:ShellLicense:MITStargazers:18Issues:6Issues:1

dtc

FreeBSD Device Tree Compiler

camtemplate

Template for web pages for the University of Cambridge Computer Lab

Language:TeXLicense:MITStargazers:8Issues:6Issues:0

OpenOutliner

Outliner application inspired by OmniOutliner 3

Language:Objective-C++License:NOASSERTIONStargazers:7Issues:7Issues:17

libobjc2

GNUstep Objective-C runtime

Language:CLicense:MITStargazers:6Issues:5Issues:0
Language:C++License:MITStargazers:4Issues:3Issues:0

scan-watch

Tool for receiving uploaded files from a scanner and OCRing them

Language:C++License:MITStargazers:2Issues:1Issues:0

azure-freebsd-minimal

Minimal tooling for working with FreeBSD in Azure.

Language:C++License:MITStargazers:1Issues:2Issues:0

clang-gnustep-abi-2

Work in progress experimentation with a new Objective-C runtime ABI.

Language:C++License:NOASSERTIONStargazers:1Issues:5Issues:0

AFL-CHERI

Port of American Fuzzy Lop to CHERI

Stargazers:0Issues:3Issues:0

azure-sdk-for-cpp

This repository is for active development of the Azure SDK for C++. For consumers of the SDK we recommend visiting our versioned developer docs at https://azure.github.io/azure-sdk-for-cpp.

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

bsc

Bluespec Compiler (BSC)

Language:BluespecLicense:NOASSERTIONStargazers:0Issues:1Issues:0

cheriot-rtos

The RTOS components for the CHERIoT research platform

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

docker-zfs-plugin

Docker volume plugin for creating persistent volumes as a dedicated zfs dataset. (FreeBSD port)

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

fmt

A modern formatting library

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

freebsd-src

FreeBSD src tree (read-only mirror)

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

gsoc18-progress

This is dedicated to posting the current progress of my GSoC 18 project: Porting .NET Core and PowerShell to FreeBSD

Stargazers:0Issues:2Issues:0

imgui

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

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

libs-base

The GNUstep Base Library is a library of general-purpose, non-graphical Objective C objects.

Language:Objective-CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

libucl

Universal configuration library parser

Language:CLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

License:NOASSERTIONStargazers:0Issues:0Issues:0

meeting-backgrounds

🖼️ Download and manage meeting background collections.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

microvium

A compact, embeddable scripting engine for applications and microcontrollers for executing programs written in a subset of the JavaScript language.

Language:CLicense:MITStargazers:0Issues:1Issues:0

ocijail

An OCI runtime using FreeBSD jail

Language:C++License:BSD-2-ClauseStargazers:0Issues:0Issues:0

podman

Podman: A tool for managing OCI containers and pods.

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

poudriere

Port/Package build and test system

Language:MakefileLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

qemufwcfg

FreeBSD implementation of a NetBSD-compatible /dev/qemufwcfg device

Language:CLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

vcpkg

C++ Library Manager for Windows, Linux, and MacOS

Language:CMakeLicense:NOASSERTIONStargazers:0Issues:1Issues:0