Tensor library for machine learning

InstructLab Command-Line Interface. Use this to chat with a model and execute the InstructLab workflow to train a model using custom taxonomy data.

Example code for tracing IRQs in Linux kernel

eBPF-based Networking, Security, and Observability

A tool like /bin/ps but uses /proc/kcore for walking the tasklist; this finds hidden processes

A rewrite of YARA in Rust.

Marrying Rust and CMake - Easy Rust and C/C++ Integration!

Type-safe high-level ORM for Postgres

UTF-8 with C++ in a Portable Way

C++ Abstract Algebra Library

Develop EFI applications for ARM-64, ARM-32, x86_64, IA-64 (IPF), IA-32 (x86), and MIPS platforms using the GNU toolchain and the EFI development environment.

SQLite JDBC Driver

Open source Linux distro optimized for self-hosting

Scala 3 native binding generator + libclang facade

Scala Native Improvement Proposals

A tool uses Windows Filtering Platform (WFP) to block Endpoint Detection and Response (EDR) agents from reporting security events to the server.

Easier keyboard navigation. No mouse needed to click on links and stuff.

SysFlow collection probe

Mathlib search tool

A Firefox extension that adds keyboard shortcuts to switch tabs with Super+Number

A Firefox extension that adds keyboard shortcuts to switch tabs with Ctrl+Number

SampCert : Verified Differential Privacy

🌐 | HTTP primitives for Lean 4

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting