Skip to content
View noughtmare's full-sized avatar

Highlights

  • Pro

Organizations

@yi-editor

Block or report noughtmare

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
@NathanielB123
Nathaniel Burke NathanielB123

TU Delft Delft, Netherlands

@ad-si
Adrian Sieber ad-si
CEO @Airsequel | Haskell, Elm, PureScript, Rust

@Airsequel Frankfurt am Main

@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

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

Delft

@dio4ev
Jonas Schöpf dio4ev

@DataLabHell Austria

@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.
@tea-lover-418
Stijn de Ligt tea-lover-418
I process tea into buggy code.

Q42

@SRechenberger
Sascha Rechenberger SRechenberger
Computer Science PhD Student

Ulm University Ulm

@0xameer
0xameer
https://sr.ht/~carnotweat/

carnot Bangalore

@BinderDavid
David Binder BinderDavid
Researcher in type theory and programming languages

University of Kent Canterbury, UK

@hellwolf
Miao ZhiCheng hellwolf
Promoting the idea of Semantic Money at Superfluid Finance | Building a decentralized future

@decentral-ee, @superfluid-finance Tallinn, Estonia

@yvan-sraka
Yvan Sraka yvan-sraka

Brussels, Belgium

@Elysium86
Elysium86
Semper ad meliora

eskişehir osmangazi university Eskişehir

@wolverian
Ilmari Vacklin wolverian

@reaktor Helsinki, Finland

@the-dr-lazy
Mohammad Hasani the-dr-lazy
Medical student, FP zombie.

Milky Way

@vaibhavsagar
Vaibhav Sagar vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.

gadigal land/sydney

@MangoIV
MangoIV
Haskell, Nix and other functional languages

@well-typed Germany

@solomon-b
Solomon solomon-b

Bitnomial Los Angeles

@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@Kleidukos
Hécate Kleidukos
Haskell developer // Technical writer // Community organiser

Montreuil

@xieyuheng
Xie Yuheng xieyuheng
rdi rsi rdx rcx r8 r9: diana's silly dog chases rabbits ruthlessly.

China

@fishtreesugar
FTS fishtreesugar
Correct software is niche
@evanrelf
Evan Relf evanrelf
Passionate about pragmatic, rigorous software craftsmanship. Working on ACH and checks at Mercury.

@MercuryTechnologies Portland, Oregon, United States

@AleXoundOS
AleXoundOS
Haskell | NixOS

Tbilisi, Georgia

@zhujinxuan
Jinxuan Zhu zhujinxuan
Web Developer; Working in eGenerationMarketing Inc.

eGenerationMarketing Inc Boston