Skip to content
View davidhaley's full-sized avatar

Block or report davidhaley

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Tools for publishing transcripts for Claude Code sessions

Python 1,428 153 Updated Feb 12, 2026

AI agents running research on single-GPU nanochat training automatically

Python 71,531 10,450 Updated Mar 26, 2026

OB-Xf is a continuation and modernatization of the last open source release of OB-Xd by 2DaT and later discoDSP. It is inspired by the venerable Oberheim OB-X. Get the nightly https://github.com/su…

C++ 452 28 Updated Apr 8, 2026

Microkit - A simple operating system framework for the seL4 microkernel

Rust 180 72 Updated Apr 10, 2026

Odin 2D game library. Beginner friendly and easy to modify.

Odin 482 34 Updated Apr 13, 2026

A repository of all code from Introduction to System Programming in Linux, by Stewart Weiss

C 442 39 Updated Apr 4, 2026

Personal blog and portfolio

Astro 13 Updated Apr 7, 2026

Native speech-to-text for Linux - Fast, accurate and private system-wide dictation

Python 963 70 Updated Apr 11, 2026

Neovim AI agent done right

Lua 4,513 232 Updated Mar 24, 2026

A homebrew SDK/pseudo-operating system for the Sega Dreamcast. This repository is a mirror of the official SourceForge repository for KOS.

C 582 129 Updated Apr 11, 2026

Go runtime for Dreamcast using gccgo and KOS

C 224 6 Updated Apr 10, 2026

Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font icons for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体,中英文宽度完美2:1,细粒度的自定义选项

Python 25,163 1,005 Updated Apr 5, 2026

A hardware-aware guide to data structures for system software engineers.

1,317 97 Updated Dec 17, 2025

Quick illustration of how one can easily read books together with LLMs. It's great and I highly recommend it.

Python 3,505 445 Updated Nov 18, 2025

Sharp Monocular View Synthesis in Less Than a Second

Python 8,088 581 Updated Dec 19, 2025

Analyzing Hacker News discussions from a decade ago in hindsight with LLMs

Python 599 61 Updated Dec 10, 2025

Make games using Odin + Raylib that work in the browser

Odin 139 12 Updated Feb 14, 2026

The fastest and the most accurate file search toolkit for AI agents, Neovim, Rust, C, and NodeJS

Rust 4,538 187 Updated Apr 10, 2026

Immediate Mode Plotting

C++ 6,030 664 Updated Apr 5, 2026

LLM Council works together to answer your hardest questions

Python 17,017 3,374 Updated Nov 22, 2025

Dotfiles and scripts for my Arch Linux and Hyprland setup

Shell 62 Updated Mar 25, 2026

The best ChatGPT that $100 can buy.

Python 51,759 6,873 Updated Mar 27, 2026

Source code for the X Recommendation Algorithm

Scala 73,001 13,261 Updated Sep 8, 2025

inkwell-spells

44 6 Updated Aug 7, 2025

MonTana state Mini Computer

Java 296 18 Updated Sep 7, 2025

Claude Code IDE integration for Emacs

Emacs Lisp 1,479 93 Updated Apr 2, 2026

gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI

Python 20,001 2,063 Updated Mar 27, 2026

A good looking terminal emulator which mimics the old cathode display...

QML 25,433 971 Updated Mar 19, 2026
Next