Small wrappers that don't fit anywhere else.

A compact, efficient Prolog interpreter written in plain-old C.

Select a region and yank a URL to create a link

A single-file starting point for your Emacs configuration

Django starter project with 🔋

Identify songs in seconds

Guix channel featuring assorted packages.

A project that packages Agda as a Python package.

Rudimentary Tempel translation of YASnippet, based on tempel-collection.

Common Lisp bindings for the Z3 SMT solver's C API

Elegantly record your screen

Developer environments you can take with you

Read alignment statistics for metagenomics

Copying Collector port of baby's first garbage collecotr

A modern Prolog implementation written mostly in Rust.

Ready-to-deploy terraform example for elestio

interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)

Active development of Cuis Smalltalk

The FSRS algorithm in 100 lines of Rust.