Lib.rs
›
Users
#
rt-lola
#
verification
#
monitoring
#
interpreter
#
front-end
FlorianKohn
Florian Kohn
Joined crates-io 3 years ago. Joined GitHub 4 years ago.
GitHub
crates.io
Home (react.uni-saarland.de)
Maintainer dashboard
Shares crates with
Schwenger
,
jabaum
,
frsche
FlorianKohn created 4 crates
rtlola-cli
Founded in Dec 2022. Last updated 4 months ago.
rtlola-io-plugins
Sole owner since Jul 2024. Last updated 4 months ago.
rtlola-interpreter-macros
Sole owner since Jul 2024. Last updated 4 months ago.
rtlola-input-plugins
Unmaintained. Founded in Dec 2022.
Co-owns 6 crates
rtlola-interpreter
Member since Mar 2021 (3 years)
rtlola-frontend
Member since Mar 2021 (3 years)
rtlola-reporting
Member since Aug 2021 (3 years)
rtlola-parser
Member since Apr 2021 (3 years)
rtlola-hir
Member since Apr 2021 (3 years)
rtlola-macros
Member since Feb 2022 (2 years)