Manuel Hatzl

Expert
@mhatzl

mhatzl.github.io/cv/

mantra. Manuels Anforderungs-Tracing

43

spark_unbound. Unbound data structures in Ada-Spark.

13

embedded-runner. Cargo runner for embedded targets using OpenOCD.

10

web_ids. Intrusion Detection System analysing http requests

1

pacemaker. HTML

1

vaton. Formally verified ASCII to number conversion written in Ada/SPARK.

1
6
Apply