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