Skip to content
View unorsk's full-sized avatar

Sponsoring

@ziglang

Block or report unorsk

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@iamrecursion
Ara Adkins iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Audio mixing, mastering and music. Skiing, parkour, martial arts and sailing.

CTO & CFO @tactile-metrology Amsterdam, NL

@frankmcsherry
Frank McSherry frankmcsherry

@MaterializeInc New York, NY

@effbiae
jack andrews effbiae
"Only short programs have any hope of being correct." - Arthur Whitney

Australia

@SophieBosio
Sophie Bosio SophieBosio
Software engineer at Ardoq and Emacs enthusiast λ Haskell & Clojure

Ardoq Oslo, Norway

@jedisct1
Frank Denis jedisct1
Get my public keys here: https://sk.tl/7CPRo8kn

Antibes, France

@thomashoneyman
Thomas Honeyman thomashoneyman
Core team @purescript. Engineering manager @aristanetworks. Cognitive Science degree from USC. Prev. co-founder and COO of FindMySong (acquired).

@aristanetworks

@kprotty
protty kprotty
Programmer with a focus on server side optimization, compilers and all things close to hardware.
@kazu-yamamoto
Kazu Yamamoto kazu-yamamoto

Internet Initiative Japan Inc Tokyo, JAPAN

@tomjaguarpaw
Tom Ellis tomjaguarpaw
Contact me via http://web.jaguarpaw.co.uk/~tom/contact
@ymdfield
Riyo ymdfield
Haskell / Effect system

Tokyo, Japan

@andrewrk
Andrew Kelley andrewrk
Lead developer & president of Zig Software Foundation

@ziglang Portland, Oregon

@jorangreef
Joran Dirk Greef jorangreef
Creator, Founder and CEO of @tigerbeetle, the financial transactions database for mission critical safety and performance.

@tigerbeetle

@dmitrysmirnov931
Dmitrii Smirnov dmitrysmirnov931

@beaufortaml @techcloud0 Oslo

@meiersi
Simon Meier meiersi

@digital-asset Zurich

@veorq
Jean-Philippe Aumasson veorq
Cryptography - Books https://nostarch.com/seriouscrypto & https://www.crypto-dictionary.com

@taurusgroup Switzerland

@jtdaugherty
Jonathan Daugherty jtdaugherty

Galois, Inc. Portland, OR

@ulricha
Alexander Ulrich ulricha

Oracle Labs Zuerich, Switzerland

@gwils
George Wilson gwils

Brisbane, Australia

@steshaw
Steven Shaw steshaw
Loves programming languages!

Brisbane, Australia

@domdere
Dom De Re domdere
Indie Game Developer and Functional Programmer based in Sydney

Irreverent Pixel Feats Sydney

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@dbousamra
Dominic Bou-Samra dbousamra

Piccolo Health Australia

@carlosdagos
Carlos D'Agostino carlosdagos
Haskell. Lisp. And other things.

Sydney, NSW

@dschrempf
Dominik Schrempf dschrempf
I like Haskell.

Well-Typed LLP Austria

@felixSchl
Felix Schlitter felixSchl
PureScript by day, Haskell by night

Auckland, New Zealand

@ivanperez-keera
Ivan Perez, PhD ivanperez-keera
Principal Research Scientist @ NASA Ames Research Center |Haskell software architect | Public Speaker

@NASA Ames Research Center / KBR San Jose, CA

@jaspervdj
Jasper Van der Jeugt jaspervdj
Haskell programmer. I like to make things.

engineer at @digital-asset Zurich, Switzerland

@tmcgilchrist
Tim McGilchrist tmcgilchrist
OCaml and Haskell connoisseur. Principal software engineer at @tarides. Compilers, runtimes, garbage collection, and general systems hackery.

@tarides Sydney, Australia

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@sdiehl
Stephen Diehl sdiehl
I build software.

@onechronos London

@ethlo
Morten Haraldsen ethlo
An experienced software architect and developer with a keen interest in algorithms and data structures, databases, performance tweaking, and general tinkering.

ethlo Norway

@Unisay
Yura Unisay
Monoids for Humanoids

Cardano Berlin

@voituk
Vadym Voitiuk voituk
Principal at Amazon. ex-Founder/CTO. Startup mentor. Having fun here.

Amazon Web Services Berlin, Germany

@igorsokolov
Igor Sokolov igorsokolov

San Francisco, CA, US