UsTaxes VS mlang

I’ve been using https://github.com/ustaxes/UsTaxes ; cross-checked with my manual form filing and it’s spot on. Print and mail and save the hassle :)

There is an AGPL program to fill the 1040 form. https://github.com/ustaxes/UsTaxes

Yes.

We (PublicDomainCompany.com) are going to do it if someone doesn't beat us to it first. Will be a 2023 project for us (https://github.com/breck7/copypastetaxes).

I've been a supporter of https://github.com/ustaxes/UsTaxes and they are doing amazing grunt work that will be a big part of the solution.

Also, here's a great image of the first income tax return:

Sort of tangentially, I'm working with other contributors on https://ustaxes.org, an open source tax filing webapp https://github.com/ustaxes/UsTaxes.

Currently, many Federal tax forms are supported, as well as tax filing for the state of Illinois. Filing for Oregon and California is under development!

- https://github.com/ustaxes/UsTaxes

Anyone can write tax filing software. There are free and open source solutions. Given how much good it would bring to "the people", more developers should work on this. https://github.com/ustaxes/UsTaxes

I'm working with other contributors on https://ustaxes.org, an open source tax filing webapp https://github.com/ustaxes/UsTaxes. The goal is to make tax filing free for everyone.

french tax code has a semi-official DSL syntax

https://github.com/MLanguage/mlang

France has an open source implementation of their tax code [0]. The paper [1] gives an overview of the implementation language, mlang.

[0] https://github.com/MLanguage/mlang

The french initiative started in 2013 is still alive (last commit a few days ago), and passes the gov test suite (they keep in touch with our version of the IRS): https://github.com/openfisca/openfisca-france

The way we got this is interestingly twisted.

French citizens requested the software used by the administration, and they managed to get it!

But, it's was written in Mlang is a proprietary language created by the french administration in the 90: https://github.com/MLanguage/mlang.

Someone then decided to create an OCaml compiler that takes mlang and emits python: https://arxiv.org/abs/2011.07966

As a result, we got we got open fisca. I know believe there are other techs in the mix...

A slide of the story: https://www.slideshare.net/Etalab/opening-up-the-french-tax-...

They have open sourced the algorithm they use to compute taxes here: https://gitlab.adullact.net/dgfip/ir-calcul which used a purpose made programming language https://github.com/MLanguage/mlang

It's important to note that this isn't universal across the entire legal system. Some subsets like France's tax system are defined in code, and there's some efforts to create more general systems as computational law advances as a field.

--> https://github.com/MLanguage/mlang

*"Compiler for the M language, used to compute the income tax of French taxpayers"*