Lib.rs
›
Users
#
verification
#
rtlola
#
monitoring
#
frontend
FlorianKohn
Florian Kohn
Joined crates-io 2 years ago. Joined GitHub 3 years ago.
GitHub
crates.io
Home (react.uni-saarland.de)
Maintainer dashboard
Shares crates with
Schwenger
,
jabaum
FlorianKohn created 2 crates
rtlola-cli
Founded in Dec 2022. Last updated 9 months ago.
rtlola-input-plugins
Founded in Dec 2022. Last updated 9 months ago.
Co-owns 6 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-macros
Member since Feb 2022 (2 years)