Declarative Amsterdam

Presentations and tutorials

Active filters:

A full implementation of ixml

Giovanni Luigi Amico
Huy Nguyen
David Davitadze
Alex de Beurs
Vasco Roldão

We built an ixml implementation in Rust from scratch. Designed as separate reusable core and CLI packages, this implementation focused on user experience, clear diagnostics and good documentation. Beyond parsing and serialisation, we implemented modularisation, round-tripping, the experimental not and subtraction constructs and developed a static HTML conformance suite viewer. In this presentation, we will share our experiences, design choices, and lessons learned. We will compare support for features beyond ixml 1.0, and present measurements of speed and memory use against other ixml implementations.

Presentation, 13 November 2026

The casper development team consists of five students: Giovanni Luigi Amico, Alex de Beurs, Huy Nguyen, David Davidatze, and Vasco Miguel dos Santos Roldao. The team was created during an internship opportunity given to us during our CSE bachelor at TU Delft.


background Layer 1 prag Twitter_Logo_Blue