Skip to content
View ncfavier's full-sized avatar
🌷
🌷
125 followers · 67 following

Organizations

@agda @NixOS @lambdabot @nix-community @dpndnt @the1lab

Block or report ncfavier

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
@estradilua
Lua estradilua
master student in ergodic theory who also likes computers. type 1 diabetic.

ICMC/USP Brasil

@Noori-Senior
Run way Noori-Senior
Senior Software Engineer with 13 years of experiences

un

@nojup
YerazZ nojup
@MyStoredotcom
Execu-Bot MyStoredotcom

Execu-Bot Cape Town

@seckinyasar
Seckin Yasar seckinyasar

@Metakorteks Turkey

@IModer
korpap IModer

Hungary

@sci-42ver
unknown sci-42ver
@ivan
Ivan Kozik ivan
See also @ludios & @ludiosarchive. My personal email comes only from ivan@ludios.org.
@EarlPitts
Bendeguz Seres EarlPitts
MSc Computer Science student @ Eötvös Loránd University

Budapest

@sins921
Jesús Jiménez lozano sins921
por favor alguien que me explique

apichi gadalajara

@emma-bach
Emma Bach emma-bach
Bachelor Student in Mathematics and Computer Science.
@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@effectfully
effectfully
@nelbetancur
nelbetancur
art & architectural historian #nelbetancur

National University of Colombia

@Davidevlops
David Davidevlops
Software Engineer & Tech Marketing Strategist

Ibadan, Nigeria

@dimkagithub
Dmitry dimkagithub
Will code for food

@dimkagithub 127.0.0.1

@connebrink
Clas Onnebrink connebrink
Software Engineer

Deutsche Glasfaser Germany

@CodeEvolv
Evolv CodeEvolv
IT @ College | Aspiring SWE | Programming & Security
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@danielcontro
Daniel Eduardo Contro danielcontro
PLS MSc in Computer Science @ University of Padua

University of Padua Italy

@janriemer
Jan Riemer janriemer
Creating great experiences for people ✨| Building software in Rust, TypeScript, VueJS and Node | Dare to think for yourself | Striving for excellence

Germany

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@polykernel
polykernel
X is not meant to prove old facts, it is meant to disclose new worlds!

Toronto, Canada

@TOTBWF
Reed Mullanix TOTBWF
An object in an Elegant Reedy Category.

McMaster University Hamilton, ON

@thelissimus
kei thelissimus
Type Theory, Compiler Engineering, Formal Verification.

Imiron

@JonasHoefer
Jonas Höfer JonasHoefer

Gothenburg, Sweden

@Jappie3
Jappie3
I like Nix and do some foss here & there. Most of my repo's are mirrors of git.jappie.dev

~

@djtrack16
Darius Liddell djtrack16
Stanford CS. Ruby. Functional Programming Enthusiast. Slow Traveller. Cycling.
@jelspace
21world jelspace
BASIC INCOME is give free money for all , opposite to: forced take VAT tax from all , In prevention from demonetization recession of all humans.

BASIC INCOME is free money for all , opposite to VAT tax , for prevent from demonetization

@NathanielB123
Nathaniel Burke NathanielB123
@universish
universish universish

Universe

@inayet
Inayet Hadi inayet
Exciting times where tech is at your finger tips, apis, webhooks, llm, learn and share, being thankful

Dreams API Denver, CO

@iwilare
Andrea Laretto iwilare
λ(λ1(00))(λ1(00)) • モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？

Tallinn University of Technology Tallinn, Estonia

@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

san francisco

@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@KiJeong-Lim
임기정 KiJeong-Lim
I'm a master's/Ph.D. student majoring in Computer Science and Engineering at Yonsei University.

https://sites.google.com/view/fcai-lab Seoul, Republic of Korea

@hmltn-0
Julius Hamilton hmltn-0
Developer honing skills in system design, project management, and full stack. Focused on SQL, data science, and category theory. Let's innovate together.

Hamilton, Inc. Salt Lake City

@mightyiam
Shahar "Dawn" Or mightyiam
Author of the Full Time Nix podcast and open source contributor

Chiang Mai, Thailand

@cmcmA20
cmcmA20
@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@h7x4
h7x4 h7x4
@NixOS contributor, active in intervals

@Programvareverkstedet Norway

@nmvdw
Niels van der Weide nmvdw
@tederodere4495
tederodere4495
@Scrumplex
Sefa Eyeoglu Scrumplex
Working on Free and Open Source stuff

Germany

@janisaiad
janis janisaiad
math.

Ecole Polytechnique Paris

@mpscholten
Marc Scholten mpscholten

@digitallyinduced Palo Alto, CA

@samkuhn
Sam Kuhn samkuhn
Full Stack 3D Web Developer - WebGPU, WebGL, AR, VR, Serverless, Cloud

UK

@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops

@meta-introspector New Jersey

@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ