catala
Les-codes-en-vigueur
| catala | Les-codes-en-vigueur | |
|---|---|---|
| 35 | 1 | |
| 1,922 | 34 | |
| 1.1% | - | |
| 9.7 | 10.0 | |
| 4 days ago | over 11 years ago | |
| OCaml | ||
| 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/
Les-codes-en-vigueur
-
A top quality idea
France actually does it and it’s awesome.
What are some alternatives?
mlang - Compiler for the M language, used to compute the income tax of French taxpayers
nl-covid19-notification-app-website - Project website
alaptorveny - Magyarország Alaptörvénye
gesetze - Bundesgesetze und -verordnungen
leyes - La Constitución Española en git
france.code-penal - Le Code pénal français, sous Git
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