nwf

Computer security and architecture researcher. Employed by MSR Cambridge. Nomadic developer in my own time. Employed by Microsoft Research, Cambridge.

Microsoft UK

Pinned Repositories

cheri-exercises
Learning exercises for CHERI
Language:C1 1 140
cheribsd
nwf's fork of cheribsd; this is *often* push-f'd over, so is unsuitable as an upstream!
Language:C1 2 01
ctcheat
Notes, notably cheat-sheets, for category theory
Language:TeX3 3 00
dyna
Dyna2 compiler and REPL
Language:Haskell146 21 8520
grade
GRADE Reporting And Definition Environment
Language:Haskell3 2 00
hyperbola-chiptunes
A fork of Linus Åkesson's excellent AVR-based chiptunes project.
Language:C3 3 01
nwf-openamd-cassandra
Cassandra bridge, based on Captain Fourier's, for my localizer
Language:C++2 2 02
nwf-openamd-localizer
OpenAMD packet framer and localizer codebase, for The Next HOPE.
Language:C5 2 03
xconfig
My X and XMonad configurations
Language:Haskell18 2 02

nwf's Repositories

nwf/cheri-exercises
Learning exercises for CHERI
Language:C1 1 140
nwf/cheribsd
nwf's fork of cheribsd; this is *often* push-f'd over, so is unsuitable as an upstream!
Language:C1 2 01
nwf/cheribuild
A set of scripts to easily build CHERI related projects. nwf's branch will be occasionally rebased on master; you are advised to cherry-pick, not pull.
Language:Python1 2 0
nwf/openwrt-luci
LuCI - OpenWrt Configuration Interface
Language:JavaScript1 0 0
nwf/openwrt-packages
Packages Repository
Language:Makefile1 2 0
nwf/snmalloc
Message passing based allocator
Language:C++1 1 0
nwf/capbib
Capability systems bibliography
Language:TeX1 0
nwf/cheri-specification
CHERI ISA Specification
Language:TeX0 0
nwf/cheribsd-pkg
Package management tool for FreeBSD. Help at #pkg on Libera Chat or pkg@FreeBSD.org
Language:C0 0
nwf/cheriot-network-stack
nwf/cheriot-rtos
The RTOS components for the CHERIoT research platform
nwf/csdb
A data hoarder's checksum database tool
Language:Lua1 0
nwf/docker-nodemcu-build
Docker image to build NodeMCU firmware for the ESP8266 on your machine: https://hub.docker.com/r/marcelstoer/nodemcu-build/.
Language:Shell2 0
nwf/ESP8266_RTOS_SDK
Latest ESP8266 SDK based on FreeRTOS, esp-idf style.
Language:C0 0
nwf/esphome
nwf's fork of esphome
Language:C++0 0
nwf/esphome-docs
Language:Python0 0
nwf/fstools
[MIRROR] OpenWrt filesystem utilities
Language:C0 0
nwf/httpdirfs
A filesystem which allows you to mount HTTP directory listings, with a permanent cache. Now with Airsonic / Subsonic support!
Language:C0 0
nwf/llvm-project
Fork of LLVM adding CHERI support
Language:C++2 0
nwf/mcv-academic
My fork of https://gitlab.com/adin/mcv-academic
Language:TeX2 0
nwf/mrs
cheri malloc revocation shim
Language:C1 0
nwf/nodemcu-firmware
lua based interactive firmware for mcu like esp8266
Language:C2 01
nwf/octokit-webhooks.net
GitHub webhook events toolset for .NET
Language:C#0 0
nwf/openwrt
This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins or for reporting issues. We will continue to accept Pull Requests here. They will be merged via staging trees then into openwrt.git. All issues should be reported at: https://bugs.openwrt.org
Language:C3 01
nwf/Penlight
A set of pure Lua libraries focusing on input data handling (such as reading configuration files), functional programming (such as map, reduce, placeholder expressions,etc), and OS path management. Much of the functionality is inspired by the Python standard libraries.
Language:Lua0 0
nwf/qemu
QEMU with support for CHERI
Language:C2 0
nwf/QuickCheckVEngine
A RISC-V TestRIG Verification Engine based on QuickCheck
nwf/recorder
Store and access data published by OwnTracks apps
Language:C0 0
nwf/riscv-cheri
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
nwf/sail-cheri-riscv
Language:Coq1 0