Skip to content
View ProgramingIsTheFuture's full-sized avatar
:octocat:
:octocat:
65 followers · 72 following

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Block or report ProgramingIsTheFuture

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
@koonwen
Lee Koon Wen koonwen
🐫 🖥️

Singapore

@jchavarri
Javier Chávarri jchavarri

Barcelona

@pedrobslisboa
Pedro Lisboa pedrobslisboa
Front End Developer \ 🐫 lover

@ahrefs Juiz de Fora - MG / BR

@melange-re
Melange melange-re
A mixture of tools combined to produce JavaScript from OCaml and Reason
@melange-community
melange-community
@Ydigit
Leonardo Gonçalves Ydigit
I'm a passionate student of tech and programming. Open to learning, collaborating on exciting projects, and connecting with developers to share knowledge.
@DavidQuadrado
DavidQuadrado DavidQuadrado

Covilhã/Castelo Branco

@ahrefs
Ahrefs ahrefs

Singapore

@AntonioPCruz
António Cruz AntonioPCruz
Committed Computer Engineer about to graduate. DevOps Engineer @ Celfinet. Enthusiastic about Artificial Intelligence 🤖 and Software Development 👨🏻‍💻.

Covilhã

@andreypopp
Andrey Popp andreypopp

@mechanize-systems Tbilisi, Georgia

@mirage
MirageOS mirage
@davesnx
David Sancho davesnx
Software engineer hooked into functional programing and Reason. Now writing UIs and tools for it at @ahrefs

@ahrefs Barcelona

@carvalho28
Diogo Carvalho carvalho28

Technical University of Denmark Copenhagen, Denmark

@agda
Agda Github Community agda
@jsiek
Jeremy G. Siek jsiek
Professor at Indiana University

Indiana University Bloomington, IN

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages ~~and ai~~ | good job, y'all ruined ai

Scotland

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@Daniela17d
Daniela Duarte Daniela17d
Computer Science Student at Universidade da Beira Interior.

Universidade da Beira Interior Covilhã, Portugal

@joelvaz0x01
Joel Vaz joelvaz0x01

University of Beira Interior Portugal

@MrsRina
Rina MrsRina
we are Turok?

VokeGpu Brazil

@rdsilva01
rodrigo rdsilva01
Engenharia Informática @ UBI

Universidade da Beira Interior Portugal

@ericnormand
Eric Normand ericnormand
Making the world safe for Functional Programming. Speaking · Training · Consulting · Writing http://lispcast.com Clojure Training http://purelyfunctional.tv

@lispcast Madison WI

@mateus-aleixo
Mateus Aleixo mateus-aleixo
CS student @ UBI

University of Beira Interior Covilhã, Portugal

@tjdevries
TJ DeVries tjdevries
Software developer. I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
@smdsousa
smdsousa
@joaosreis
João Santos Reis joaosreis
Functional programmer. Interested in programming languages and program verification.
@HoTT
Homotopy Type Theory HoTT
@smimram
Samuel Mimram smimram
@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@Gabulhas
Guilherme Lopes Gabulhas
@wiredsister
Gina wiredsister
Platform Engineer | she/her | I rarely check Github notifications, but will get back to you eventually!
@ocaml-sf
OCaml Software Foundation ocaml-sf
OCaml Software Foundation
@noaml13
Noam Licht noaml13
@alainfrisch
Alain Frisch alainfrisch

@LexiFi

@zazedd
Leonardo Santos zazedd
Master's in Computer Science @ FCUP

University of Beira Interior Portugal

@anmonteiro
Antonio Nuno Monteiro anmonteiro
I like OCaml. I make @melange-re. prev @netlify (@OneGraph) / @ladderlife

SF Bay Area, CA

@Costa-atsoC
Gonçalo Costa Costa-atsoC
To be honest I don't know what a programmer does.

Universidade da Beira Interior Portugal

@denoland
Deno denoland
Uncomplicate JavaScript
@ChristianChiarulli
Christian Chiarulli ChristianChiarulli
Fullstack Software Developer & Lead Maintainer for: @LunarVim, @zap-zsh, @nodetec

@LunarVim !Philadelphia

@bruno9213
Bruno Ferreira bruno9213
Java, JS, PHP and Python Programmer

Portugal

@ttiagojm
Tiago M ttiagojm
I just study in my free and non-free time

Portugal

@sofiarochinha
Sofia Rocha sofiarochinha

Águeda, Aveiro

@abdellahi-brahim
abdellahi-brahim
Software Developer @nobody190

PrismaIT Coimbra

@nobody190
nobody190
@AntonioSousa03
António Sousa AntonioSousa03

UBI Portugal

@BrunoFG1
Bruno Gonçalves BrunoFG1

Universidade da Beira Interior Portugal

@LeonelMatos
Leonel Matos LeonelMatos
✨Computer Science Student (UBI) Game/Random stuff developer. Don't know what my code does, but it just works! somehow... (´･ω･`)?

University of Beira Interior Portugal

@VinGarcia
Vinícius Garcia VinGarcia
Senior Software Engineer, amateur philosopher, Star Trek fan, addicted to anime, and maintainer of a few open-source projects.

Belo Horizonte - MG, Brazil

@Bruno-RBento
Bruno_Bento Bruno-RBento