- Cambridge / London, United Kingdom
- http://humprog.org/~stephen
- @stephenrkell@recurse.social
- @stephenrkell
-
liballocs Public
Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
-
liballocstool Public
Helpers for generating descriptions of binaries' ABIs, types, allocation sites and the like
-
dwarfidl Public
Language, library and tools for DWARF-described interfaces
-
libdwarfpp Public
A high-level API for accessing DWARF debugging information, in C++
-
libsystrap Public
Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
-
librunt Public
A minimal basis for LD_PRELOAD-able runtime extensions and similar tools
-
elftin Public
Rag-bag of utilities and scripts that do strange things with ELF files
-
-
libmallochooks Public
Composable high-level instrumentation for C libraries' malloc and friends
-
-
-
toolsub Public
Toolchain subversion: utilities for taking back control of C/C++ compilation, assembling, linking
-
SIGPLAN.github.io Public
Forked from SIGPLAN/SIGPLAN.github.ioSIGPLAN website
HTML UpdatedNov 7, 2024 -
-
libcrunch Public
A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
-
dbgcov Public
Enumerate which source lines should be covered by debug info
-
-
autofeedback Public
Unix-y tools for submission and feedback on/of assessed work
-
libdlbind Public
Dynamic creation and update of ELF files, or: an allocator for JIT compilers
-
infos Public
Forked from tspink/infosThe School of Informatics (University of Edinburgh) Research Operating System
C++ MIT License UpdatedDec 30, 2023 -
-
libcxxgen Public
Help for those foolish enough to want to generate C++ code.
-
infos-user Public
Forked from tspink/infos-userSchool of Informatics (University of Edinburgh) Research Operating System User-space
C++ MIT License UpdatedFeb 19, 2023 -
-
sysfoot Public
Trace userland memory accesses made by Linux/FreeBSD kernels, and check them against a spec
-
nand2tetris Public
Stephen's lightly modified version(s) of the Nand to Tetris software open-source release
Java UpdatedOct 5, 2021 -
gramorip Public
Interactive track-splitting tool useful when recording from vinyl; based on Gramofile
C GNU General Public License v2.0 UpdatedMar 30, 2021 -
-
-
libx86emulate Public
Keir Fraser's x86-on-x86 emulator from the Xen hypervisor, hacked in various ways (currently for decode-only operation)