Skip to content
View sstucki's full-sized avatar
78 followers · 8 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Block or report sstucki

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
@Boarders
Callan McGill Boarders
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@fangyi-zhou
Fangyi Zhou fangyi-zhou
Software Engineer | Programming Language Researcher en.pronouns.page/she&they

@facebook London, UK

@inariksit
Inari Listenmaa inariksit

Chalmers University of Technology Gothenburg, Sweden

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

Xanadu Canada

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@SeshatCZ
SeshatCZ

Czech republic

@NathanielB123
Nathaniel Burke NathanielB123

TU Delft Delft, Netherlands

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@0xameer
0xameer
https://sr.ht/~carnotweat/

carnot Bangalore

@EarlPitts
Bendeguz Seres EarlPitts
Interested in PL, Type Theory and Functional Programming. Nix and Haskell enthusiast.

Budapest

@bracevac
Oliver Bračevac bracevac
Problems worthy of attack prove their worth by hitting back. -- Piet Hein

Scala Core Developer @ EPFL

@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

@longfangsong
Fangsong Long longfangsong
A pure coder

Göteborg, Sverige

@KacperFKorban
Kacper Korban KacperFKorban
PL/FM PhD Student @ EPFL (SYSTEMF) Working on Verified Compilation

Lausanne, Switzerland

@jiangsy
Shengyi Jiang jiangsy
@phase
jadon phase

@Moonsworth @LunarClient California

@ericwang385
eric wang ericwang385

Gothenburg, Sweden

@AaronNGray
Aaron Gray AaronNGray
Independent Open Source Software Engineer, Computer Language Researcher, Information Theorist, and amateur computer scientist.
@nikivdev
Nikita nikivdev
@SelimHorri
Selim Horri SelimHorri
Software Engineer | AI & Data Engineering | DevOps | Cloud-Native | Former instructor | ..☕ 🍃 🅰️ 🗃 🐳 ☸️ ☁️..

Oodrive Tunisia

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

Glasgow, UK

@DKXXXL
EDJ DKXXXL
grad PLT enthusiast
@justStarNew
justStarNew
@carlostome
Carlos Tomé Cortiñas carlostome
@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

@solomon-b
Solomon solomon-b

Bitnomial Los Angeles

@shaunazzopardi
Shaun Azzopardi shaunazzopardi
@thinkhero
thinkhero
@dasinlsb
dasin dasinlsb
Software Engineering, graduated in 2021

BIGO Guangzhou

@amir
Amir M. Saeid amir

Dublin, Ireland

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@rainfalj
rainfalj
@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@bafain
Fabian bafain

Göteborg, Sweden

@scott-fleischman
Scott Fleischman scott-fleischman
@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@cesar-sanchez
Cesar Sanchez cesar-sanchez
Professor at the IMDEA Software Institute

IMDEA Software Institute Madrid, Spain

@nachivpn
Nachi Valliappan nachivpn
Doing this research thing
@no-identd
no_identd no-identd
In case you wonder "WHAT IN THE WORLD DOES THIS PERSON WORK ON": I too, wonder. & I fork many obscure repositories to safe them from getting memory holed.

Laniakea

@ayberkt
Ayberk Tosun ayberkt
Researcher in formal verification @zeroth-research

Zeroth Research Birmingham, UK

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

Swansea

@glaebhoerl
Gábor Lehel glaebhoerl
cat, also crow

Hungary

@AlexiaChen
MathxH Chen AlexiaChen
Agentic Engineer & Financial Trader. Ex Blockchain Engineer, Ex Cryptography Hobbyist, Ex Full Stack Engineer.

筑基散修 Kunming, China

@Zalastax
Pierre Krafft Zalastax

Gothenburg, Sweden

@fredefox
Frederik Hanghøj Iversen fredefox
Languages, functional programming, type theory and logic.

Penneo Copenhagen, Denmark

@czhang03
Cheng Zhang czhang03
I am in the process to move some of my personal projects to codeberg.
@gallais
G. Allais gallais

Glasgow, Scotland

@carld
Carl carld
@juanbono
Juan Bono juanbono

@lambdaclass Buenos Aires, Argentina