Pinned Repositories
bashcc
blog
The repo for my site is now at https://github.com/catern/public_html
c0-mode
dotfiles
My dotfiles
nix-utils
things I will upstream to nixpkgs/nix soon
public_html
My site at http://catern.com
rsyscall
Process-independent interface to Linux system calls
sfork
A synchronous, single-threaded interface for starting processes on Linux
sovereign
A set of Ansible playbooks to build and maintain your own private cloud: email, calendar, contacts, file sync, IRC bouncer, VPN, and more.
supervise
A minimal unprivileged process supervisor making use of modern Linux features
catern's Repositories
catern/rsyscall
Process-independent interface to Linux system calls
catern/supervise
A minimal unprivileged process supervisor making use of modern Linux features
catern/sfork
A synchronous, single-threaded interface for starting processes on Linux
catern/dotfiles
My dotfiles
catern/public_html
My site at http://catern.com
catern/nix-utils
things I will upstream to nixpkgs/nix soon
catern/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
catern/agda
Agda is a dependently typed programming language / interactive theorem prover.
catern/Cataclysm-DDA
Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.
catern/codeium.el
catern/company-mode
Modular in-buffer completion framework for Emacs
catern/crawl
Dungeon Crawl: Stone Soup official repository
catern/dune
A composable build system for OCaml.
catern/emacs
Mirror of GNU Emacs
catern/emacs-websocket
A websocket implementation in elisp, for emacs.
catern/gym
A toolkit for developing and comparing reinforcement learning algorithms.
catern/iqueue
catern/keycast
Show current command and its key in the mode line
catern/list-projects
catern/mb
catern/merlin
Context sensitive completion for OCaml in Vim and Emacs
catern/nixpkgs
Nix Packages collection
catern/notes
catern/order_entry_servers
catern/pdoc
:snake: :arrow_right: :scroll: Auto-generate API documentation for Python projects
catern/pi-forall
A demo implementation of a simple dependently-typed language
catern/plfa.github.io
An introduction to programming language theory in Agda
catern/sf
Mirror of Software Foundations in PDF
catern/trio
Trio – a friendly Python library for async concurrency and I/O
catern/youtube-dl-1
Command-line program to download videos from YouTube.com and other video sites