A reference library for constraint-solving with propagators and CDCL.

Collection of quotes on notation design & how it affects thought.

Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand

Nix Packages collection & NixOS

A community driven list of useful Emacs packages, libraries and other items.

📚 Freely available programming books

Minimalistic Markdown viewer/converter with built-in Css stylesheets support.

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

Retro groove color scheme for Vim

A Blender script to procedurally generate 3D spaceships

Torch implementation of neural style algorithm