Skip to content
View jimmysitu's full-sized avatar
65 followers · 250 following
  • ZHAOXIN, JMST
  • 1KHujLT4AzQwQKSLEUSbcergqv7fMnQNXA

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report jimmysitu

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
@YosysHQ
Yosys Headquarters YosysHQ
Yosys Open SYnthesis Suite
@xiangli3
xiangli3
@ksteuck
ksteuck
@jafarsarif10
JAFAR SARIF jafarsarif10

Intel

@riscv-verification
riscv-verification
@wyattschwanbeck
Wyatt Schwanbeck wyattschwanbeck
C# and python programmer interested in financial analysis, computer vision, and automation.
@runtimeverification
Runtime Verification Inc. runtimeverification

Champaign, IL

@ManticoreRTL
Manticore ManticoreRTL
@siliconcompiler
siliconcompiler siliconcompiler
The Silicon Compiler Project
@dian-lun-lin
Dian-Lun (Aaron) Lin dian-lun-lin
Intel Labs

Intel Labs Hillsboro, Oregon

@DIJamner
Dustin Jamner DIJamner
@palexand
Perry Alexander palexand
Faculty leader of @ku-sldg. Interested in all things formal methods, functional programming, and trusted computing related.

ITTC - The University of Kansas 2335 Irving Hill Rd, Lawrence, KS 66045

@joonwonc
Joonwon Choi joonwonc

Apple United States

@mit-plv
Programming Languages and Verification Group at MIT CSAIL mit-plv

MIT CSAIL, Building 32–G8

@rocq-archive
The Rocq Prover Archive rocq-archive
This organization is used to archive unmaintained projects related to the Coq / Rocq Prover ecosystem, including, but not limited to, former "Coq contribs".
@zotero
Zotero zotero
@snbk001
Sudhee snbk001
RTL Design learner.
@tomverbeure
Tom Verbeure tomverbeure
24/7 electronics (and some biking)

Sunnyvale, CA

@jerralph
Jeremy Ralph jerralph
Computer Engineering. 20+ years of experience in Chip Design/Verification, Software and Firmware Development.

bigco Vancouver Island

@HardSecurity
HardSecurity
@fabianschuiki
Fabian Schuiki fabianschuiki
Senior Staff Compiler Engineer

SiFive Silicon Valley, California

@NVlabs
NVIDIA Research Projects NVlabs
@djvelleman
Dan Velleman djvelleman

Annapolis, MD, USA

@True-genghao
True-genghao
@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities.

Formal Land Paris

@shift-left-test
Shift-left testing shift-left-test
Shift-left testing for embedded software
@apple
Apple apple

Cupertino, CA

@Lean-zh
Lean 中文文档翻译 Lean-zh
@ekiwi
Kevin Laeufer ekiwi
Modern Hardware Construction Languages and Automated Testing

Cornell University Ithaca, NY

@MPSLab-ASU
Making Programming Simple Lab MPSLab-ASU

Tempe

@bradyneal
Brady Neal bradyneal

@mila-udem Montreal, Canada

@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

@py-why
PyWhy py-why
@chipsalliance
CHIPS Alliance chipsalliance
Common Hardware for Interfaces, Processors and Systems
@axiomed
Axiomed axiomed
Lean4 for software engineers.
@gl-inet
gl-inet
@tsnlab
tsnlab
@openai
OpenAI openai
@siddhartha-gadgil
Siddhartha Gadgil siddhartha-gadgil

Indian Institute of Science Bangalore

@loongson-community
Loongson Community loongson-community
The open source community of Loongson (龙芯开源社区)
@ucb-bar
UC Berkeley Architecture Research ucb-bar

Berkeley, CA

@cocotb
cocotb
@WecomTeam
企业微信开发者 WecomTeam
企业微信开发者中心开发教程、开发文档配套相关代码示例。

China

@metamath
Metamath metamath
@teorth
teorth
@ilyasergey
Ilya Sergey ilyasergey
CS Prof

National University of Singapore Singapore

@braibant
Thomas Braibant braibant

London

@bmsherman
Ben bmsherman

MIT CSAIL

@samuelgruetter
Samuel Gruetter samuelgruetter

MIT

@gert-smolka
Gert Smolka gert-smolka

Saarland University Germany