Skip to content
View gelisam's full-sized avatar

Organizations

@agda

Block or report gelisam

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
@dewhush
Dewantoro Kunto Wibisono dewhush
Building interfaces for humans and logic for machines.

Dew Protocols

@emilycodestar
Emily 💞 emilycodestar
I commit on the first date. 🚩 My code is cleaner than your browser history. Check my repos if you think you can handle a merge conflict with me. 💅🐍
@konjoinfinity
Wesley Scholl konjoinfinity
Front End Engineer | Mobile Engineer | Full Stack Developer | Crypto & Blockchain Consultant | IT Solutions Expert

Washington, DC

@orpheuslummis
Orpheus Lummis orpheuslummis
public-interest technologist
@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@MustafaNatur
Мустафа Натур MustafaNatur
iOS developer

Osnabrück university

@ftnfurina
ftnfurina
💡Just want to follow you.

China

@bmorphism
Barton Rhodes bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency being exerted on systems"

@plurigrid san francisco

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@moneshvenkul
Monesh Venkul Vommi moneshvenkul
🚀 Senior Full Stack Developer | Vue.js 🎨 React ⚛️ Angular 🅰️ Node.js 🌐 Python 🐍 Django | Java Spring Boot ☕ TypeScript 📜 SQL & NoSQL 💾 | Microservices

Texas

@EarlPitts
Bendeguz Seres EarlPitts
Interested in PL, Type Theory and Functional Programming. Nix and Haskell enthusiast.

Budapest

@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

@lsy3709
이상용 lsy3709
I am doing development education at a small academy in Busan. I have 2 children. I am making good memories with my family. thank you.

부산it 부산 서면

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
product | Claude Code very active user

Denver, CO

@seniorreactjsdeveloper
Senior React.js Developer seniorreactjsdeveloper
Experienced Senior React.js Developer dedicated to building awesome web applications. Proficient in 🌟 React.js, 🚀 Next.js, and ⚙️ Node.js 💻🚀 @mustafacagri

React Companies ✈️ 🌎

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@abiry1001
Abiry abiry1001
Programmer, CTF. Haskeller. :)

Germany

@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.

Iran, Karaj

@FadiShawki
Fadi Shawki FadiShawki
The Etherlands @orbitmines

@orbitmines The Netherlands

@dbaynard
David Baynard dbaynard
Biotechnology PhD.

Fore Stun Ltd

@Mark1626
Nimalan Mark1626
A mind in an endless search for inspiration

e6data

@DavidMazarro
David Mazarro DavidMazarro
Software developer in love with types and functional programming, videogame enthusiast, and frustrated musician. I also love cooking!

@predictable-machines Madrid

@rinor
Rinor Hoxha rinor

BAITS sh.p.k Albania, Tirane

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@Emraors
E. M. Emraors
Software Engineer | Mathematician. I use GitHub mainly for exercises and learning. Nothing particularly interesting here yet.

Milan

@thanhvh2205
Thanh thanhvh2205
Blockchain engineer

Hanoi

@jacob-alford
Rae jacob-alford
neurodivergent full stack engineer | security enthusiast | espresso aficionado | 🌈 NixOS | 💅🏻 Vim | 🍔 Mathematics

Fort Collins, CO

@yasserbdj96
Boudjada Yasser yasserbdj96
all posts @yasserbdj96 ,all views my own.

@yasserbdj96 Jijel, Algeria

@tao-pr
Tao PR tao-pr
-Wall -g

Berlin, Germany

@epicallan
Allan Lukwago epicallan
Ɐ a. λ a => Haskell a -> a

@Betterment

@markcornwell
Mark Cornwell markcornwell

Springfield, Virgnina