Lib.rs
›
Users
#
rt-lola
#
monitoring
#
verification
#
interpreter
frsche
Frederik Scheerer
Joined crates-io 2 years ago. Joined GitHub 8 years ago.
GitHub
crates.io
Maintainer dashboard
Shares crates with
jabaum
,
FlorianKohn
,
Schwenger
frsche created 4 crates
rtlola2solidity
‼️
Founded in May 2025. Last updated 8 months ago.
rtlola2rust
Founded in May 2025. Last updated 8 months ago.
rtlola-streamir-interpreter
Founded in May 2025. Last updated 8 months ago.
rtlola-streamir
Founded in May 2025. Last updated 8 months ago.
Co-owns 5 crates
rtlola-interpreter
Member since Jun 2024 (2 years)
rtlola-cli
Member since Jun 2024 (2 years)
rtlola-frontend
Member since Jun 2024 (2 years)
rtlola-hir
Member since Jun 2024 (2 years)
rtlola-input-plugins
Unmaintained. Member since Jun 2024