- 🔭 Interested in programming language theory
- ✍️ Hacking in
main.{ts,tsx,rs,jl,go,py,dart,kk}
- 🌱 Currently learning Lean, Coq, Scala, and Swift
- 💬 Ask me about Pokémon
- 🔜 Effect systems is the future
- 🤖 Soon to be a cyborg
🗿
I have no idea what I am doing
I like mixing math with computer science
- Lausanne, Switzerland
-
19:05
(UTC +01:00) - shilangyu.dev
- u/k4kshi
Highlights
- Pro
Pinned Loading
-
-
-
-
-
tjpalmer/languish
tjpalmer/languish PublicLanguish, a web page for exploring programming language trends
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.