Skip to content
View DasNaCl's full-sized avatar
29 followers · 46 following

Achievements

Achievement: Pull SharkAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

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
@RyanBrewer317
Ryan Brewer RyanBrewer317
The creator of SaberVM.

California, United States

@CTSRD-CHERI
Capability Hardware Enhanced RISC Instructions CTSRD-CHERI
@junlarsen
Mats Jun Larsen junlarsen

Norway

@andreastedile
Andrea Stedile andreastedile
Research Fellow @ University of Trento, Italy

Italy

@CHERI-Alliance
CHERI Alliance CHERI-Alliance

United Kingdom

@ahrefs
Ahrefs ahrefs
BTW we use OCaml

Singapore

@tfehlmann
Tobias Fehlmann tfehlmann
@ckirsch
Christoph Kirsch ckirsch
Christoph Kirsch is Professor at the Department of Computer Sciences of the University of Salzburg, Austria.

University of Salzburg Salzburg, Austria

@jart
Justine Tunney jart

Google Mountain View, CA

@Lapin0t
Lapinot Lapin0t
@pfoerster
Patrick Förster pfoerster
@MPRI
MPRI

Paris

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

France

@davidar
David A Roberts davidar

Australia

@uds-psl
Programming Systems Lab, Saarland University uds-psl

Saarbrücken, Germany

@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 Santa Cruz, CA

@maflot
Matthias Flotho maflot
@kirkedal
Michael Kirkedal Thomsen kirkedal

University of Copenhagen

@ocaml
OCaml ocaml
The OCaml functional programming language and system
@vrindisbacher
Vivien Rindisbacher vrindisbacher
CS PhD @ UCSD ProgSys

University of California, San Diego San Diego, CA

@TOTBWF
Reed Mullanix TOTBWF
An object in an Elegant Reedy Category.

McMaster University Hamilton, ON

@skymountain
Taro Sekiyama skymountain
@j-s-e
j-s-e
@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@eashanhatti
eashanhatti
@fakusb
Fabian Kunze fakusb

Germany

@squera
Squera squera
Assistant professor at University of Trento

squerasoft Trento

@YouyouCong
Youyou Cong YouyouCong
I am a native speaker of delimited continuations.

Institute of Science Tokyo 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

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

@yeslogic Melbourne, Australia

@jeanqasaur
Jean Yang jeanqasaur

@akitasoftware

@silvieHF
silvieHF
@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

@Stazer
Justus Flerlage Stazer

/dev/random

@mb64
Mark Barbone mb64
@Tessil
Thibaut Goetghebuer-Planchon Tessil

@ARM-software Cambridge, UK - Brussels, Belgium

@XFabian
Xaver Fabian XFabian

Germany

@hannahkriegler
hannahkriegler
@hpkoehn
Henrik Paul Köhn hpkoehn
@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

@oridb
Ori Bernstein oridb