The best screen recorder for linux. Create beautiful recordings with cursor smoothing/smearing, auto follow/zoom, and tons of effects. Zero-copy. Gpu accelerated. Realtime.

A Wayland-native logout script written in GTK4

A mirror of ISM OSCAL documents. The authoritative source can be found at https://www.cyber.gov.au/ism/oscal.

A Wayland kiosk

Gambit is an efficient implementation of the Scheme programming language.

Illegal rust

Abstraction layer over Khronos Vulkan API

A repository that helps users get affinity software working on GNU/Linux 🐧

A security auditor for Tailscale configurations. Scans your tailnet for misconfigurations, overly permissive access controls, and security best practice violations.

GPU accelerated decision optimization

NVIDIA Linux open GPU kernel module source

🔒 A compiled checklist of 300+ tips for protecting digital security and privacy in 2026

A tool for writing better scripts

Modern CLI scripts made easy.

Rasdaemon is a RAS (Reliability, Availability and Serviceability) logging tool. It records memory errors, using the EDAC tracing events. EDAC is a Linux kernel subsystem with handles detection of E…

Linux kernel machine check handling middleware

My dotfiles

Single source file FBX loader

Thunder Engine – Cross-platform 2D and 3D game engine with modular architecture

Open Source realtime backend in 1 file

An LLVM interface for Lean 4. (WIP)

Lean 4 interface to Eigen

Fast and lightweight x86/x86-64 disassembler and code generation library

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…

Executable Knowledge Graphs for Replicating AI Research

An extension of Fabrice Bellard's TinyGL project

Runtime C compilation using Fabrice Bellard's Tiny C Compiler

The Lobster Programming Language

On-device TTS model by Neuphonic