catala
catala-website
catala | catala-website | |
---|---|---|
35 | 2 | |
1,922 | 9 | |
1.1% | - | |
9.7 | 7.7 | |
4 days ago | 26 days ago | |
OCaml | ReScript | |
Apache License 2.0 | 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.
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/
catala-website
-
Catala Lang: DSL designed for deriving implementations from legislative texts
Thanks for pointing out the broken link, I just fixed it : https://github.com/CatalaLang/catala-website/commit/a5c4157a....
Your question is spot-on; for me the Catala code has to be officially published from the government service that uses it to apply a piece of law automatically with a legal expert system : tax administration, social benefits administration, etc.
If you disagree with the code, then I guess you could sue the administration in court. The leg
What are some alternatives?
mlang - Compiler for the M language, used to compute the income tax of French taxpayers
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.
alaptorveny - Magyarország Alaptörvénye
nl-covid19-notification-app-website - Project website
leyes - La Constitución Española en git
france.code-penal - Le Code pénal français, sous Git
gesetze - Bundesgesetze und -verordnungen
v - Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
crowdlaw - Mirror of Crowd Law application, with releases
the-constitution-of-india - The Constitution of India, with each amendment as a commit.
fontogen - Hey, Computer, Make Me a Font