Lib.rs
›
Users
#
rtlola
#
verification
#
front-end
#
monitoring
#
interpreter
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
FlorianKohn
,
jabaum
,
yannikschn
Schwenger created 8 crates
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 a year ago.
rtlola-interpreter
Founded in Jul 2020. Last updated a year ago.
rtlola_kotlin_bridge
Founded in Sep 2021. Last updated 2 years ago.
rusttyc
Sole owner since Jan 2020. Last updated 2 years ago.