Skip to content
View Saizan's full-sized avatar
107 followers · 2 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Block or report Saizan

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
@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@ethanflower1903
Ethan Flower-01100101 01110100 01101000 01100001 01101110 ethanflower1903
Dev-Sec-Ops- Engineer

san francisco

@colltoaction
Martin Coll colltoaction
Let's rethink computing

🇦🇷

@plumenator
Karthik Ravikanti plumenator

Singapore

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@jellyterra
Jelly Terra jellyterra
HACKING FOR FUN! 18yr old. Passionate about CS, EE, CSE and automation! Learning to build a compiler. Also design circuits in SpinalHDL.

Rizhao Experimental Senior High School Shandong, China

@marinelli
Giorgio Marinelli marinelli

Italy

@ysangkok
Janus Troelsen ysangkok
Looking for a job

Ciudad de México

@dragospe
Peter Dragos dragospe
@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ
@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA. Avatar: (c) Cafenated, Berkeley, CA. https://cafenated.myshopify.com

Chapman University Orange, CA

@cmcmA20
cmcmA20
@MangoIV
Mango The Fourth MangoIV
Haskell, Nix and other functional languages

Leipzig, Germany

@armean
armean
@Rewbert
Robert Krook Rewbert
PhD student at Chalmers University of Technology. Compilers, IoT, Languages, Testing

Chalmers University of Technology Gothenburg

@nachivpn
Nacho nachivpn
Trying out this research thing
@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan

@amir
Amir M. Saeid amir

Dublin, Ireland

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@leongal
leongal
@rybla
Henry Blanchette rybla
programming languages, formal verification, functional programming, game theory.

CS PhD student at UMD UMD

@KindaSloth
Guilherme dos Reis Meira KindaSloth
Recreational Developer

São Paulo

@frankfanslc
frankfanslc frankfanslc

Fatpipe Networks Salt Lake City, UT

@cstml
Vlad L cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"

Sheffield, United Kingdom

@guilhermehas
Guilherme Silva guilhermehas

Chalmers

@beike-zh
beike-zh
@carlostome
Carlos Tomé carlostome
@omelkonian
Orestis Melkonian omelkonian
PhD @ University of Edinburgh   Formal Methods @input-output-hk   Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification

University of Edinburgh Kirkwall, Orkney, Scotland

@moritayasuaki
Yasuaki Morita moritayasuaki
PhD student at Reykjavik University

L Reykjavik

@fizruk
Nikolai Kudasov fizruk
Haskeller falling down a rabbit hole.

@InnopolisUniversity

@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité Paris, France

@luca-apostoli
luca luca-apostoli
@xenoblitz
Andrew Calleja xenoblitz
@cmester0
Lasse Letager Hansen cmester0

Aarhus University Aarhus, Denmark

@anqurvanillapy
Anqur anqurvanillapy

Chengdu, China

@pnlph
herminie pnlph
Learning @agda

Leipzig

@bourbakis
bourbakis
Aggregator of differential programming.

Shanghai

@pedrotst
Pedro Abreu pedrotst
PL PhD Student at Purdue

Indiana, USA

@shapr
Shae Erisson shapr
Haskell, Python, Swedish, knitting, mountain unicycling, contact juggling

@RecurseCenter Medford, MA, USA

@mytxd
尹名洋 mytxd
Haskeller
@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@subttle
Ian subttle

USA

@oisdk
Donnacha Oisín Kidney oisdk
Computer science PhD student at Imperial College London.

Cork, Ireland

@orionsread
orionsread
@ernestas-poskus
Ernestas Poskus ernestas-poskus
pragmatic & ambitious
@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@danilolutz
Danilo Lutz danilolutz
Obsessed for learning. OOP, NodeJS, PHP, C# and Python lover. Since 2003 coding... PGP: 74da 4cf2 3870 fd1b 6cf6 41aa 7f11 0f0c 966e eee3

Brazil

@nikitavoloboev
Nikita nikitavoloboev
@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus