MiniDox Keyboard, PCB files

Firmware for the ErgoDox keyboard

A Scheme that compiles to wasm

Container Scalability Benchmarking Framework

A command-line interface for Hetzner Cloud

A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if you used our resource.

IRC-to-Slack gateway

lightning talk about a popular ai gateway

Pure Go R7RS Scheme — embeddable interpreter with hygienic macros, first-class continuations, and sandboxing

Convert Mbox mailboxes to Maildir format

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

ninja-compatible build tool written in C

List of terminal emulators that support hyperlinks (OSC 8 escape sequences).

hex-dump-type utility xxd

Public domain POSIX make

A library mocking all instrumentation functions from TSAN

Rust Bindings for Dice: A lightweight, extensible framework for capturing execution events of multithreaded programs

A tiny template preprocessor

gdb integration plugin

Connect to your mattermost or slack using your IRC-client of choice.

Command-line client for OpenAI APIs

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.