1509Chamma

1509Chamma

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
1 Stars
0 Forks
1 Watchers

🏆 Show off this rank

1509Chamma on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (1)

TempoDAG 1509Chamma/TempoDAG Python

Compiler for streaming time-series models on FPGAs: hardware costs predicted before synthesis, certified against machine-checked scheduling theorems (Lean 4), verified by C/RTL co-simulation. Pre-registered validation across 40 designs, 1997-2024 architectures.

1