The Calyx Infrastructure
calyxir
Calyx is a compiler ecosystem for generating hardware accelerators
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
ProjectDiscovery
projectdiscovery
Monitor your infrastructure. Real vulnerabilities. Zero noise.
Steamship
steamship-core
The fastest way to add language AI to your product.
United States of America
David Beazley
dabeaz
Author of the Python Essential Reference (Addison-Wesley), Python Cookbook (O'Reilly), and former computer science professor. Come take a class!
Dabeaz, LLC Chicago
T. Meissner
tmeissner
FPGA-Engineer doing design and verification using VHDL, SystemVerilog, SVA and PSL.
Dresden, Germany
Kaushal Modi
kaushalmodi
Command-line, emacs, Org mode, hugo, Nim
@analogdevicesinc North Carolina, USA
Kevin Thomas
mytechnotalent
Author of the world’s most popular Reverse Engineering Tutorial
Washington, D.C.
Dmitry Murzinov
iDoka
Hardware Imagineer |
Digital IC Design Engineer |
Automotive Electronics Enthusiast
@dokard @deepware-ai Error: Unable to resolve
OpenTimer
OpenTimer
A High-performance Timing Analysis Tool for VLSI systems
University of Illinois at Urbana-Champaign
Francisco Javier Reina Campo
PacoReinaCampo
I am an Electronic Engineer specialized in digital design and verification, with emphasis on Hardware Description Languages ((System)Verilog, VHDL).
QueenField Abu Dhabi
Bo-Yuan Huang
Bo-Yuan-Huang
Security Research Scientist, formal verification and scalable assurance
Intel Corp.
PyMTL
pymtl
A Python-Based Ecosystem for Hardware Modeling, Generation, Simulation, and Verification
SoCRocket
socrocket
Transaction-Level Modeling Framework for Space Applications
Braunschweig, Germany
Tymoteusz Blazejczyk
tymonx
FPGA and Embedded Systems Design Engineer with a demonstrated history of working in the semiconductors industry and in very strict embedded environments.
tymonx Poland, Gdansk
Jeremy Webb
jwwebbopen
High-Speed Digital Hardware Engineer, FPGA Developer, and Perl Hacker.
Napa, CA
PreviousNext