Manuel Hatzl (@mhatzl)
github

mhatzl

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    15
  • Global Rank 765,281 (Top 27 %)
  • Followers 14
  • Following 34
  • Registered over 5 years ago
  • Most used languages
    Ada
         36.4 %
    Rust
         27.3 %
    HTML
         18.2 %
    Python
         9.1 %
    JavaScript
         9.1 %

Top repositories

1

spark_unbound

Unbound data structures in Ada-Spark.
Ada
11
star
2

logid

Rust logging framework using IDs to identify log entries.
Rust
1
star
3

web_ids

Intrusion Detection System analysing http requests
JavaScript
1
star
4

evident

WIP events.
Rust
1
star
5

embedded-runner

Cargo runner for embedded targets using OpenOCD.
Rust
1
star
6

vaton

Formally verified ASCII to number conversion written in Ada/SPARK.
Ada
1
star
7

gps_alire

Plugin for GNAT studio to load environment variables of alire projects
Python
1
star
8

simulation_intro_desmoj

Intro into discrete simulation using desmoj
HTML
1
star
9

.github

Fallback repository for issue and pull request templates
1
star
10

AoC2022

Advent of Code 2022
Ada
1
star
11

min_missing

Formally proven algorithm to find the minimal missing natural number of an unsorted array in O(n) time.
Ada
1
star
12

mantra

Manuels Anforderungs-Tracing
HTML
1
star