Explore projects

A compiler for documents in the hybrid document format.

Memory Model Mapper

A set of components to build a HDF reader webapp.

An implementation of the buffer protocol for unicode strings.

The JANI front-end module for the LTSmin toolset

Examples of my lecture on fearless concurrency with Rust.

A template for LLNCS papers with GitLab CI integration.