🐕 A little programming language written in Rust

Ein: a tensor logic language unifying neural and symbolic AI

A robust and comprehensive library for validating tax identification numbers (TINs) worldwide. It supports validation against standard regex patterns and offers extended verification through checksum algorithms for countries with such requirements.

Free, open-source tool to fill out IRS tax forms (SS-4, 8832, 1120 and more) directly in your browser — no signup required.

Validate US Employer Identification Number (EIN)

A validation module checking the syntax of Employer identification numbers (EINs)

Forcing ipython notebooks to display multiple equations in single line

Incorporate a Delaware C-Corp from Claude Code — application, legal docs, cofounder e-sign, human-reviewed filing

A fast and allocation-efficient normalizer that converts raw input into a valid EIN format (XX-XXXXXXX), validating exactly 9 digits and ignoring non-numeric characters.

⚓ A monochrome, e-ink-first nautical chart viewer for the reMarkable tablet.

CharityAPI provides a simple REST API for data about US nonprofits and charities sourced directly from IRS filings. Developers can retrieve nonprofit records by EIN, verify whether an organization is a public charity (501c3) with tax-deductible status, and integrate organization name autocomplete to power donation, vetting, and compliance…