Skip to content
View Alf0nso's full-sized avatar
💻
Some times I turn it off
💻
Some times I turn it off

Organizations

@devpt-org

Block or report Alf0nso

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@danielsp45
Daniel Pereira danielsp45
👨🏻‍💻 Computer Engineering Student @ UMinho

Porto, Portugal

@nasa
NASA nasa
Read Open Data initiative here: https://www.nasa.gov/data & Instructions here: https://github.com/nasa/instructions/blob/master/docs/INSTRUCTIONS.md

United States of America

@jamesnvc
James Cash jamesnvc

Bloom Ventures Toronto

@Sirraide
Sirraide
I mostly work on compilers, and mostly in C++.
@raysan5
Ray raysan5
I make tools and technology for videogames development. Available for technical consulting, courses teaching and conferences. Feel free to message me!

@raylibtech Barcelona

@caisah
caisah

Internetz

@ebassi
Emmanuele Bassi ebassi
Geek, husband, lover, software developer, londoner. Not necessarily in that order.

London, UK

@uint23
uint uint23

United Kingdon

@Gargron
Eugen Rochko Gargron
Executive Strategy & Product Advisor at Mastodon.

@mastodon Germany

@zesterer
Joshua Barretto zesterer
Interested in things. Usually exhausted. None of the code I write comes out of an LLM. Any mistakes are my own.

Bristol, UK

@Zaneham
Zane Hambly Zaneham
Kia ora (Hello). Former firefighter, former soldier, currently studying and making software independently

Auckland, New Zealand

@historicalsource
Historical Source historicalsource
A collection of historical source files, for education and perusal.
@cicada-solvers
cicada-solvers
Cicada Solvers community resources and tools. See also the sister-project on gitlab:
@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance

Research Scientist NYC

@RobinSchmidt
Robin Schmidt RobinSchmidt
"The acquisition of wealth is no longer the driving force of our lives. We work to better ourselves and the rest of humanity." [Jean Luc Picard]

RS-MET Berlin, Germany

@kinow
Bruno P. Kinoshita kinow
From Casa Verde, São Paulo—Brazil. Based in Barcelona—Spain, São Paulo—Brazil, or Auckland—New Zealand.

Barcelona Supercomputing Center Barcelona, Spain

@Igalia
Igalia Igalia
Open Source Consultancy

Planet Earth

@asb
Alex Bradbury asb

@Igalia @muxup Cambridge, UK

@nornagon
Jeremy Rose nornagon
I work on @electron, and make games sometimes.

San Francisco, CA

@esa
European Space Agency esa
The European Space Agency (ESA) is Europe’s gateway to space. Its mission is to shape the development of Europe’s space capability.

Europe

@converge-io
Converge converge-io
Building the future of construction more efficiently, safely, and sustainably.

London

@gfarrell
Gideon Farrell gfarrell
Cofounder / CTO of @converge-io; ex-Cantab astrophysicist (MA/MSci); writes at gtf.io; builds things in Haskell (new projects at https://git.sr.ht/~gtf).

@converge-io London

@Adrien-Lucas
Adrien Lucas Adrien-Lucas
Game dev on Godot, Unreal and Unity. Co-Founder of Plane Toast and Co-creator of Caravan SandWitch.

Plane Toast France

@pcapriotti
Paolo Capriotti pcapriotti
Senior Haskell Developer at Wire. Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.

Wire Fermo, Italy

@Telefonica
Telefónica Telefonica
Telefónica official source code platform

Spain

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

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

University of Edinburgh Edinburgh

@pure-data
pure-data pure-data
group for the Pure Data computer music system
@tefkah
Thomas F. K. Jorna tefkah
just a lil guy // philosophy of physics, open science, knowledge management, emacs //

@TrialAndErrorOrg, @PubPub Utrecht, the Netherlands

@nunomrm
Nuno Rocha nunomrm

Barcelona Supercomputing Center Barcelona, Spain

@nikic
Nikita Popov nikic

Red Hat Berlin, Germany

@abo-abo
Oleh Krehel abo-abo

@wavemm Matosinhos, Portugal

@ellyq
Alicja Michalska ellyq
Hardware hacker, Linux/Firmware developer.

Europe

@philippgs
Philipp Gschwandtner philippgs

University of Innsbruck Innsbruck, Austria

@1997alireza
Alireza Torabian 1997alireza
Believe in yourself and go for it

Toronto

@processing
Processing Foundation processing
We create platforms to promote software literacy within the visual arts, and visual literacy within technology-related fields.

Boston, New York, Los Angeles, Worldwide

@r-k-b
Robert K. Bell r-k-b
Elm developer. NixOS fan.

@Pacific-Health-Dynamics Sydney, NSW, Australia

@jpneto
João Pedro Neto jpneto
Professor of Computer Science @ U.Lisbon 🥰 Programming (Python, R, Haskell), Bayesian Stats, Probability, Computation, Epistemology, Ecology, History, Ethics.

FCUL University of Lisbon

@heatd
Pedro Falcato heatd
Kernel hacker

@SUSE Lisbon, Portugal

@iokasimov
Murat Kasimov iokasimov
Software designer

เชียงใหม่