8000 amir (Amir M. Saeid) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View amir's full-sized avatar
228 followers · 911 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@dpndnt @laserdisc-io

Block or report amir

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
@farhadhf
Farhad Hedayatifard farhadhf

AhaSend

@cbeust
Cedric Beust cbeust
Creator of Android Gmail.

San Francisco, CA, USA

@kmemarian
Kayvan Memarian kmemarian

University of Cambridge

@EurekaLabsAI
EurekaLabsAI
@davidchisnall
David Chisnall davidchisnall

SCI Semiconductor

@javierarrieta
Javier Arrieta javierarrieta

Oracle Dublin

@olaure01
Olivier Laurent olaure01
@Lev135
Lev Dvorkin Lev135
@lsrcz
Sirui Lu lsrcz
PhD candidate at the University of Washington.

@uwplse Seattle, WA

@gshen42
Gan Shen gshen42
@Kaptch
Sergei Stepanenko Kaptch
Ph.D. student in the Logic and Semantics group, Aarhus University.

Aarhus

@Octachron
Florian Angeletti Octachron

Inria Paris

@dnadales
Damian Nadales dnadales
I love to solve problems through software. I love to code solutions in Haskell. I love maintainable, correct, and robust software.

Eindhoven, The Netherlands

@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK

@luite
Luite Stegeman luite
@NicolasT
Nicolas Trangez NicolasT
Cloud-native product builder, former Principal Architect @scality. #Haskell'ist, music-lover and startup-minded.

.be & .uk

@stevana
Stevan A stevana
@ebresafegaga
Gaga ebresafegaga
@zesterer
Joshua Barretto zesterer
Interested in things. Usually exhausted.

Bristol, UK

@Champitoad
Pablo Donato Champitoad

Grothendieck Institute Paris

@flupe
Lucas Escot flupe

TU Delft Den Haag, NL

@cutsea110
cutsea110 cutsea110
Rust,Agda, Haskell, Scheme

Idein.inc Tokyo

@ccodel
Cayden Codel ccodel
First-year formal methods PhD student at Carnegie Mellon University.
@shwestrick
Sam Westrick shwestrick

New York University New York, NY

@mpilquist
Michael Pilquist mpilquist
@jberryman
Brandon Simmons jberryman
Server/haskell engineer at Hasura

hasura Richmond, VA

@mattwparas
Matthew Paras mattwparas
Interested in programming language development, compilers, contracts, and all things Rust and Racket

San Jose, California | Chicago, Illinois

@polytypic
Vesa Karvonen polytypic

Helsinki, Finland

@PierreLescanne
PierreLescanne

Ecole normale superieure de Lyon Lyon

@Firobe
Virgile Robles Firobe

@tarides France

@art-w
art-w
@jzimmerman
Joe Zimmerman jzimmerman
@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP @ GHC Team Portugal

@iwilare
Andrea Laretto iwilare
λ(λ1(00))(λ1(00)) • モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？

Tallinn University of Technology Tallinn, Estonia

@idontgetoutmuch
idontgetoutmuch
@Saizan
Andrea Vezzosi Saizan
@jappeace
Jappie Klooster jappeace

jappie software b.v. Kampen

@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

@avsm
Anil Madhavapeddy avsm
Professor of Planetary Computing, University of Cambridge

University of Cambridge Cambridge, UK

@samoht
Thomas Gazagnaire samoht

@tarides Paris, FR

@adrieng
Adrien Guatto adrieng

France

@lemastero
Piotr Paradziński lemastero
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data in Scala / Haskell / Idris / Agda @ScalaConsultants

Lublin

@zgalal
zgalal
@dfithian
Dan Fithian dfithian

@PatternDataworks Boston, MA

@gares
Enrico Tassi gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter

@coq @math-comp @LPCIC Inria Sophia-Antipolis

@hirrolot
berrilis hirrolot
At any cost, but for free
@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@Zimmi48
Théo Zimmermann Zimmi48
Researcher in Software Engineering. Develops @coq & its ecosystem. Likes to program with nice FP languages with type-inference, such as @ocaml or @elm

Télécom Paris Paris

@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France

@maximedenes
Maxime Dénès maximedenes
0