catern Goto Github PK

nixpkgs

Nix Packages collection

notes

opensmtpd

This is a *MIRROR* of the OpenSMTPD repository, but feel free to fork and submit pull requests !

order_entry_servers

pdns

PowerDNS

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

public_html

My site at http://catern.com

pyopenssl

A Python wrapper around the OpenSSL library

rfcs

The Nix community RFCs

rsyscall

Process-independent interface to Linux system calls

sans-io

Network protocol implementations in Python, sans I/O

sf

Mirror of Software Foundations in PDF

sfork

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

sicp-ch5-clj

sovereign

A set of Ansible playbooks to build and maintain your own private cloud: email, calendar, contacts, file sync, IRC bouncer, VPN, and more.

spacemacs

Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

supervise

A minimal unprivileged process supervisor making use of modern Linux features

trio

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

unixcc

youtube-dl

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

youtube-dl-1

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