Modern, PEP 517 compliant build backend for creating Python packages with extensions built using CMake.

Dockerfile and etc for a Wordpress docker image

Library for lifting machine code to LLVM bitcode

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)

Libre Hardware Monitor is free software that can monitor the temperature sensors, fan speeds, voltages, load and clock speeds of your computer.

Shell script compiler

A curated list of projects related to the reMarkable tablet

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

qpdf: A content-preserving PDF document transformer

A Python library for reading and writing PDF, powered by QPDF

Visualizer for Valgrind Massif data files

vimspector - A multi-language debugging system for Vim

regular expression library

Simple recursive inotify watches for Python.

A minimal implementation of Vulkan ray tracing.

OpenGL text using one vertex buffer, one texture and FreeType

Python+Numpy+OpenGL: fast, scalable and beautiful scientific visualization

tcpkill with IPv6 support

F´ - A flight software and embedded systems framework