openXC7
openXC7
Free and open source FPGA toolchain for AMD/Xilinx Series 7 chips, including Kintex-7. Supports Kintex7 (including 325/420/480t), Artix7, Spartan7 and Zynq7.
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Model Context Protocol
modelcontextprotocol
An open protocol that enables seamless integration between LLM applications and external data sources and tools.
Hoolock Linux
HoolockLinux
Linux on Apple iPhone, iPad, iPod touch, Apple TV and iBridge with A7-A11 or T2 SoC.
wcphkust
wcphkust
Static analysis, program language theory
Postdoc@Purdue CS, HKUST Alumnus West Lafayette
Yangyu Chen
cyyself
Ph.D. Student. Computer Architecture & Software co-design. Open-source enthusiastic.
Chongqing University (Beijing|Chongqing|Xiamen), China
Cyber Saiyan
CyberSaiyanIT
Cyber Saiyan is a no profit organization founded in December 2017 to promote social initiatives to spread cyber security and ethical hacking culture.
Italy
Romain Thomas
romainthomas
Security Engineer working on mobile, obfuscation and file formats • Creator
of @lief-project / @open-obfuscator
@lief-project @open-obfuscator
HydraUSB3
hydrausb3
HydraUSB3 dev kit for WCH CH569W MCU series RISC-V MCU 32-Bit Embedded Evaluation Board for High-Speed peripherals USB2, USB3, SerDes, HSPI...
France
John Lambert
JohnLaTwC
@JohnLaTwC
Security Fellow and Corporate Vice President, Microsoft Security
Microsoft Corporation
Phil Vachon
pvachon
Current Head of Infrastructure in the CTO's Office @bloomberg
Bloomberg, LP New York, NY
PreviousNext