scott-fleischman
Follow
Emily 💞
emilycodestar
I commit on the first date. 🚩 My code is cleaner than your browser history. Check my repos if you think you can handle a merge conflict with me. 💅🐍
Soumya Ranjan Behera
soumyargithub
Tech enthusiast | Curious learner
Passionate about technology, coding, and how digital platforms work. Exploring, learning, & growing every day.
Bengaluru, India
Rhys Sharpe
rhys-sharpe
I am an undergraduate student with a passion for the intersection of ancient studies and modern technology.
Sermet Pekin
SermetPekin
Senior Specialist | Economics & Finance | Data Science & AI | C++ · Python · R | Open Source Creator | Internal Trainer
Edward Amsden
eamsden
Systems programming, PL/runtime implementation, distributed systems.
@temporalio Texas
James Cuénod
jcuenod
Sr AI Translation Tech at Seed Co. Autodidact. Academic. Biblical exegesis. PhD Biblical Theology (OT). Coding is a way of life. 🇿🇦
Seed Company
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
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Elliot Cameron
3noch
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕
Indiana
Digital Humanities / Digital Classics projects - Chair of Ancient History University of Trier
ecomp-shONgit
http://www.eaqua.net/
http://ecomparatio.net/
http://www.replicatio.science/
University Trier, Ancient History
Erik Post
epost
lead developer at @statebox ⭐ functional programming - type theory - category theory - abstract algebra - processes - computation
@statebox Amsterdam
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn
PreviousNext