Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View makaimann's full-sized avatar

Organizations

@cvc5

Block or report makaimann

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
@FadiShawki
Fadi Shawki FadiShawki
The Etherlands @orbitmines

@orbitmines The Netherlands

@Jiankai-Sun
Jack Jiankai-Sun

Stanford University Palo Alto

@mingyucai
Mingyu Cai mingyucai

Lehigh University

@Gy-Hu
Guangyu (Gary) HU Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.

The Hong Kong University of Science and Technology Hong Kong

@samebchase
Samuel Chase samebchase
I like desert-island programming languages like Raku and Common Lisp. At work, I write Go (used to be Clojure and Java).

Pune, India

@iDoka
Dmitry Murzinov iDoka
Hardware Imagineer | Digital IC Design Engineer | Automotive Electronics Enthusiast

@dokard @deepware-ai Error: Unable to resolve

@fanhy2114
Felix fanhy2114
you are here, welcome

TsingHua University HaiDian Beijing

@psychedel
Anatol Myshkin psychedel
💻 Lead R&D engineer

Immfly Andorra

@zhanghongce
Hongce Zhang zhanghongce
Princeton ECE Alumnus, Assistant Professor @ HKUST(GZ)

Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China

@ekiwi
Kevin Laeufer ekiwi
Modern Hardware Construction Languages and Automated Testing

Cornell University Ithaca, NY