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
cheribsd
nwf's fork of cheribsd; this is *often* push-f'd over, so is unsuitable as an upstream!
ctcheat
Notes, notably cheat-sheets, for category theory
dyna
Dyna2 compiler and REPL
grade
GRADE Reporting And Definition Environment
hyperbola-chiptunes
A fork of Linus Ă…kesson's excellent AVR-based chiptunes project.
nwf-openamd-cassandra
Cassandra bridge, based on Captain Fourier's, for my localizer
nwf-openamd-localizer
OpenAMD packet framer and localizer codebase, for The Next HOPE.
xconfig
My X and XMonad configurations
nwf's Repositories
nwf/ansi-wl-pprint
The Wadler/Leijen Pretty Printer for colored ANSI terminal output
nwf/clientsession
Stores web session data in a client cookie, protected with authentication and encryption.
nwf/gtetrinet
nwf/hs-cryptohash-conduit
Simple conduit function for cryptohash
nwf/ioio
Software, firmware and hardware of the IOIO - I/O for Android
nwf/ircv3-specifications
IRCv3 specifications
nwf/trifecta
Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
nwf/wai
Haskell Web Application Interface
nwf/wl-pprint-extras
A free monad based on the Wadler/Leijen pretty printer