A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.
The main LiME code repository
Measurement-Based Probabilistic Timing Analysis framework
Static analyzer for Substrate FRAME's pallets
Academic-grade Worst-Case Execution Time analysis using LLVM infrastructure for embedded systems and real-time applications
Semantic-Based Worst Case Execution Time of Loop-Free C Programs using Optimization Modulo Theory
Performance benchmarking for deterministic ML inference. Measures latency, throughput, WCET with cryptographic verification of bit-identity across platforms. 11,840 test assertions. Pure C99, no dynamic allocation. Part of the certifiable-* ecosystem for safety-critical AI.
Portable, deterministic C++20 control library for industrial autonomy: PID to MPC to adaptive controllers, safety-gated and production-ready.
Embedded Neural Firmware (ENF) - a sealed, offline 'Neural BIOS' for batteryless devices.
Add a description, image, and links to the wcet topic page so that developers can more easily learn about it.
To associate your repository with the wcet topic, visit your repo's landing page and select "manage topics."