Lists (5)
Sort Name ascending (A-Z)
Starred repositories
A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.
Autonomous agent substrate for Claude Code CLI. Research→Plan→Implement workflows with quality gates, TDD enforcement, and multi-agent coordination. 4.8-5.5x faster development. Built on Anthropic…
Lean 4 programming language and theorem prover
Scripts for setting up and running MSVC in Wine on Linux
Versatile typeface for code, from code.
A modern static site generator by the Material for MkDocs team
Minimal example of directly talking to the X Server instead of using a library like xlib or xcb.
A cross-platform x86 assembler with an Intel-like syntax
Python bindings for FFmpeg - with complex filtering support
Complete cross platform games development package, originally for DOS but now available on modern platforms.
A C compiler that tries to eliminate the need for header files as much as possible.
Minimal, flexible & user-friendly X tiling window manager
A lightweight toolset for writing styles in JavaScript ✨
A native, user-mode, multi-process, graphical debugger.
tall, condensed, bitmap font for geeks
Functional reactive programming library for TypeScript and JavaScript
