US federal income tax forms and instructions as cited, executable, machine-checkable data.
☆120Oct 30, 2026Updated this week
Alternatives and similar repositories for us-tax-model
Users that are interested in us-tax-model are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Faster iteration with plumber☆14Dec 23, 2018Updated 7 years ago
- Auto-dismiss the macOS 'Allow X to find devices on local networks?' prompt. Presses Don't Allow for you, zero CPU idle, survives reboots.☆85Updated this week
- An R package for capturing and detecting SIGTERM to enable graceful shutdown.☆15Mar 11, 2021Updated 5 years ago
- Prosebot is a template-based natural language generation application. Throughout the last years, ZOS has been developing Prosebot as part…☆11Feb 6, 2023Updated 3 years ago
- ☆11Oct 8, 2014Updated 12 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated last week
- Show Demotivational Messages on Errors☆13Aug 2, 2019Updated 7 years ago
- Convenience Functions for Manipulating Datetimes☆21Jun 9, 2025Updated last year
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆18Oct 15, 2026Updated 2 weeks ago
- Write code your way while ensuring remote consistency.☆16Jul 3, 2026Updated 3 months ago
- Cloudflare workers preview for every pull requests☆12Mar 16, 2022Updated 4 years ago
- A LSP framework to inject a LSP diagnostics. The most common use case is to run linters (ESLint, Stylelint ...) and inject the errors/war…☆16Jun 1, 2024Updated 2 years ago
- An international phone number validator☆11Feb 22, 2026Updated 8 months ago
- js prettier plugin for Sublime Text☆11Sep 16, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Small, configurable proof search for inductive Lean goals☆26Sep 30, 2026Updated last month
- A data web service, lightning talk.☆17Sep 26, 2024Updated 2 years ago
- A hidapi extention for godot engine.☆12May 27, 2024Updated 2 years ago
- HTTP server for the Grafeo graph database. Turns Grafeo's embeddable engine into a standalone database server accessible via REST API and…☆15Updated this week
- The script aims to provide a simple DM screen by displaying handy stats and info on the campaign screen.☆35Feb 20, 2024Updated 2 years ago
- dotfiles for cappyzawa☆12Updated this week
- Code and documentation for CIDR workshops☆31Apr 29, 2025Updated last year
- General-purpose psychology agent (Caude Code): collegial mentor, specialized sub-agents, and a consensus-or-parsimony adversarial evaluat…☆20May 1, 2026Updated 5 months ago
- ☆15Apr 27, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A platform for exploring floating-point expressions☆27Sep 10, 2025Updated last year
- ☆37Jun 1, 2017Updated 9 years ago
- a battery-included library for dataflow protocols☆26Updated this week
- wicket-clientside-logging is a helper library that allows javascript logging on client side that stores messages on server side too.☆15Mar 2, 2018Updated 8 years ago
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆11May 18, 2025Updated last year
- High-performance, distributed build, verification, and counterexample tooling for Lean 4☆46Updated this week
- Charybdis Mini Travel Case☆18May 3, 2025Updated last year
- A collection of GPU demos aiming to educate and provide examples of utilising GPU parallel computing in game development.☆17Jul 23, 2022Updated 4 years ago
- PaperTTY - Python module to render a TTY or VNC on e-ink☆17Jun 3, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- LaTeX class for DnD character sheets☆33May 7, 2021Updated 5 years ago
- Ethereum Smart Contract - Proof of Work token☆10Jul 2, 2017Updated 9 years ago
- Gleam library that renders REST obsolete for SPAs and other Erlang-based clients.☆18Jul 15, 2026Updated 3 months ago
- A ground-up, native-Rust reimplementation of the entire Lean 4 toolchain — drop-in at the binary surfaces (.olean, C ABI, LSP, CLI), dete…☆38Updated this week
- Elixir files generated from Temporal.io's protobuf files using protobuf-elixir.☆19Oct 17, 2026Updated last week
- CDK constructs for working with RDS☆19Oct 2, 2025Updated last year
- ☆33Mar 2, 2021Updated 5 years ago