Lib.rs
›
Users
#
rt-lola
#
monitoring
#
front-end
#
verification
#
interpreter
Schwenger
Maximilian Schwenger
Joined crates-io 5 years ago. Joined GitHub 11 years ago.
GitHub
crates.io
Home (mschwenger.de)
Maintainer dashboard
Member of GitHub orgs
reactive-systems
,
HouseOfTweets
Shares crates with
jabaum
,
FlorianKohn
,
frsche
,
yannikschn
Schwenger created 8 crates
rtlola-interpreter
Founded in Jul 2020. Last updated 10 months ago.
rtlola-frontend
Founded in Jul 2020. Last updated 10 months ago.
rtlola-hir
Founded in Apr 2021. Last updated 10 months ago.
rtlola-parser
Founded in Apr 2021. Last updated 10 months ago.
rtlola-reporting
Founded in Apr 2021. Last updated 10 months ago.
rtlola-macros
Founded in Mar 2021. Last updated 2 years ago.
rtlola_kotlin_bridge
Founded in Sep 2021. Last updated 3 years ago.
rusttyc
Sole owner since Jan 2020. Last updated 3 years ago.