Skip to content
View stepbrobd's full-sized avatar
📡
F/KC1VZR
📡
F/KC1VZR
72 followers · 617 following

Sponsoring

@ppy
@glanceapp
@neovim

Achievements

Achievement: Pair Extraordinairex2Achievement: Public SponsorAchievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex2Achievement: Public SponsorAchievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Highlights

Organizations

@NixOS @ngi-nix @plasgroup @deeznutsphd @sbbdinc @gre-nug

Block or report stepbrobd

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
@bclement-ocp
Basile Clément bclement-ocp

@OCamlPro Lyon

@numpex
NumPEx numpex
French Exascale Research Initiative

France

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

Institute of Science Tokyo Tokyo, Japan

@netactuate
NetActuate, Inc netactuate
Presence. Forward

Everywhere

@Team-Tritan
Tritan Internet Team-Tritan
Tritan Internet is a group of full-stack developers who specialize in various of software and network architecture.

United States of America

@ColinRegal
Colin ColinRegal
@libbpf
libbpf
@ClementGre
Clément Grennerat ClementGre
Computer Engineering student with a passion for programming, frequently working with Java, Rust, and various web technologies, including PHP, JS, and Vue.

Lyon, France

@arineng
ARIN Engineering arineng
American Registry for Internet Numbers

Chantilly,VA USA

@terranix
terranix terranix
NixOS way to create terraform json files.

Germany

@actions
GitHub Actions actions
Automate your GitHub workflows
@xvw
Xavier Van de Woestyne xvw
I am primarily interested in functional languages (and Types systems) and web developement.

@funkywork, @tarides Nantes

@obsidiansystems
Obsidian Systems LLC obsidiansystems
Software consultancy specializing in haskell, nix, curiosity, and innovation.

New York, NY

@Ericson2314
John Ericson Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.

@ObsidianSystems New York

@coord-e
Hiromi Ogawa coord-e

@cookpad Tokyo, Japan

@sarcasticadmin
Robert James Hernandez sarcasticadmin

San Diego, CA

@godbout
G. godbout
read. swim. climb. build stuff. (paintings, music, writings, software.)

@Sleeplessmind-Ltd Macao/South China/Hong Kong/France

@darkweak
darkweak
@gre-nug
GreNUG gre-nug
Grenoble Nix User Group

France

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@bobot
François Bobot bobot

CEA LIST Orsay, France

@wasabi315
Satoshi Takimoto wasabi315
Institute of Science Tokyo

Japan

@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@signalapp
Signal signalapp

Everywhere and nowhere

@paulmoseskailer
Paul Kailer paulmoseskailer
@beatussum
Mattéo Rossillol‑‑Laruelle beatussum
My pseudo is pronounced \be'aː.tus sum\…

Grenoble INP - Ensimag, UGA France

@Enzime
Michael Hoang Enzime
/ˈɛn.zaɪm/ a substance that acts as a catalyst in living organisms, regulating the rate of chemical reactions without itself being altered in the process

@enzime-enterprises Melbourne, Australia

@jkarni
Julian Arni jkarni

garnix Berlin, Germany and Basel, Switzerland

@KFoxder
Kevin Fox KFoxder
dev @janestreet | ex-CTO @ycharts | ex-dev @goldmansachs

@ycharts New York

@linoscope
Lin Oshitani linoscope
Protocol Research and OCaml programming

Nethermind Tokyo

@ppy
ppy ppy
osu! and everything osu!
@gepbird
Gergő Gutyina gepbird
@Vanille-N
Neven Villani Vanille-N

Verimag Grenoble, France

@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@tursodatabase
Turso Database tursodatabase
The next evolution of SQLite.

United States of America

@foundationdb-rs
foundationdb-rs
@Zimmi48
Théo Zimmermann Zimmi48
Researcher in Software Engineering. Develops @coq & its ecosystem. Likes to program with nice FP languages with type-inference, such as @ocaml or @elm

Télécom Paris Paris

@home-assistant
Home Assistant home-assistant
Open source home automation that puts local control and privacy first. Powered by a worldwide community of tinkerers and DIY enthusiasts.

Your home

@Gbury
Guillaume Bury Gbury

@OCamlPro Paris

@eljamm
Fedi Jamoussi eljamm
@nvmd
Sergey Kazenyuk nvmd
@oxcaml
OxCaml oxcaml
OCaml - Oxidized!
@cranci1
cranci cranci1
freak

cranci's industry

@phaer
Paul Haerle phaer
cloud plumber, working on the @NixOS ecosystem

@numtide Vienna, Austria

@neptune-networks
Neptune Networks neptune-networks
The cloud platform for tinkerers

Brooklyn, NY

@khaneliman
Austin Horstman khaneliman
Senior Software Engineer @ NRI (formerly Core BTS and SkylineTechnologies)

@CoreBTS Appleton, WI

@Lassulus
lassulus Lassulus
wuff wuff

Berlin (usually)

@caddyserver
Caddy caddyserver
The ultimate server: enterprise-ready, extensible, open source, and automatic HTTPS with a configuration API
@teorth
teorth
@cordx56
Yuki Okamoto cordx56
Ph.D. student, Research in Programming Language, 魔法少女

Shibaura Institute of Technology Tokyo, Japan