Skip to content
View stephenrkell's full-sized avatar

Block or report stephenrkell

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • liballocs Public

    Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s

    C 220 27 Other Updated Dec 31, 2024
  • Helpers for generating descriptions of binaries' ABIs, types, allocation sites and the like

    C++ 4 Other Updated Dec 30, 2024
  • dwarfidl Public

    Language, library and tools for DWARF-described interfaces

    C++ 6 4 Updated Dec 30, 2024
  • libdwarfpp Public

    A high-level API for accessing DWARF debugging information, in C++

    C++ 23 12 Other Updated Dec 30, 2024
  • libsystrap Public

    Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.

    C 59 7 GNU General Public License v3.0 Updated Dec 16, 2024
  • librunt Public

    A minimal basis for LD_PRELOAD-able runtime extensions and similar tools

    C 12 Updated Dec 16, 2024
  • elftin Public

    Rag-bag of utilities and scripts that do strange things with ELF files

    C++ 17 MIT License Updated Dec 16, 2024
  • donald Public

    The Mickey Mouse of dynamic linkers

    C 14 2 Other Updated Dec 16, 2024
  • Composable high-level instrumentation for C libraries' malloc and friends

    C 17 1 Updated Dec 16, 2024
  • mmtk-julia Public

    Forked from mmtk/mmtk-julia

    Julia binding for MMTk

    Rust Updated Nov 27, 2024
  • ptreetime Public

    Profiler of process trees

    C 1 Updated Nov 27, 2024
  • toolsub Public

    Toolchain subversion: utilities for taking back control of C/C++ compilation, assembling, linking

    Shell 5 3 Updated Nov 14, 2024
  • SIGPLAN website

    HTML Updated Nov 7, 2024
  • C++ helpers for using ANTLR3 parsers and trees

    C++ 1 2 Updated Sep 11, 2024
  • libcrunch Public

    A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.

    OCaml 102 5 Updated Sep 11, 2024
  • dbgcov Public

    Enumerate which source lines should be covered by debug info

    C++ 5 1 Updated Jul 1, 2024
  • cil Public

    Forked from cil-project/cil

    C Intermediate Language

    OCaml 3 3 Other Updated May 3, 2024
  • Unix-y tools for submission and feedback on/of assessed work

    C 1 Updated Feb 11, 2024
  • libdlbind Public

    Dynamic creation and update of ELF files, or: an allocator for JIT compilers

    C 32 1 Updated Jan 3, 2024
  • infos Public

    Forked from tspink/infos

    The School of Informatics (University of Edinburgh) Research Operating System

    C++ MIT License Updated Dec 30, 2023
  • libsrk31cxx Public

    Stephen's rag-bag of C++ utilities

    C++ 4 2 Updated Jul 13, 2023
  • libcxxgen Public

    Help for those foolish enough to want to generate C++ code.

    C++ 2 1 Updated Jun 29, 2023
  • infos-user Public

    Forked from tspink/infos-user

    School of Informatics (University of Edinburgh) Research Operating System User-space

    C++ MIT License Updated Feb 19, 2023
  • xv6-public Public

    Forked from mit-pdos/xv6-public

    xv6 OS

    C 68 Other Updated Apr 8, 2022
  • sysfoot Public

    Trace userland memory accesses made by Linux/FreeBSD kernels, and check them against a spec

    C 2 Updated Feb 25, 2022
  • nand2tetris Public

    Stephen's lightly modified version(s) of the Nand to Tetris software open-source release

    Java Updated Oct 5, 2021
  • gramorip Public

    Interactive track-splitting tool useful when recording from vinyl; based on Gramofile

    C GNU General Public License v2.0 Updated Mar 30, 2021
  • hacktools Public

    Tools related to the nand2tetris Hack system

    Makefile Updated Dec 15, 2020
  • m4ntlr Public

    M4 macros for building language-independent ANTLR grammars

    M4 Updated Dec 15, 2020
  • Keir Fraser's x86-on-x86 emulator from the Xen hypervisor, hacked in various ways (currently for decode-only operation)

    C 4 1 GNU General Public License v2.0 Updated Apr 7, 2020