An utility for generating and validating Australian Banking Association Cemtex file format
The cmtc compiler providing cmtir-based passes to generate backends including FIRRTL, SystemVerilog and simulators.
A rule-based embedded HDL in Rust.
The macros for cmtrs.
Open hybrid quantum/classical PNT performance simulator
A dynamic, interpreted programming language with a high-performance bytecode VM.
A daemon to provide clients with an error bounded timestamp interval.
Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
Server-side Web Authentication (WebAuthn) Relying Party (RP) API.