Skip to content
View kcsmnt0's full-sized avatar
26 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report kcsmnt0

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
@emilycodestar
Emily 💞 emilycodestar
✨ hiiii! check out my open-source projects 💻💖 they’re like my little babies and I love sharing them 🌸🐾
@cmcmA20
cmcmA20
@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

san francisco

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@diasbruno
Bruno Dias diasbruno
☕ 🛹 🎾 🎼 λ

Brazil

@phlummox
phlummox phlummox
Python, Prolog, Haskell, and Ocaml user.

Australia

@amir
Amir M. Saeid amir

Dublin, Ireland

@simfleischman
Scott Fleischman simfleischman

SimSpace

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

University of Cambridge Cambridge, Cambridgeshire, UK

@mutantmell
mutantmell
@glaebhoerl
Gábor Lehel glaebhoerl
cat, also crow

Hungary

@scott-fleischman
Scott Fleischman scott-fleischman
@googleson78
Georgi Lyubenov googleson78

@tripshot

@oisdk
Donnacha Oisín Kidney oisdk
Computer science PhD student at Imperial College London.

Cork, Ireland

@gallais
G. Allais gallais

Glasgow, Scotland

@hazelweakly
Hazel Weakly hazelweakly
I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.

Seattle, WA

@Westwood-S
Li Shi Westwood-S
@themattchan
themattchan

@awakesecurity

@marat-curious
Marat marat-curious
@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@electricfirefly
Dani electricfirefly
Hey all! I'm a computer scientist working in in PL theory, zero knowledge proofs, cryptography, and formal methods. Rust, Agda, Haskell

Portland

@effectfully
effectfully
@hangohan52
Kenny Han hangohan52
🧗🏽

New York, NY

@michaelheyman
Michael Heyman michaelheyman

Portland, OR

@bgins
Brian Ginsburg bgins