dstolfa

PhD candidate at the University of Cambridge.

University of CambridgeCambridge, UK

Pinned Repositories

BasicRegAlloc
Basic register allocator taking LVA output and weights to use as a heuristic.
Language:C++40
cheribsd
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
00
documentation
Language:TeX00
freebsd
FreeBSD src tree
Language:C2 3 00
freebsd-quarterly
FreeBSD quarterly reports
00
libtrue
You can't handle the truth
Language:C00
ott
Ott is a tool for writing definitions of programming languages and calculi
Language:OCaml0 1 00
phd-thesis-template
A LaTeX / XeLaTeX / LuaLaTeX PhD thesis template for Cambridge University Engineering Department (CUED)
Language:TeX00
scripts
Some useful scripts.
Language:Shell00
wpa2-psk-keygen
Generates a random variable size key for WPA2/PSK, depends on arc4random.
Language:C10

dstolfa's Repositories

dstolfa/BasicRegAlloc
Basic register allocator taking LVA output and weights to use as a heuristic.
Language:C++40
dstolfa/freebsd
FreeBSD src tree
Language:C2 3 00
dstolfa/wpa2-psk-keygen
Generates a random variable size key for WPA2/PSK, depends on arc4random.
Language:C10
dstolfa/cheribsd
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
00
dstolfa/documentation
Language:TeX00
dstolfa/freebsd-quarterly
FreeBSD quarterly reports
00
dstolfa/libtrue
You can't handle the truth
Language:C00
dstolfa/ott
Ott is a tool for writing definitions of programming languages and calculi
Language:OCaml0 1 00
dstolfa/phd-thesis-template
A LaTeX / XeLaTeX / LuaLaTeX PhD thesis template for Cambridge University Engineering Department (CUED)
Language:TeX00
dstolfa/scripts
Some useful scripts.
Language:Shell00
dstolfa/vm-bhyve
Shell based, minimal dependency bhyve manager
Language:Shell00