GridCraft
A free desktop spreadsheet in Rust that reads and writes real .xlsx files
Emerged finds new products worth a look, daily — what’s new today
Every computed line traces back to an archived IRS page, which is the property anyone building tax or compliance software on generated code will want to copy.
us-tax-model encodes the 2025 Form 1040 and its worksheets line by line as YAML, each line cited to an archived IRS page. A TypeScript evaluator computes in exact integers, and the same building blocks are defined again in Lean 4 with properties proved. It returns a values sheet with derivations; it does not file. The README estimates it covers 78.4% of individual returns and refuses cases such as dependents or rental income. By its own account agents wrote most of it, no line has a signed human reading, and it is not ready for real returns.
More like this
CodeEraser
A deterministic gate against duplicate code and stale docs from LLM agents
SemIf
Read a yes/no probability straight out of a small open model, no generated text
O
Opair
A coding harness that pairs with you instead of working on its own
Hence
A logic grid you read from drawings instead of sentences
Unlazy
An agent skill that refuses to call work done until executable gates pass