Mirror of my from-scratch x86_64 UNIX-like OS.

A practical hacker's guide to the C programming language.

Multi-language TUI debugger with custom layouts

A GDB frontend for Lïnux.

A big ol' pile of bitmap fonts in raw binary format, for use w/Fontraption font editor (and anywhere else)

App to bypass censorship on Android

Load Source games maps as combined meshes correctly positioned relative to each other

🚀 AsmX - lang programming

lsp-mode ❤️ haskell

Emacs mode for Haskell

This repo is the new home of Proof General

Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError

agda-mode for neovim

A proof of concept OS kernel written in Go