Copilot Language
Copilot-Language
Stream-based runtime-verification framework for generating hard real-time C code.
Fehr Mathieu
math-fehr
Research assistant at the University of Cambridge. PhD student at the University of Edinburgh.
University of Cambridge Cambridge, UK
周耀阳 (Zhou Yaoyang)
shinezyy
Interested in LLM DSA, CPU, and performance analysis; PhD in computer architecture; Husband & Father
PyMTL
pymtl
A Python-Based Ecosystem for Hardware Modeling, Generation, Simulation, and Verification
Wyatt
wyattbradley34
C# and python programmer interested in financial analysis, computer vision, and automation.
Dian-Lun (Aaron) Lin
dian-lun-lin
Research Engineer/Scientist @intel Labs
Intel Labs Hillsboro, Oregon
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
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".
Jeremy Ralph
jerralph
Computer Engineering. 20+ years of experience in Chip Design/Verification, Software and Firmware Development.
bigco Vancouver Island
Fabian Schuiki
fabianschuiki
Senior Staff Hardware Compiler Engineer at SiFive. PhD in Computer Architecture.
SiFive Silicon Valley, California
PreviousNext