catern

rsyscall

Process-independent interface to Linux system calls

supervise

A minimal unprivileged process supervisor making use of modern Linux features

sfork

A synchronous, single-threaded interface for starting processes on Linux

dotfiles

My dotfiles

public_html

My site at http://catern.com

nix-utils

things I will upstream to nixpkgs/nix soon

Adv360-Pro-ZMK

Production repository for the all-new Advantage360 Professional using ZMK engine

agda

Agda is a dependently typed programming language / interactive theorem prover.

Cataclysm-DDA

Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.

cockpit

There's code a goin' on

codeium.el

company-mode

Modular in-buffer completion framework for Emacs

crawl

Dungeon Crawl: Stone Soup official repository

dune

A composable build system for OCaml.

emacs

Mirror of GNU Emacs

emacs-websocket

A websocket implementation in elisp, for emacs.

gym

A toolkit for developing and comparing reinforcement learning algorithms.

iqueue

list-projects

mb

merlin

Context sensitive completion for OCaml in Vim and Emacs

nixpkgs

Nix Packages collection

notes

order_entry_servers

pdoc

:snake: :arrow_right: :scroll: Auto-generate API documentation for Python projects

pi-forall

A demo implementation of a simple dependently-typed language

plfa.github.io

An introduction to programming language theory in Agda

sf

Mirror of Software Foundations in PDF

trio

Trio – a friendly Python library for async concurrency and I/O

youtube-dl-1

Command-line program to download videos from YouTube.com and other video sites