- 🔭 Interested in programming language design
- ✍️ 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
-
16:23
(UTC +02:00) - shilangyu.dev
- u/k4kshi
Highlights
- Pro
Block or Report
Block or report shilangyu
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
-
-
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.