Optimise the sound of your headphones and speakers

virtual lisp machine on Arm64 macOS

Academic Research Skills for Claude Code: research → write → review → revise → finalize

AI coding agent skills for KiCad electronics design. Works with Claude Code and OpenAI Codex. Analyze schematics, review PCB layouts, EMC pre-compliance, SPICE simulation, download datasheets, sour…

Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local

An expressive, semi-modular, and comprehensive physical modeling/waveguide synthesizer.

a rust-native Modelica compiler for fast, composable, scientific computing

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

Tiny ML, Rust types, and category theory, executable structure, not AI magic.

A new type of shell

ZigBeam: Reusable building blocks for high-performance concurrency and parallel computing

🐍 Complete C99 parser in pure Python

A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

Crowbar + Alcotest

Rust wrapper for Ableton Link

A Toolkit for Programming Parallel Algorithms on Shared-Memory Multicore Machines

OpenType vertical metrics reporting and font line spacing adjustment tool

Dissecting the Duck's Innards — A DuckDB-based course on the Design and Implementation of Database System Internals

Chowdhury DSP Wave Digital Filters Library

High Performance Inter-Thread Messaging Library

Terminal emulator powered by libghostty

If you build software, keep a changelog.

An actor-model multi-core scheduler for OCaml 5 🐫

将冰冷的离别化为温暖的 Skill，欢迎加入数字生命1.0！Transforming cold farewells into warm skills? It's giving rebirth era. Welcome to Digital Life 1.0. 🫶

把前任蒸馏成 AI Skill，用ta的方式跟你说话。

Safe Rust bindings for GNU Guile

Lists of company wise questions. Every csv file in the companies directory corresponds to a list of questions on leetcode for a specific company based on the leetcode company tags. Updated as of 20…

Customizable license key patcher for Ableton Live with an auto installation search & keygen