Virtual whiteboard for sketching hand-drawn like diagrams

Command line binaries for the TLA+ language

Bash Automated Testing System

Python script to transform a VCD file to wavedrom format

Multilingual Document Layout Parsing in a Single Vision-Language Model

The TLA+ Video Course by Leslie Lamport

Raft library for maintaining a replicated state machine

Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code

Adding a table of contents to Specifying Systems, TLA+.pdf

Illustrate how to use VS Code TLA+ plugin on a trivial example

Source Code for 'Practical TLA+' by Hillel Wayne

Concurrency permutation testing tool for Rust.

TLA+ language support for Visual Studio Code

Python interpreter for TLA+ specifications

Arm NN ML Software.

MLPerf® Tiny is an ML benchmark suite for extremely low-power systems such as microcontrollers

Suica Viewer is a CLI and GUI tool that reads FeliCa-based transit IC cards, resolving detailed card, balance, and trip history data via a remote authentication server.

High-efficiency floating-point neural network inference operators for mobile, server, and Web

TFLM NPK Package

Andes DSP Library

Nuclei RISC-V Software Development Kit

Nuclei Microcontroller Software Interface Standard Development Repo

Infrastructure to enable deployment of ML models to low-power resource-constrained embedded targets (including microcontrollers and digital signal processors).

MAGE: A Multi-Agent Engine for Automated RTL Code Generation

MLPerf Client is a benchmark for Windows, Linux and macOS, focusing on client form factors in ML inference scenarios.

High-performance templating engine and JSON parser. Pure C++.

a header-only, constexpr alternative to gperf for C++14 users

Range library for C++14/17/20, basis for C++20's std::ranges