Lib.rs

› Users #verification #rtlola #monitoring

jabaum

Jan Baumeister

Joined crates-io 2 years ago. Joined GitHub 7 years ago.

GitHub
crates.io
Home (react.uni-saarland.de)
Maintainer dashboard

Shares crates with

FlorianKohn, Schwenger

Co-owns 8 crates

rtlola-interpreter

Member since Mar 2021 (2 years)
rtlola-reporting

Member since Aug 2021 (2 years)
rtlola-parser

Member since Apr 2021 (2 years)
rtlola-frontend

Member since Mar 2021 (2 years)
rtlola-hir

Member since Apr 2021 (2 years)
rtlola-cli

Member since Feb 2023 (7 months)
rtlola-input-plugins

Member since Feb 2023 (7 months)
rtlola-macros

Member since Feb 2023 (7 months)

Based on data from crates.io, GitHub, rustaceans.org, and other public sources. These pages are automatically generated for crates-io owners, and do not imply endorsement by either the Rust Project nor the users presented here.

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski.