An axiom-free formalization of category theory in Coq for personal study and practical work

eXist-db Notebook

A black letter for the text editor

A Gradle plugin to ease the creation of XAR packages

Standalone XQDoc generator using eXist-db's hand-written XQuery lexer. Supports XQuery 3.1, 4.0, XQUF, XQFT. Zero dependencies, 39KB JAR.

Musikalisches Gelegenheitsgeschäft

A Gradle plugin for executing XSpec tests

VOOG — Virtual Analog Synthesizer (Moog-style polyphonic synth with GUI)

A pure Rust reimplementation of libxml2

A more modern man page viewer for our terminals

multiple implementations of Conway's Game of Life

KDL Parser for the JVM

A new application generator for TEI Publisher

Main engine of the IronCalc ecosystem

Just a bunch of random functions

A fork of Calibre called Clbre, because the AI is stripped out.

eXist-db JMS based messaging and document replication extension (JMS based)

Document XQuery source code, with a focus on annotations

The source code of the SKVR database

A library for the Airtable REST API and Metadata API, using XQuery

👑 REx Parser Generator

Prettier plugin for XQuery formatting

XPath, XSLT

🤪 A list of funny and tricky JavaScript examples

Demo Applications for eXist

⬛️ CLI tool and library for saving complete web pages as a single HTML file

Invisible XML