Explore projects

Web site of the Guix-HPC effort.

Web site of the Guix-HPC effort.

This repository is a one-time import from https://git.tobast.fr/tobast/phd-defense; for archival purposes.

Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).