frolicking
Software Engineer. CS @ TUM
-
Technical University of Munich
- Munich, Germany
-
04:47
(UTC +01:00) - https://lukaskollmer.de
- @lukas_kollmer
Highlights
Pinned Loading
-
Apodini/Apodini
Apodini/Apodini PublicApodini - A declarative, composable server-side Swift framework
-
advent-of-code
advent-of-code PublicAdvent of Code solutions, in OCaml and (sometimes) Isabelle/HOL
OCaml 1
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.