codewitness

Here is 1 public repository matching this topic...

thread3d / jcalculator

Java port of Microsoft's Windows Calculator: standard, scientific and programmer modes, memory and history, date and unit/currency conversion, exact rational arithmetic, with executable CodeWitness-verified specifications.

java calculator swing maven specifications desktop-application unit-converter mit-license junit5 date-calculator rational-arithmetic windows-calculator codewitness jcheck

Updated Oct 24, 2026
Java

Add this topic to your repo

To associate your repository with the codewitness topic, visit your repo's landing page and select "manage topics."

Learn more