Audio compression using companders (integer implementation, A-Law, Mu-Law) for embedded micros with IIR fixed-radix averager

audio compression embedded-systems radix audio-codec fixed-point iir integer-arithmetic a-law audio-samples compander mu-law u-law fixed-point-arithmetic fixed-point-algorithm embedded-audio

• Updated May 16, 2026
• C

Exact least-fixed-point solver and witness-strategy extractor for the Devastating Robber game on graphs.

python reproducible-research graph-theory pursuit-evasion cops-and-robbers graph-game fixed-point-algorithm vertex-deletion

• Updated Oct 7, 2026
• Python

Fixed-point algorithms for solving the critical value and upper tail quantile of Kuiper's statistics

goodness-of-fit c-code fixed-point-algorithm kuiper-test

• Updated Apr 10, 2024

Quantum Methods for Boundary Checking in Classical Programs

symbolic-execution program-analysis abstract-interpretation fixed-point-algorithm

• Updated Sep 26, 2025
• C