Skip to content
View ttuegel's full-sized avatar
157 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.

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
@glucoseloop
glucoseloop
@axiomed
Axiomed axiomed
Lean4 for software engineers.
@Gabriella439
gabby Gabriella439

San Jose, CA

@thoughtpolice
Austin Seipp thoughtpolice
i live 400 miles underground

East River Source Control Austin, TX

@grahamc
Graham Christensen grahamc

Berkshire County, MA

@JonathanLorimer
Jonathan Lorimer JonathanLorimer

Toronto, Ontario

@calin1304
Călin Nicolau calin1304
Haskell, Rust, Elixir, Racket, what's next?

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.

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