Explore projects

A simpler version of tyxml

Implementations of the union-find data structure

Implementations of the union-find data structure

Mapping a tensor to a lower-dimensional tensor, optionally permuting its dimensions. This project strives to generate loop iterating over these structures.

A modeling of the Encrypted Client Hello Message extension for TLS

A regular verification framework based on Tree Automata and Term Rewriting Systems.

Formalizations accompanying my thesis "Extending Type Theory with Syntactical Models".

Tool for timed automata verification and robustness analysis

Fork of https://github.com/smtcoq/smtcoq.

Store and explore databases of ancient inscriptions in Linear A