Skip to content
View ttuegel's full-sized avatar
160 followers · 26 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@haskell @NixOS @kframework

Block or report ttuegel

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@glucoseloop
glucoseloop
@axiomed
Axiomed axiomed
Lean4 for software engineers.
@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@thoughtpolice
Austin Seipp thoughtpolice
i live 400 miles underground

https://ersc.io Austin, TX

@grahamc
Graham Christensen grahamc

Berkshire County, MA

@JonathanLorimer
Jonathan Lorimer JonathanLorimer

Toronto, Ontario

@calin1304
Călin Nicolau calin1304

Romania

@sskeirik
Stephen Skeirik sskeirik
Software Engineer at @Pi-Squared-Inc

@Pi-Squared-Inc Tennessee

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@mrkgnao
Soham Chowdhury mrkgnao
@gridaphobe
Eric Seidel gridaphobe

New York

@cdepillabout
Dennis Gosnell cdepillabout

Sapporo, Japan

@deech
Aditya Siram deech
@rikvdkleij
Rik rikvdkleij
Physicist which became Software Developer
@bos
Bryan O'Sullivan bos
@mchakravarty
Manuel M T Chakravarty mchakravarty
Lambda Scientist

Utrecht

@argumatronic
Julie Moronuki argumatronic
Teacher, (type) writer, Haskell den mom. Cofounder of @typeclasses

@joyofhaskell MONTANA

@sdiehl
Stephen Diehl sdiehl
I build software.

London

@kmicu
kmicu
@3noch
Elliot Cameron 3noch
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕

Indiana

@chris-martin
Chris Martin chris-martin
❬🖤❭ Haskell

@freckle Montana

@acowley
Anthony Cowley acowley

Philadelphia, PA, USA

@madjar
Georges Dubus madjar

Berlin

@bdesham
Benjamin Esham bdesham

Rochester, New York

@dcoutts
Duncan Coutts dcoutts

Well-Typed

@tibbe
Johan Tibell tibbe

Benetics AG Zurich, Switzerland