Skip to content
View anfelor's full-sized avatar
80 followers · 51 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Galaxy BrainAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Galaxy BrainAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Organizations

@naproche

Block or report anfelor

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
@0x000000000000000000001
Kevin 心学 0x000000000000000000001
🧩 FP Architect & SWE • {Category, Compiler, Type, Programming Language} Theory • Language-Agnostic • Event Sourcing • Large-scale systems • Guided AI

Paris, France

@stschaef
Steven Schaefer stschaef
@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@lovelydev0309
lovelydev0309
@cxandru
Cass Alexandru cxandru
FP enthusiast. I like working with: Haskell, Emacs, Agda, Nix, LaTeX. I sometimes use Bash, Python and have worked with Isabelle, Rocq, FSharp, Java, Scala

RPTU Kaiserslautern-Laundau & Radboud University Nijmegen Kaiserslautern

@BenjiRawlinson
Benjamin Rawlinson BenjiRawlinson
CoreTech Junior Consultant

Fourier London

@shreekanthashokg-lang
Shreekanth A Guttedar shreekanthashokg-lang
I'm an AI/ML Engineer and Data Scientist based in Bangalore, building production-grade intelligent systems while pursuing my MCA in AI/ML & Data Science

India Bangalore Sattva Global Tech Park 560059

@JVPH
JVPH JVPH

Colombia

@zweizeiler
zweizeiler
@nomadalgia
Emilia nomadalgia
Meow.

Unabomber Inc. Ltd. Co. LLC /proc/$(pidof urmum)/fd/0

@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@PhysShell
PhysShell
@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@CogniDroid
Dries Frederickx CogniDroid
Existing in a time where I try to use my incompetence.

Belgium

@serkm
Serkan Muhcu serkm
PhD student in programming languages

TU-Berlin Berlin

@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@alpaylan
Alperen Keleş alpaylan
I'm Alperen. I have many interests. I am a METU CENG graduate, currently a fifth year Ph.D. student at UMD CS advised by Leonidas Lampropoulos.

University of Maryland, College Park Maryland, United States

@janpaulpl
Jan-Paul Vincent Ramos-Dávila janpaulpl
programming language theory enthusiast

Boston University United States

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

Xanadu Canada

@fishtreesugar
FTS fishtreesugar
Correct software is niche
@jiangsy
Shengyi Jiang jiangsy
@TheFanatr
Yan TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.

\Device\HardDisk1

@tommyscholly
Tom Schollenberger tommyscholly
Software Engineer @Roblox, working on @luau-lang
@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.

Iran, Karaj

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@junrui-liu
Junrui Liu junrui-liu
@waterlens
Waterlens waterlens
@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@shwestrick
Sam Westrick shwestrick

New York University New York, NY

@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India

@nachivpn
Nachi Valliappan nachivpn
Doing this research thing
@YZmarkS
Youzhang (Mark) Sun YZmarkS
Programming Languages ∧ Mathematics

@Lodestone-Team

@imbrem
Jad Ghalayini imbrem
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations

University of Cambridge London, United Kingdom

@Connor9994
Connor Connor9994
@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

Vienna, Austria

@XSnow
Snow XSnow
A PhD graduate from @hkuplg

Paris

@ahuoguo
Alex Bai ahuoguo

New York University

@ayanamists
Li Chenxi ayanamists

MeiTuan Beijing, China

@jmanuel1
Jason Manuel jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.

Imagine Learning United States

@Emanon42
Emanon Emanon42
CPDT, CPDT

極東魔術昼寝結社 West Lafayette, IN, US

@tomtomjhj
Jaehwang Jung tomtomjhj
.__________.
@alexkeizer
Alex Keizer alexkeizer
PhD Student @ University of Cambridge

University of Cambridge Cambridge

@adnahmed
Adnan Ahmed adnahmed
Computer Scientist

Islamabad, Pakistan

@zero9178
Markus Böck zero9178
Having fun with MLIR and LLVM

ETH Zurich Zurich

@luisacicolini
Luisa Cicolini luisacicolini
creativity & formal methods enthusiast, engineer, phd student

University of Cambridge, @opencompl Cambridge

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@incipit0
Vincent Liu incipit0

Cambridge, United Kingdom

@aresbit
aresbit
@eaubin
eaubin
Old Time is still a-flying
@faizilham
Faiz Ilham faizilham
Doing computer stuffs

Netherlands