Skip to content
View ohenley's full-sized avatar
🦄
happy
🦄
happy
  • Saint-Calixte-de-Kilkenny

Block or report ohenley

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
@githwxi
Hongwei Xi githwxi
As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.

ATS Trustful Software, Inc. Boston, Massachusetts

@iximiuz
Ivan Velichko iximiuz
Code for your life!

iximiuz Labs Amsterdam

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Vancouver, BC

@stnolting
stnolting
Roads? Where we're going we don't need roads. - "Doc" Emmett L. Brown

@fraunhofer-ims 🇪🇺 European Union

@ulx3s
ULX3S ulx3s
ULX3S FPGA development board

Zagreb

@bunnie
bunnie bunnie
Good at following directions. Bad at obeying rules.

Singapore

@dereknance
Derek Nance dereknance

@bitwarden Texas, USA

@christiaanb
Christiaan Baaij christiaanb

QBayLogic Enschede, The Netherlands

@Kidev
Alexandre Poumaroux Kidev
Software Engineer

Kidev.org France

@wyager
Will Yager wyager
I do hardware (circuitry, embedded systems, FPGAs, fabrication), security (reversing, cryptography), and CS (type theory, automata theory, formal verification)
@aiunderstand
Steven Bos aiunderstand
see stevenbos.com

@University_of_South-Eastern_Norway (USN) Kongsberg, Norway

@evincarofautumn
Jon Purdy evincarofautumn
Programming language technologist

SFBA

@micro-nova
MicroNova micro-nova
Embedded System Solutions

Michigan, USA

@0xAX
Alex Kuleshov 0xAX
Writing some code at @travelping.

@travelping Kazakhstan, Astana

@gergoerdi
Gergő Érdi gergoerdi
Finite tape Turing machine
@jsshapiro
Jonathan S. Shapiro jsshapiro
Startup President, researcher, entrepreneur, operating system and programming languages guy, general contractor, and general troublemaker.

Buttonsmith Inc Redmond, WA

@janverschelde
Jan Verschelde janverschelde
Develops algorithms and software to solve systems of polynomial equations, a problem in computational algebraic geometry.

University of Illinois at Chicago Chicago, IL, USA

@danngreen
Dan Green danngreen
I work @4ms Company

@4ms Portland, OR

@ButcherAdaCore
Paul Butcher ButcherAdaCore
Senior Software Engineer at AdaCore

@AdaCore UK

@tomverbeure
Tom Verbeure tomverbeure
24/7 electronics (and some biking)

Sunnyvale, CA

@samyk
samy kamkar samyk
explo(r|it)ing boundaries

openpath security los angeles

@damaki
Daniel King damaki

@AdaCore Cambridgeshire, UK

@streaksu
Cristian streaksu
I mainly enjoy doing embedded and baremetal work, but I can do a bit of everything.

Zaragoza, Spain

@ange-yaghi
Ange Yaghi ange-yaghi
C++ Developer

Toronto

@chrxh
Christian Heinemann chrxh
Creator of alien-project.org | ALife and CUDA enthusiast | PhD | Software engineer | Ex-researcher in Applied Analysis

Berlin, Germany

@Irvise
Fernando Oleo Blanco Irvise
Mechanical engineering, libre software and electronics aficionado.

Madrid, Spain

@rui314
Rui Ueyama rui314

Blue Whale Systems Tokyo

@vgarciasc
Vinícius Garcia vgarciasc

Rio de Janeiro - RJ, Brazil