Skip to content
View rizo's full-sized avatar
300 followers · 353 following
  • Porto (Portugal)

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Highlights

Organizations

@odis-labs @ocamllabs @fold-lang @ocaml-community @hyper-systems

Block or report rizo

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 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
@mransan
mransan
@NathAston
Nathan Aston NathAston

London

@bodil
Bodil Stokke bodil

Vault-Tec Corporation

@miguel-ferreira
Miguel Ferreira miguel-ferreira
@timbertson
Tim Cuthbertson timbertson

Melbourne, Australia

@vbgl
Vincent Laporte vbgl
@ygrek
ygrek
@btbytes
Pradeep Gowda btbytes

Carmel, IN

@bobzhang
Hongbo Zhang bobzhang
@pdonadeo
Paolo Donadeo pdonadeo

@4Sigma Vigevano

@canadaduane
Duane Johnson canadaduane
Artist, inventor, software engineer, hardware hacker, founder of Make Salt Lake and Relm

@relm-us Salt Lake City, UT, USA

@jimenezrick
Ricardo Catalinas Jiménez jimenezrick
Polyglot/functional programmer, UNIX systems guy, clusters of any size, knowledge sucker. #Linux #Haskell #Rust #Golang #ML #HugeData #POSIX #C

London, UK

@vbmithr
Vincent Bernardoff vbmithr

DeepMarker ꙮ

@AlexDenisov
Alex Denisov AlexDenisov
Talking to machines. Staff Compiler Engineer at @PhotonicInc

@PhotonicInc Berlin

@hakuch
Jesse Haber-Kucharsky hakuch

Toronto, Ontario, Canada

@mlin
Mike Lin mlin
Genome informatics R&D

Honolulu, HI, USA

@bsansouci
Benjamin San Souci bsansouci
Make simple easy.

SF

@jberdine
Josh Berdine jberdine

SkipLabs London, UK

@jvillard
Jules Villard jvillard

London, UK

@let-def
Frédéric Bour let-def
Chamelier (pas trop fou)

Tarides Earth

@cristianoc
Cristiano Calcagno cristianoc
https://rescript-lang.org/ https://fbinfer.com/
@chenglou
Cheng Lou chenglou
Work: ReactJS, ReasonML, ReScript, Messenger, Midjourney

California

@yunxing
Yunxing Dai yunxing
@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@keleshev
Vladimir Keleshev keleshev
OCaml developer

Copenhagen, Denmark

@prakhar1989
Prakhar Srivastav prakhar1989
Software Engineer working on improving developer productivity @ Google Research.

@Google at @firebase San Francisco, CA

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@mdekstrand
Michael Ekstrand mdekstrand

@lenskit Philadelphia, PA

@DanBurton
Dan Burton DanBurton

https://reach.sh San Francisco Bay Area, CA

@nv-vn
nv-vn
FP/PLT enthusiast; Favorite languages: OCaml, Haskell, Idris, Scheme

rizon#code

@pchiusano
Paul Chiusano pchiusano

Unison Computing, a public benefit corp New Orleans, LA

@djspiewak
Daniel Spiewak djspiewak
I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.

@nvidia Chicago, IL

@katiejots
Katie Ots katiejots
Functional programmer

@facebook London

@SGrondin
Simon Grondin SGrondin

Tulsa, OK

@foretspaisibles
Michaël Le Barbier foretspaisibles
Mathematician, programmer and infrastructure expert at Thoughtworks. PhD. | Max Planck Alumni | Agrégé de mathématiques

@thoughtworks Köln (Germany)

@zimbatm
Jonas Chevalier zimbatm
$ echo Building minimalist CLI tools. Obsessed with @NixOS. Running @numtide.

@numtide [@x1:~] $

@zfk
zfk
@svenkeidel
Sven Keidel svenkeidel

TU Darmstadt Mainz-Kastel, Germany

@sdiehl
Stephen Diehl sdiehl
I build software.

London

@mrecachinas
Michael Recachinas mrecachinas
@erinrecachinas's husband, Dad, Engineer

@github Washington, DC

@ecgmaia
ecgmaia
@iamorim
Ivone Amorim iamorim

Portic-P.Porto Porto

@nojb
Nicolás Ojeda Bär nojb

@LexiFi Paris, France

@andrenth
Andre Nathan andrenth

Brazil

@xixixao
Michal Srb xixixao

@get-convex San Francisco, USA

@mxmmargarida
Margarida Carvalho mxmmargarida

DIRO, Université de Montréal Canada

@rlafuente
Ricardo Lafuente rlafuente
recent projects can be found on gitlab -- https://gitlab.com/rlafuente/

J++ / Manufactura Independente Porto, Portugal

@shangaslammi
Sami Hangaslammi shangaslammi

Infer Oy Tampere, Finland

@lpw25
Leo White lpw25

Jane Street

@trevorsummerssmith
Trevor Summers Smith trevorsummerssmith

@Bakpax Cedar, MI