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.

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
@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.
@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@SeshatCZ
SeshatCZ

Czech republic

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

Sam Industries Earth

@mowhn
mr_mowhn mowhn
I focus on gaining knowledge and creating projects for fun.
@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 Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

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

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
@thomas-martinod
Thomas Martinod thomas-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

@luismtorresv
Luis M. Torres V. luismtorresv
Computer Science Student at EAFIT University

Medellín, 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
Computational biophysicist

Center17 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

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

@stackbuilders El Retiro, Colombia

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

Input Output (IOG) Kirkwall, Orkney, Scotland

@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

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@ronaldcmde
Ronald Cardona Martínez ronaldcmde
Software Engineer.

EPAM Systems Inc. Colombia, Medellín