Lib.rs
›
Users
#
verification
#
rt-lola
#
monitoring
#
front-end
#
intermediate-representation
Schwenger
Maximilian Schwenger
Joined crates-io 4 years ago. Joined GitHub 10 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 3 months ago.
rtlola-frontend
Founded in Jul 2020. Last updated 3 months ago.
rtlola-hir
Founded in Apr 2021. Last updated 3 months ago.
rtlola-parser
Founded in Apr 2021. Last updated 3 months ago.
rtlola-reporting
Founded in Apr 2021. Last updated 3 months ago.
rtlola-macros
Founded in Mar 2021. Last updated 2 years ago.
rusttyc
Sole owner since Jan 2020. Last updated 2 years ago.
rtlola_kotlin_bridge
Founded in Sep 2021. Last updated 3 years ago.