Manuel Hatzl (@mhatzl)
github

mhatzl

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Rank 814,989 (Top 29 %)
  • Followers 13
  • Following 33
  • Registered about 5 years ago
  • Most used languages
    Ada
         40.0 %
    Rust
         20.0 %
    HTML
         20.0 %
    JavaScript
         10.0 %
    Python
         10.0 %

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

mantra

Manuels Anforderungs-Tracing
HTML
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