PhD student at @se-tuebingen.
Interested in effect and coeffect systems.
-
University of Tübingen, @se-tuebingen
- Tübingen, Germany
-
06:38
(UTC +01:00) - https://jiribenes.com
- @jiribenes_
- @[email protected]
Highlights
- Pro
Pinned Loading
-
effekt-lang/effekt
effekt-lang/effekt PublicA language with lexical effect handlers and lightweight effect polymorphism
-
-
kasiopea-org/pisek
kasiopea-org/pisek PublicTool for developing tasks for programming competitions.
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.