mhatzl Goto Github PK

.github

Fallback repository for issue and pull request templates

alire-index

Community index for the Alire project

aoc2022

Advent of Code 2022

crate-dep-test

embedded-runner

Cargo runner for embedded targets using OpenOCD.

evident

Custom pub/sub for Rust applications.

evident-wiki

Wiki for evident

gps_alire

Plugin for GNAT studio to load environment variables of alire projects

graphdrawing

Graph Analysis and Drawing Library - Grad

logid

Rust logging framework using IDs to identify log entries.

logtraid

Usage examples for log, tracing, and logid crates.

mantra

Manuels Anforderungs-Tracing

mantra-wiki

Wiki for the mantra project.

min_missing

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

mnist-boone-tt

A simple MNIST data reader in pure Java

probe-rs

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

project-repo-template

Repository template for software projects.

simulation_intro_desmoj

Intro into discrete simulation using desmoj

spark_unbound

Unbound data structures in Ada-Spark.

vaton

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

web_ids

Intrusion Detection System analysing http requests

wiki-repo-template

Repository template to manage GitHub wikis.