catala
leyes
| catala | leyes | |
|---|---|---|
| 35 | 2 | |
| 1,922 | 82 | |
| 1.1% | - | |
| 9.7 | 3.7 | |
| 4 days ago | 3 months ago | |
| OCaml | ||
| Apache License 2.0 | Creative Commons Attribution Share Alike 4.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/
leyes
-
A top quality idea
Well, in fact, some guy upload the Spanish Constitution to Github, and you can see the changes in text the way that image say, by date https://github.com/hpalacio/leyes
Here you have the Spanish Constitution: https://github.com/hpalacio/leyes
What are some alternatives?
mlang - Compiler for the M language, used to compute the income tax of French taxpayers
gesetze - Bundesgesetze und -verordnungen
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.
nl-covid19-notification-app-website - Project website
alaptorveny - Magyarország Alaptörvénye
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