amortized-analysis-assistant
Apply amortized analysis techniques including aggregate, accounting, and potential methods
a5c-ai
244
asymptotic-notation-calculator
Automated derivation and simplification of Big-O, Big-Omega, and Big-Theta expressions for algorithm analysis
a5c-ai
244
loop-invariant-generator
Automatically generate and verify loop invariants for algorithm correctness proofs
a5c-ai
244
recurrence-solver
Solve recurrence relations using multiple methods including Master Theorem and generating functions
a5c-ai
244
termination-analyzer
Prove termination of algorithms and programs using ranking functions and well-founded orderings
a5c-ai
244