Skip to content
View cfcs's full-sized avatar
🌧️
🌧️
  • #nolibc movement

Block or report cfcs

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
@keleshev
Vladimir Keleshev keleshev
OCaml developer

Copenhagen, Denmark

@takahisa
Takahisa Watanabe takahisa

Cybozu, Inc Tokyo, Japan

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

IIT Madras and Tarides Chennai, India

@ergl
Borja o'Cook ergl

@getditto Spain

@calccrypto
Jason Lee calccrypto

Third Rock From The Sun

@nayuki
Nayuki nayuki
I implement data structures, algorithms, and file formats, emphasizing on correct logic and readable code. My website has a list of articles describing my work.

Project Nayuki Toronto, Ontario, Canada

@kit-ty-kate
Kate kit-ty-kate
Contractor working on opam (OCaml Package Manager). Previously @tarides / @ocamllabs -------- Autogestion à toute échelle, pain et liberté.

@ahrefs @ocaml-sf Glasgow, Scotland

@xairy
Andrey Konovalov xairy
Linux kernel security engineer.
@let-def
Frédéric Bour let-def
Chamelier (pas trop fou)

Tarides Earth

@lindig
Christian Lindig lindig
Software Engineer at citrix.com. Previously: testfabrik.com, dagstuhl.de, st.cs.uni-sb.de, seas.harvard.edu

Citrix Cambridge, UK

@neubyi
Núbi neubyi
Slow blinking eyes!
@rand00
rand00
Bringing back cinéma pur

Copenhagen, Denmark

@ChrisHird
Chris Hird ChrisHird

Shield Advanced Solutions Ltd North of Toronto Canada

@fepitre
Frédéric Pierret fepitre
PhD in Applied Mathematics    Member of @QubesOS project and @InvisibleThingsLab              R&D in virtualization, kernel, and system-level security.

France

@mato
Martin Lucina mato
all your kernel are belong to us

Europe

@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)

@yannham
Yann Hamdaoui yannham
Programming languages design & implementation. Ph.D in CS / Software engineer / functional programmer / OSS maintainer.

Tweag (by Modus Create) Paris

@thoppe
Travis Hoppe thoppe

Centers for Disease Control and Prevention, National Center for Health Statistics (CDC/NCHS/OD) Hyattsville, MD

@hkparker
Hayden Parker hkparker
I like networking and security and Go
@verbosemode
Jochen Bartl verbosemode
Network Plumber, OCaml, Python, Chaostreff Augsburg, OpenLab Augsburg, ... TL;DR Slowly moving my personal stuff over to Codeberg

Somewhere near Augsburg, Germany

@claucece
Sofía Celi claucece
Cryptography @brave and honorary fellow Uni Bristol. hprc co-chair @IRTF-HRPC anti-fraud co-chair @w3c PQUIP co-chair at @ietf-wg-pquip Previously @cloudflare

@brave AMS/LIS/UIO

@danoctavian
Dan Half-Stack Octavian danoctavian
“When besieged by ambitious tyrants I find a means of offence and defense in order to preserve the chief gift of nature, which is liberty.” - Leonardo da Vinci

YieldNest Earth

@IagoAbal
Iago Abal IagoAbal
Static analysis and formal software verification.

EU

@dspinellis
Diomidis Spinellis dspinellis
Professor of Software Engineering at AUEB and of Software Analytics at TU Delft, programmer, and technology author.

Athens University of Economics and Business & Delft University of Technology Athens, Greece

@david415
David Stainton david415
Katzenpost founder. Cryptography, anonymous communication networks, security, privacy enhancing tech and formal methods. polyglot: Lean, Rust, Golang, Nim..

San Francisco