Skip to content
View asr's full-sized avatar

Highlights

  • Pro

Organizations

@agda

Block or report asr

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.

Content in all repositories owned by your account will be closed.
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
@AhmedDabish
Ahmed Dabish AhmedDabish
Full Stack .NET & Angular Developer | Expert in ASP.NET Core, EF Core, and REST APIs | Experienced in AI & automation | Building intelligent APIs

EGYPT-Kafr El Sheikh

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@sjmartinet
Samuel Martinez torres sjmartinet
Ing. de Sistemas

Universidad EAFIT

@augyg
Galen Sprout augyg
Live Laugh Love, Functionally

Typify.dev

@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.

Iran, Karaj

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@SeshatCZ
SeshatCZ

Czech republic

@Hacker-Sam-is-here
Sameer Hacker-Sam-is-here
Primera

Sam Industries Earth

@Bodhert
Alejandro Cordoba Bodhert Bodhert
In love with Elixir and the beam ecosystem. Live music coder. "google errors for 2 hours can safe you 10 minutes of reading documentation"..randomDude

Contractor Medellin

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

Denver, CO

@Ramyromel
Ibrahim Ghonem Ramyromel
Independent AI Innovator - Multi-Agent AI - AI Governance - AI Architecture - Decision Intelligence Building secure, scalable, and trustworthy AI systems

Sky limit Egypt

@Peefy
Peefy
Focus on Programming Language, Compiler. Interested in Developer Tools, IaC, DevOps, Cloud-Native, AI and Web3.

Hangzhou

@crg28
Carlos Restrepo crg28
Computer science, EAFIT
@th-martinod
Thomas Martinod th-martinod
Eng. Physics and Eng. Math student at EAFIT. Coding in mathematical physics, numerical methods, AI and data science.

Universidad EAFIT Medellín, Col

@KurtCoVayne
John Alejandro González González KurtCoVayne
John Alejandro González. Estudiante de Ciencias de la Computación de la Universidad Nacional de Colombia y de Ingenieria Matemática en la Universidad EAFIT.

IdeasLab Medellin, Colombia

@samuelAriza
Samuel Ariza samuelAriza
CS Student at EAFIT University | Applied Mathematics Enthusiast | Software Development | Open to Internship Opportunities to Solve Complex Challenges
@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@esin
Andrey Esin esin
Linux Administrator, DevOps Engineer and Go Developer
@m9h
Morgan Hough m9h
Developmental Neurobiology @ OREL Community Manager @ NeuroTechX; Neurotech Lead @ Frontier Tower; Research and Development @ Biopunk Lab

@orel-group, @neurotechx, @frontier-tower, @biopunklab San Francisco, CA

@alejoriosm04
Alejandro Ríos Muñoz alejoriosm04
Majoring in Computer Science @eafit🇨🇴

@gruponovaeafit Colombia

@AleXoundOS
AleXoundOS
Haskell | NixOS

Tbilisi, Georgia

@glimming
Johan Glimming glimming
CEO @ FUNCTOR GROUP, Sweden, provider of software development tools based on type theory and logic, alumni research fellow @ Cambridge, MSc Math Oxford, PhD

Functor Group AB and Stockholm University / KTH Stockholm, Sweden

@sparram
Santiago Parra Mejia sparram
Mathematical Engineer MSc student on Applied Mathematics MATHS DISC Erasmus Joint Master Program

Università degli Studi di Verona Verona, Italy

@jpvillaisaza
Juan Pedro Villa Isaza jpvillaisaza
Grumpy software developer passionate about functional programming

@stackbuilders La Ceja, Colombia

@omelkonian
Orestis Melkonian omelkonian
2023-2026: Formal Methods @input-output-hk, 2019-2023: PhD @ University of Edinburgh, Interests: Programming Languages, Type Theory, Formal Verification

London, UK