Stars
Embeddable R7RS Scheme interpreter for Go — bytecode compiler, stack VM, hygienic macros
A Small, Extensible DPOR-based Model Checker for C Programs
static-linked versions of clang tools for Linux, Mac OS X and Windows, available in AUR as clang-format-static-bin
List of terminal emulators that support hyperlinks (OSC 8 escape sequences).
A library mocking all instrumentation functions from TSAN
Rust Bindings for Dice: A lightweight, extensible framework for capturing execution events of multithreaded programs
Connect to your mattermost or slack using your IRC-client of choice.
A PS/2 mouse & trackpoint driver module for keyboards running the zmk firmware
Automatic conversion of the NetBSD pkgsrc CVS module, use with care
smolBSD is a tiny BSD UNIX (NetBSD) system creation tool, primarily aimed at building modern, lightweight, fast micro VMs
An robust high-level Defer, RAII implementation for C89, automatic memory safety, smartly!
A simple network packet analyzer using libpcap, supporting both real-time and offline analysis with ASCII visualization.
The development version of the L4Re Microkernel
A lightweight, extensible framework for capturing execution events of multithreaded programs
Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, and post-processing software. Output is HTML/SVG per-CPU-core …