Some readings for art theory and more

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

PEG HTML/XML parser

Safe, fast, small crypto using Rust

Textures.js is a JavaScript library for creating SVG patterns

Fiona reads and writes geographic data files

Parsley is a simple language for extracting structured data from web pages. Parsley consists of an powerful selector language wrapped with a JSON structure that can represent page-wide formatting.

a C read-eval-print loop (abandoned)