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 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
@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 at Yandex https://mindflowai.tech

Moscow Polytechnic University

@ftnfurina
ftnfurina
💡Just want to follow you.
@naamanu
Nana Adjei Manu naamanu
Computer Programmer.

United Kingdom

@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 Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@mustafacagri
Mustafa Çağrı Güven mustafacagri
👾 Senior Frontend Wizard 🎩 Vue.js 3 ☄ Nuxt.js 3 🌟 Next.js 15 🌠 React.js 19 💻 Javascript 🦄 Node.js ☃ Express.js 🌸 Pinia 🔥 Typescript 🎨 Tailwind

İstanbul / ✈️ 🌎

@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.
@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!

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

Milan

@thanhvh2205
Thanh thanhvh2205
Blockchain engineer

MELD Hanoi

@jacob-alford
Jacob Alford jacob-alford
Seeking a senior software-engineering, or full-stack engineering position. Author of schemata-ts and @fp-tx. Former 1 million lines of code dev @Spoonflower

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