JayOfemi/shikamaru

Overview

A TypeScript library that provides provably correct implementations of day-count conventions and accrued-interest calculations. It uses formal methods to guarantee the correctness of financial date arithmetic.

Best for

Best for
Developers building financial tools that require provably correct day-count and interest computations.

Use cases

• Computing accrued interest for bond settlements using actual/actual or 30/360 conventions.
• Verifying day-count fractions in financial contracts or derivatives pricing.
• Building auditable financial applications that require provable correctness.

Notes

A TypeScript library that provides provably correct implementations of day-count conventions and accrued-interest calculations. It uses formal methods to guarantee the correctness of financial date arithmetic.

0 stars on GitHub. Last updated 2026-06-10. Licensed MIT.

Use cases

• Computing accrued interest for bond settlements using actual/actual or 30/360 conventions.
• Verifying day-count fractions in financial contracts or derivatives pricing.
• Building auditable financial applications that require provable correctness.

Pros

• Formal correctness guarantees reduce the risk of calculation bugs.
• Written in TypeScript with type safety and clear interfaces.
• Targets a specific, common financial need with precision.

Cons

• No stars or community adoption yet, making reliability unproven in production.
• Narrow scope: only day-count and interest calculations, not a full finance library.
• Lack of documentation and examples beyond the repository README.

Indexed from awesome-mcp-servers-punkpeye and enriched against its public facts.