magic-trace collects and displays high-resolution traces of what a process is doing

Programming language for literate programming law specification

A Rust verification tool

llpp original source code before it turned to protestware. NOTE: changes are made on the "latest" branch, master is locked and remains as it was.

opengl accelerated pdf viewer based on mupdf; was abandoned by the original developer in 2022; original source at https://repo.or.cz/llpp.git