projectors

Java Event Store implementation

JVC Integration for Home Assistant

CineTV is a comprehensive Android TV launcher that optimizes your TV to deliver the maximum cinema experience allowed by its hardware and your internet speed, clears all performance-reducing elements, and has dozens of features like managing it directly from your phone, full-capacity voice command routing, and movie scanning with AI.

VJ toolkit for multiple projectors, prompt-generated ambient visualisations and projection mapping.

Lean 4 proofs of the finite projector algebra behind 'The Ledger Outlives the Metric': projector tangents, the signed metric, the reciprocal determinant, the local overlap cap and the projector-overlap Taylor bridge.

Lean 4 proofs of the finite feedback algebra behind 'Universal Projector Geometry': [H, P] = 0 exactly when the coupling block B = 0, and the commutator, redistribution operator and memory Gram BBᵀ vanish together.

Mobile app to wirelessly control spotlights, built with the Kivy Python framework

Projects for controlling and calibrating the HTW CAVE projectors

Tool for creative visualisation and realtime 2D/3D animation of data (CSV, JSON files) as pretty graphs. Literally eyecandy for projections, use appropriately.

Lean 4 proofs of the exact algebra of 'What Transport Keeps': conserved pairings, the Catalan cancellation and its certificates, the reconstructed Catalan matrix field, and stress, projector and boundary-response identities.

Send a command to multiple NEC video projectors

Lightweight web wrapper to control video projectors

TimeProtocol is a simple but complete implementation of RFC868

Lean 4 proofs of the bridges in 'The Operator-First Relational Atlas' that are graded THEOREM and whose content is finite algebra.

Resource map for Better Buy Lab projector, home theater, screen size, dark-room setup, and TV vs projector buying decisions.

Modern solutions retrofitted to retro slide projectors. See the Wiki page for details!

Lean 4 proofs of the exact finite results of 'The Price of a Direction': two unit directions at angle θ overlap as cos²θ and separate by sin²θ, trackability thresholds, and what survives when two directions coalesce.

In Focus Systems — independent third-party profile of a public API surface, by API Evangelist. In Focus Systems, Inc. (later InFocus Corporation, and today marketed as InFocus) is an audiovisual technology company founded in 1986 in Oregon by Steve Hix and Paul Gulick, both formerly of Tektronix.

Lean 4 proofs for 'Intrinsic Emergent Transport Geometry': off-diagonality of projector commutators, first variation of the trace-log ledger, the projector–metric correspondence, and subspace overlap as a squared Frobenius norm.