Skip to content
View soronpo's full-sized avatar
22 followers · 0 following

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report soronpo

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 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
@loicl-bbc
loicl-bbc
@sake92
Sakib Hadžiavdić sake92
FlowRun.io, Sharaf, OpenApi4s, Hepek

@sacode387 Sarajevo, Bosnia

@fabianhjr
Fabián Heredia Montiel fabianhjr

Mexico City, Mexico

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer. Previously Apple Pay Security.

Lafayette, Indiana

@plokhotnyuk
Andriy Plokhotnyuk plokhotnyuk

Kraków, Poland

@xiamuyingu
xiamuyingu
@nanocoh
Noam Cohen nanocoh
@noti0na1
noti0na1 noti0na1

LAMP, EPFL Lausanne

@doofin
Eason du doofin
part-time researcher about functional and formal math

Chinese Academy of Sciences China

@carlosedp
Carlos Eduardo carlosedp
Check my articles on https://carlosedp.medium.com and support me at https://github.com/sponsors/carlosedp

RISC-V Ambassador / Red Hat Architect / Independent Developer Sao Paulo/Brazil

@TheZoq2
Frans Skarman TheZoq2
Developer of spade-lang.org. PostDoc at Hochschule München. Embedded rust fan Most of my personal projects are on https://gitlab.com/TheZoq2
@timothyklim
timothy timothyklim
@tribbloid
Peng Cheng tribbloid

acyclic.ai Toronto

@EmergentOrder
Alex Merritt EmergentOrder
Machine Learning - Scala / Python - Data Science / Engineering - Functional Programming

Independent - contract Remote

@Dzhangar
Dzhangar
@ewanas
El-Hassan Wanas ewanas

Istanbul, Turkey

@sebdoesdata
sebdoesdata
@kmizu
Kota Mizushima kmizu
Ph.D. (Engineering). Interested in programming languages/formal lanruages/parser/...

Osaka, Japan

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@mushtaq
mushtaq
@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany