Skip to content
View asr's full-sized avatar
70 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

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.

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
@DanielOliverosO
Daniel DanielOliverosO
@sjmartinet
Samuel Martinez torres sjmartinet
Ing. de Sistemas

Universidad EAFIT

@taunDx
taunDx
@PhysShell
PhysShell
@augyg
Galen Sprout augyg
Live Laugh Love, Functionally

Ace Talent Community

@dkapt
Dimitrios Kapetanios dkapt

Greece

@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

@aortega0703
Andrés Ortega aortega0703

Medellín, Colombia

@daromi94
Dave R. daromi94
@Ramyromel
Ibrahim Ghonem Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog

Sky limit Egypt

@agr-23
Alejandro Garcés Ramírez agr-23
@alxbnct
Yosef Weissmann alxbnct
@dsalazar444
Daniela Salazar Amaya dsalazar444
:)

Medellin, Colombia

@Efrain-J
Efraín J Efrain-J
@WonderfulAme
Amelia WonderfulAme

Planet Earth

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

Hangzhou

@senthil28
senthil28
@crg28
Carlos Restrepo crg28
Computer science, EAFIT
@SamuelAreiza
SamuelAreiza
@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

@ZL91
LZ91X ZL91
@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

@miarango
Maria Isabel Arango Palacio miarango
@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

Universidad EAFIT

@jpvillaisaza
Juan Pedro Villa Isaza jpvillaisaza
Software developer passionate about functional programming (whatever that means)

@stackbuilders El Retiro, Colombia

@beike-zh
beike-zh
@dvelasquev
dvelasquev
@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

@bibiana13
bibiana13
@DevenLu
DevenLu
@clopezr9
clopezr9
@ayo-dele-akin
Ayodele ayo-dele-akin
Human
@aevelezc
aevelezc
@xmpf
Michalis Papadopoullos xmpf
@Mv77
Mateo Velásquez-Giraldo Mv77
Economist

Board of Governors Washington, DC

@eda-ricercatore
Zhiyang Ong eda-ricercatore
A multilingual, globetrotting cultural chameleon pursuing U.N. SDGs

Design Automation Renegades In passato, vicino al Dolomiti