Skip to content
View rgrinberg's full-sized avatar

Organizations

@mirage @ocaml-batteries-team @ocaml

Block or report rgrinberg

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
@openresty
OpenResty openresty
A Fast and Scalable Web Platform by Extending NGINX with LuaJIT. Commercial support is provided at https://openresty.com/

San Francisco Bay Area

@giann
Benoit Giannangeli giann
Web architect at @boursorama, Zig enthusiast, working on a small programming language called buzz

Boursorama Metz, France

@leafo
leaf leafo
senior fart @ @itchio

itch.zone San Francisco

@echasnovski
Evgeni Chasnovski echasnovski
Data science, Machine learning | R, Python, Lua | Neovim plugins

Kharkiv, Ukraine

@ulugbekna
Ulugbek Abdullaev ulugbekna
👋 I work on VS Code & GitHub Copilot Chat. Contributor to ocaml-lsp and OCaml Platform vscode extension

Zurich

@hishamhm
Hisham Muhammad hishamhm

Porto Alegre, Brazil

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@ocaml
OCaml ocaml
The OCaml functional programming language and system
@letoram
Bjorn Stahl letoram
Open source Sewage Worker / Security Consultant with a predilection for reversing and visualization. Disillusioned Academic (comp.sci.Ph.D).

Sweden

@balsoft
Alexander Bantyev balsoft
@NixOS hacker. Linux enthusiast (obviously). DevOPS.

@tweag

@jart
Justine Tunney jart

Google Mountain View, CA

@awesomekling
Andreas Kling awesomekling
Building a truly independent web browser with the help of friends around the world :^)

@LadybirdBrowser Sweden

@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance

Postdoc @ UIUC Illinois, US

@HigherOrderCO
HigherOrderCO HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

@creationix
Tim Caswell creationix
Making the world better and more free, one technology at a time.

@luvit Mountainburg, AR, USA

@max-au
Maxim Fedorov max-au

Mountain View, CA

@steinwaywhw
Steinway Wu steinwaywhw
PhD in Programming Languages

US

@rbong
rbong rbong
Esoteric developer and open source software enthusiast. CTO at SafetyVue with lots of side projects.
@titzer
Ben L. Titzer titzer
WebAssembly co-founder, former V8 engineer.

Carnegie Mellon University United States

@daurnimator
daurnimator
Developer; Software Architect; @ziglang and @lua Lover; Electrical Engineer; @hashbang Sysadmin and Teacher; @MelbourneWireless node.

Melbourne, Australia

@romgrk
Rom Grk romgrk
C/C++, Rust, Typescript, vim & dharma

Montreal,QC

@tpope
Tim Pope tpope
Vim plugin artist

Brooklyn, NY

@svermeulen
Steve Vermeulen svermeulen
Game developer

Seattle, WA

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@tmattio
Thibaut Mattio tmattio
Building @raven-ml. Former Director of Engineering @tarides, building developer experiences for the OCaml Platform.

New York

@mnxn
Max mnxn

Portland, OR

@giltho
Sacha Ayoun giltho
PostDoc at Imperial College London with Azalea Raad and Peter O'Hearn. Previously worked on @GillianPlatform

Imperial College London

@ema2159
Emmanuel Bustos Torres ema2159
Software Engineer

ASML The Netherlands

@mefyl
mefyl mefyl

Gruntech Paris

@vzaliva
Vadim Zaliva vzaliva

University of Cambridge, Digamma.ai Saratoga, CA, USA