Stephen Kell stephenrkell

Pinned repositories

1. liballocs

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

   C 85 7

2. libcrunch

   Tools and runtime for dynamic checking (mostly of C code, for now)

   OCaml 46 2

3. trap-syscalls

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

   C 25 3

4. libdwarfpp

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

   C++ 6 6

5. libdlbind

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

   C 5

6. linksem

   Executable semantics of linking (ELF static linking only, for now). This repository is archived -- see https://github.com/rems-project/linksem for the live version.

   Standard ML 1 2