🎉
-
Technische Universität Dresden
- Dresden, Germany
- marcusrossel.com
Block or Report
Block or report marcusrossel
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
lf-lang/reactor-model
lf-lang/reactor-model PublicA Lean-based formalization of the Reactor model.
Lean 5
-
-
data-field
data-field PublicA SwiftUI view that wraps a text field to only accept specific data.
Swift 13
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.