mlang
catala
| mlang | catala | |
|---|---|---|
| 7 | 35 | |
| 175 | 1,922 | |
| 0.0% | 1.1% | |
| 9.1 | 9.7 | |
| 5 days ago | 2 days ago | |
| OCaml | OCaml | |
| GNU General Public License v3.0 only | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
mlang
-
IRS builds task force to explore running its own free e-file system
french tax code has a semi-official DSL syntax
https://github.com/MLanguage/mlang
-
Show HN: Calculator for US Individual Income tax, from 1970-present
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
-
Open Source Tax Software
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-...
- Catala: A Programming Language for the Law
-
Code isn’t law—law is law
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
-
Software engineers make the best CEOs, at least when measured by market cap
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.
-
Templating for Lawyers
--> https://github.com/MLanguage/mlang
*"Compiler for the M language, used to compute the income tax of French taxpayers"*
catala
- Co to znaczy być edżajlowi?
-
Hey, Computer, Make Me a Font
Programming and law can go together tho https://github.com/CatalaLang/catala
- GitHub - CatalaLang/catala: Programming language for literate programming law specification
-
CatalaLang/catala: Programming language for law specification
Law is a mess, in part because its authors take shortcuts. For example, from the first example on CatalaLang's README.md:
> If the property was acquired by gift [and various conditions apply], then for the purpose of determining loss the basis shall be such fair market value. [emphasis added]
I think (and I'm not a lawyer or a tax expert) that this means that the basis of an asset can have a different value for the purpose of determining gain or determining loss. Wow, basis isn't just a number, although one might not notice this if one didn't read the six emphasized words.
But the Catala code seems to completely ignore this. Oops. I filed an issue:
https://github.com/CatalaLang/catala/issues/514
In a real use case, I imagine that substantial refactoring of the parts that consume basis might be needed when one notices that the basis is not a number.
- Catala – Programming language for literate programming law specification
- Code source du calcul de la taxe foncière
-
Looking for a language to visualize logic relationships
Catals is a language trying to exactly this.
-
Have any of you considered law school with a math background?
There's even a programming language for that: https://catala-lang.org/
What are some alternatives?
Textual - Textual is an IRC client for OS X
Les-codes-en-vigueur - Ce dépôt des Codes en vigueur permet à tout un chacun de consulter, modifier (_fork_) et proposer leurs changements (_Pull Request_) qui seront examinés systématiquement par les instances legislatives de la République Française. Ces dernières mettront en place dans les plus brefs délais un système de validation par les citoyens (_peers_) afin de pouvoir répondre à toutes les demandes. Nous travaillons de concert avec l'équipe de Github pour rendre disponible en Français l'interface de cette plateforme.