Big fan of Functional Programming, Scala, Idris.
Passionate about meditation and neuroscience.
- Regensburg, Germany
-
05:36
(UTC +02:00)
Highlights
- Pro
Stars
Programming Languages
12 repositories
A massively parallel, high-level programming language
Next Generation Visual Programming System
A massively parallel, optimal functional runtime in Rust
Compiler front-end foundation technology.
Darklang main repo, including language, backend, and infra
Lean 4 programming language and theorem prover
A functional programming language with static memory management