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.

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
@xcontcom
Serhii Herasymov xcontcom
Random guy from Ukraine. Living in Ireland since 29-Mar-2023.

Ireland

@ftnfurina
ftnfurina
💡Just want to follow you.
@claeusdev
Nana Adjei Manu claeusdev
Computer Programmer. Systems programming (Distributed and Data). Compilers and Languages.

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

Capital One New Haven, Connecticut

@EarlPitts
Bendeguz Seres EarlPitts
MSc Computer Science student @ Eötvös Loránd University

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 in Python. Will work in @vivasoft-ltd

Multiverse

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@juniorxxue
Xu Xue juniorxxue

University of Hong Kong

@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 Universalis' afoot @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

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@0xameer
0xameer
https://sr.ht/~carnotweat/

carnot Bangalore

@rybla
Henry Blanchette rybla
programming languages, formal verification, functional programming, game theory.

CS PhD student at UMD Washington, DC