Pinned Loading

1. liballocs liballocs Public

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

   C 218 26

2. libcrunch libcrunch Public

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

   OCaml 101 4

3. libsystrap libsystrap Public

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

   C 59 7

4. libdwarfpp libdwarfpp Public

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

   C++ 23 12

5. libdlbind libdlbind Public

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

   C 32 1

6. linksem linksem Public archive

   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