[go: up one dir, main page]

Skip to content
View DasNaCl's full-sized avatar

Block or report DasNaCl

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@fennecdjay
Jérémie Astor fennecdjay
Musician. Star Gwion, You'll make my day

France

@gert-smolka
Gert Smolka gert-smolka

Saarland University Germany

@cliffclick
Cliff Click cliffclick
Founder, Entrepreneur, CTO. A longtime veteran of Silicon Valley with over 40 yrs coding; core contributor to HotSpot; hundreds of public talks, 20 patents.

Stealth Mode Startup Sunnyvale, CA

@ocaml
OCaml ocaml
The OCaml functional programming language and system
@TOTBWF
Reed Mullanix TOTBWF
An object in an Elegant Reedy Category.

McMaster University Hamilton, ON

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@squera
Squera squera
Assistant professor at University of Trento

squerasoft Trento

@YouyouCong
Youyou Cong YouyouCong
All I need is continuations.

Tokyo Institute of Technology Tokyo, Japan

@conal
Conal Elliott conal
Play/learn/work with me: https://github.com/conal/Collaboration

(open to employment) San Andreas, California, USA

@VMatthijs
Matthijs Vákár VMatthijs
Assistant professor in CS, working on probabilistic and differential programming, programming language semantics

Utrecht University Utrecht, the Netherlands

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@ken1morita
Kenichi Morita ken1morita
I have been studying cellular automata, and reversible computing. I am currently a professor emeritus of Hiroshima University.
@playXE
playX playXE
Real name: Adel Prokurov. Rust programmer. Love doing compiler and VM related development. :) Languages: Russian, English.

VDX.tv Da Nang, Vietnam

@ilya-klyuchnikov
ilya-klyuchnikov

@facebook London

@Tessil
Thibaut Goetghebuer-Planchon Tessil

@ARM-software Cambridge, UK - Brussels, Belgium

@vdeurzen
Tim van Deurzen vdeurzen
Independent Software Engineer. Working on crypto and networking libraries, analysis engines, databases, distributed systems, compilers and parsers

Eolas Engineering Amsterdam