Pinned Loading

1. esp32-firmware-platform esp32-firmware-platform Public

   ESP-IDF firmware platform with RTOS/cooperative backends, HAL-isolated app core, fake-HAL tests, scheduler timing validation, and CI evidence mapping.

   C++ 2

2. audio-fingerprint-lab audio-fingerprint-lab Public

   MATLAB DSP pipeline for WAV analysis, FIR filtering, and spectrogram-based audio fingerprint matching.

   MATLAB

3. quant-systems-lab quant-systems-lab Public

   Deterministic C++20 exchange-systems lab with price-time matching, binary protocols, risk checks, market data, replay logs, benchmarks, fuzz/invariant tests, and OCaml verification.

   C++ 1

4. sentinel sentinel Public

   End-to-end governed document intelligence platform with citation-grounded RAG, schema-constrained extraction, human review workflows, and immutable audit trails.

   Python

5. cherry cherry Public

   TypeScript