Skip to content
View flupe's full-sized avatar
👋
moving to sourcehut
👋
moving to sourcehut
54 followers · 146 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report flupe

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
@branchwelder
Hannah Twigg-Smith branchwelder
I'm building playful creative tools. Previously: PhD @machineagency, BS Olin College.

Cambridge, MA

@knitscape
knitscape
@Virtlink
Daniel A.A. Pelsmaeker Virtlink
I have a passion for programming, electronics, and domotica. My favorite languages are Kotlin, Rust, and C#.

TU Delft Delft, The Netherlands

@nobrakal
Alexandre Moine nobrakal

New York - USA

@sarajuhosova
Sára Juhošová sarajuhosova
PhD Candidate @ Programming Languages | TU Delft

Delft

@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 Kaiserslautern

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Post-doc at the University of Cambridge
@typst
Typst typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.

Berlin

@noughtmare
Jaro noughtmare

Netherlands

@basetunnel
Jacco basetunnel
@subblue
Tom Beddard subblue
Director of KPV LAB Edinburgh (formerly HyperDigital), part of the KPV Group in Munich

@kpv-lab, HyperDigital Ltd Edinburgh, UK

@phijor
Philipp Joram phijor
@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@JorisCeulemans
JorisCeulemans

KU Leuven Leuven

@rybla
Henry Blanchette rybla
programming languages, formal verification, game dev, game theory

CS PhD student at UMD Washington, DC

@nomeata
Joachim Breitner nomeata

Lean FRO Freiburg, Germany

@robrix
Rob Rix robrix
Colouring outside the lines.
@carlostome
Carlos Tomé Cortiñas carlostome
@ontomaquia
mala ontomaquia
@omelkonian
Orestis Melkonian omelkonian
PhD @ University of Edinburgh   Formal Methods @input-output-hk   Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification

Input Output (IOG) Kirkwall, Orkney, Scotland

@m-ou-se
Mara Bos m-ou-se
Rust leadership council member, Rust library team lead, Author of Rust Atomics and Locks, Founder of Fusion Engineering and Hexcat

Netherlands

@foone
Foone Turing foone
Hardware / software necromancer, collector of Weird Stuff, maker of Death Generators.

San Leandro, CA

@netherlands-coding-live
Netherlands Coding Live netherlands-coding-live
Netherlands Coding Live aka <NL_CL> a pop-up space for engaging with Live Coding through practice, experimentation, openness, discussion and performance.

The Netherlands

@andrevidela
André Videla andrevidela
@pgaskin
Patrick Gaskin pgaskin

Ontario, Canada

@Sin-tel
Sintel Sin-tel
🎏
@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@xaltsc
xaltsc xaltsc
math student somewhere

EU

@everestpipkin
everest everestpipkin
@pigworker
Conor McBride pigworker

Glasgow

@karlicoss
karlicoss
Friendly robot

London, UK

@lealbaugh
lealbaugh
@puffnfresh
Brian McKenna puffnfresh
λ

Launceston & North East Railway Tasmania, Australia

@Rich-Harris
Rich Harris Rich-Harris

NYC

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@UlfNorell
Ulf Norell UlfNorell
@emersion
Simon Ser emersion
I work on open-source software. Most of my other contributions are on Codeberg and gitlab.freedesktop.org.

France

@yvan-sraka
Yvan Sraka yvan-sraka

Brussels, Belgium

@baskerville
Bastien Dejean baskerville

France

@nothings
Sean Barrett nothings
@rubna
rubna rubna
@ssloy
Dmitry V. Sokolov ssloy
@aliefhooghe
aliefhooghe
@Mark2Mark
Mark Frömberg Mark2Mark
Typeface designer and developer, ½ of Hypertype, TypeMedia 2014

@hyper-type Berlin, Germany

@yopox
Louis Vignier yopox
Software developer @JetBrains • game dev

@JetBrains Paris, France

@portsmouth
Jamie portsmouth
Graphics researcher. @jamportz

@Autodesk London, UK

@zxqfl
Jacob Jackson zxqfl
@yaxu
Alex McLean yaxu
Para-academic research fellow as part of non-profit Then Try This

Then Try This Sheffield, UK

@paniq
Leonard Ritter paniq

Duangle GbR

@pzwang
Peter Wang pzwang

Anaconda, Inc. (formerly Continuum Analytics)