mhatzl/logid mhatzl/logid

  • Stars
    star
    1
  • Language
    Rust
  • License
    MIT License
  • Created over 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mhatzl/logid
github

mhatzl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Rust logging framework using IDs to identify log entries.

More Repositories

1

spark_unbound

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

web_ids

Intrusion Detection System analysing http requests
JavaScript
1
star
3

evident

WIP events.
Rust
1
star
4

embedded-runner

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

vaton

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

gps_alire

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

simulation_intro_desmoj

Intro into discrete simulation using desmoj
HTML
1
star
8

.github

Fallback repository for issue and pull request templates
1
star
9

AoC2022

Advent of Code 2022
Ada
1
star
10

min_missing

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

mantra

Manuels Anforderungs-Tracing
HTML
1
star