Imandra
imandra-ai
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
London, Austin, Edinburgh
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
WaveDrom
wavedrom
Digital timing diagram (waveform) rendering engine that uses JavaScript to convert JSON description into SVG.
Earth
The KCL Programming Language
kcl-lang
KCL is an open-source constraint-based record & functional language mainly used in configuration and policy scenarios.
China
Ray Salemi
raysalemi
I teach physics and engineering at Natick High School.
In the past, I was a computer engineer, and I wrote the initial version of pyuvm and The UVM Primer.
Natick High School Boston, MA
HeteroDB,Inc
heterodb
To deliver the power of heterogeneous computing for all the people who want
Shinagawa, Tokyo, Japan
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
Vivliostyle
vivliostyle
An open source project for a new typesetting system fitting for digital and web publishing based on the latest web standard technology
Unum
unum-cloud
Scaling Intelligence. Rebuilding the cloud bottom-up — from Storage to Compute to AI — innovating across Storage, Numerics, and Modeling.