catala
alaptorveny
catala | alaptorveny | |
---|---|---|
35 | 1 | |
1,922 | 206 | |
1.1% | - | |
9.7 | 0.0 | |
4 days ago | about 1 year 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/
alaptorveny
-
A top quality idea
I raise you the repo of the constitution of Hungary. It's maintained by some guy, not the government itself and since the last commit there must have been changes, but I'm not 100% sure on that.
What are some alternatives?
mlang - Compiler for the M language, used to compute the income tax of French taxpayers
the-constitution-of-india - The Constitution of India, with each amendment as a commit.
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
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
catala-website - Source code for the website of the Catala language
fontogen - Hey, Computer, Make Me a Font