Programmer interested in programming languages and formal methods
-
Oracle Labs
- Lausanne, Switzerland
- https://fengy.me
Kiru
kiru
Some of my projects:
FlashDictation.com
mathlegame.com /
reversle.net
kiru.io
learnle.net
Lausanne, Switzerland
David Kozak
d-kozak
Passionate software engineer interested in programming languages - their design, analysis and implementation.
Oracle Labs Brno
Stian Håklev
houshuang
Post-doc at CHILI lab, EPFL. Developing software for collaborative learning, learning analytics, collaborative editing, orchestration. React/Meteor stack.
EPFL Lausanne, Switzerland
Chuliang Xiao
ChuliangXiao
Senior Data Analytics Engineer at Priority Health Grand Rapids, MI
kenji yoshida
xuwei-k
Tokyo
Aggelos Biboudis
biboudis
Java Platform Group, Java language and tools (official name: Angelos Bimpoudis)
@openjdk
@Oracle Zurich
Jonathan Immanuel Brachthäuser
b-studios
Jun. Professor of Software Engineering at University of Tübingen, working on effect systems, control flow, and more.
University of Tübingen Tübingen
Mark Lemay
marklemay
Interested in Dependent types, functional programming, and automated theorem proving.
Boston
Eugene Burmako
xeno-by
This is my old GitHub account from the time when I worked on Scala. My current GitHub account is: https://github.com/burmako
Douglas Crockford
douglascrockford
I was born in Frostbite Falls, Minnesota. I left when I was 6 months old because it was too damn cold.
My latest book is _A Million And One Random Digits_.
Virgule-Solidus Anaheim
PreviousNext