Blueprint, Technology for Nonprofits
calblueprint
Blueprint's mission is to make beautiful engineering accessible and useful for those who create communities and promote public welfare.
Berkeley, CA
Open Source San José
codeforsanjose
Uniting volunteer coders, designers, researchers, community members, and more in solving local issues since 2014. Formerly known as Code for San José.
San Jose, CA
Yan
yanliu18
Programming Language, Formal Methods Researcher /
Smart Contract Auditor /
Haskell/Rust programming
Pi2.network Melbourne
Antmicro
antmicro
Antmicro is a software-driven tech company developing open and modern industrial edge and cloud AI systems.
The OpenROAD Project
The-OpenROAD-Project
OpenROAD seeks to develop and foster an autonomous, 24-hour, open-source layout generation flow (RTL-to-GDS).
United States of America
VLSI Design & Automation Group
VLSIDA
UC Santa Cruz VLSI Design and Automation research lab
Santa Cruz, CA
Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
SiFive
sifive
We bring RISC-V, software, and silicon experts together to innovate with a modern, software-driven approach to semiconductors.
1875 South Grant Street Suite 600, San Mateo, CA 94402
Formal Systems Laboratory
Formal-Systems-Laboratory
University of Illinois at Urbana Champaign
K framework
kframework
University of Illinois at Urbana-Champaign and Alexandru Ioan Cuza University of Iasi
Symbiotic EDA
SymbioticEDA
Symbiotic EDA writes open source tools for digital circuit designers to make them more productive.
Vienna
Brian Vien
Finkoy
I am a computer science masters student at the University of Illinois at Urbana-Champaign.
PreviousNext