Skip to content
View c-cube's full-sized avatar
438 followers · 202 following

Sponsoring

@aantron

Achievements

Achievement: Galaxy BrainAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: Galaxy BrainAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Public SponsorAchievement: Starstruckx2Achievement: Pull Sharkx3

Organizations

@ocaml-batteries-team @imandra-ai @nunchaku-inria @ocaml-community @sneeuwballen

Block or report c-cube

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
@seprov
seprov
@IreneKnapp
Irene Knapp IreneKnapp
@anmonteiro
Antonio Nuno Monteiro anmonteiro

@recallai SF Bay Area, CA

@ELLIOTTCABLE
ELLIOTTCABLE
{PL,Q}T. Accidental creator of @paws.

@Ahrefs Chicago, IL

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

Imperial College London

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@vshender
Vadzim Shender vshender

PandaDoc Lisbon

@molly
Molly White molly
@emersion
Simon Ser emersion
I work on open-source software. Most of my other contributions are on Codeberg and gitlab.freedesktop.org.

France

@Devieus
Devieus
@raphlinus
Raph Levien raphlinus
@hargoniX
Henrik Böving hargoniX

Lean FRO Munich, Germany

@msoos
Mate Soos msoos
Model counting, SAT solving, symbolic execution, cryptography, and IT security

Berlin, Germany

@epilys
Manos Pitsidianakis epilys
Emulation and Virtualization Engineer @Linaro. @qemu, @rust-vmm έπηλυς means "outlander" in Greek.

@Linaro Athens, Greece

@gdamore
Garrett D'Amore gdamore
BDFL for @nanomsg, founder of @illumos (emeritus), creator of tcell, NNG, and mangos, etc. Interested in kernels, messaging, networking, storage.

San Marcos, CA

@Leonidas-from-XIV
Marek Kubica Leonidas-from-XIV
Lost in Continuation

@tarides Copenhagen

@floooh
Andre Weissflog floooh

Berlin

@imandra-ai
Imandra imandra-ai
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.

London, Austin, Edinburgh

@Lupus
Konstantin A. Olkhovskiy Lupus
@SGrondin
Simon Grondin SGrondin

Tulsa, OK

@BrunoDutertre
Bruno Dutertre BrunoDutertre

@awslabs Amazon

@ianamason
Ian A Mason ianamason
Logico Programmus Irritabilis

SRI International La Selva Beach, California

@Sudha247
Sudha Parimala Sudha247

@tarides Netherlands

@andersfugmann
Anders Peter Fugmann andersfugmann

Denmark

@polytypic
Vesa Karvonen polytypic

Helsinki, Finland

@yomimono
yomimono yomimono

Wisconsin, USA

@tjdevries
TJ DeVries tjdevries
Software developer. I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
@raphael-proust
Raphaël Proust raphael-proust
@jvns
Julia Evans jvns
@sidkshatriya
Sidharth Kshatriya sidkshatriya
Passionate about understanding things from the ground up.
@ThePhD
The Phantom Derpstorm ThePhD
C, C++, C#, Rust, and OCaml to keep some sanity. TypeScript when necessary. God Save Me.

Münglass

@hcarty
Hezekiah M. Carty hcarty
@ygrek
ygrek
@aantron
Anton Bachin aantron

Eudaimonia

@mjambon
Martin Jambon mjambon
Automation enthusiast

Semgrep San Francisco Bay Area

@ianthehenry
Ian Henry ianthehenry
OCamls by day, Janets by night

Los Angeles

@amirmc
Amir Chaudhry amirmc

@leantechnologies Cambridge, UK

@rizo
Rizo rizo
Lost in macroexpand

Porto (Portugal)

@mseri
Marcello Seri mseri

Rijksuniversiteit Groningen Groningen, NL

@avsm
Anil Madhavapeddy avsm
Professor of Planetary Computing, University of Cambridge

University of Cambridge Cambridge, UK

@hannesm
Hannes Mehnert hannesm

@robur-coop

@rustfoundation
Rust Foundation rustfoundation
An independent non-profit organization to steward the Rust programming language and ecosystem
@ignaden
Denis Ignatovich ignaden
Co-Founder at Imandra

@Imandra-ai Austin/London

@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India

@abbysmal
Abi abbysmal
My brain is a hamster spinning rly rly fast in its wheel. May or may not program computers.

Datadog France

@emillon
Etienne Millon emillon

Paris

@tjammer
Tobias Mock tjammer
@matklad
Alex Kladov matklad
Computers, democracy, and nervous disorder.

@tigerbeetle Lisbon

@ajreynol
Andrew Reynolds ajreynol

University of Iowa Iowa City, Iowa

@haesbaert
Christiano Haesbaert haesbaert
I break software and then attempt to fix it.

@elastic Artificial Wonderlands