mlang
PurefunctionPipelineDataflow
mlang | PurefunctionPipelineDataflow | |
---|---|---|
7 | 172 | |
175 | 439 | |
0.0% | - | |
9.1 | 7.4 | |
5 days ago | 15 days ago | |
OCaml | ||
GNU General Public License v3.0 only | - |
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"*
PurefunctionPipelineDataflow
-
Goodbye, Clean Code
Implement relational data model and programming based on hash-map (NoSQL)
-
How can I learn functional programming?
The Math-based Grand Unified Programming Theory: The Pure Function Pipeline Data Flow with Principle-based Warehouse/Workshop Model
-
Does Intel have an answer (or developing one) for AMDs Infinity Fabric?
I criticized "AMD Infinity Fabric Architecture" at the end of my article "Prediction: Intel will use "RISC-V plus x86 compatibility layer" or "RISC-V plus x86 heterogeneous computing architecture" to develop a new generation of "warehouse/workshop model" CPU".
- The Math-based Grand Unified Programming Theory: The Pure Function Pipeline Data Flow with principle-based Warehouse/Workshop Model
-
What should I do to defend my rights if the architecture of the Apple M1 chip is plagiarized from my theory and architecture?
What's more, you're being somewhat liberal with your "invention" dates here anyway. I'm sure you realize that anyone can review the commit history to see when content was added to the repo. As of Nov 2020, the day Apple announced a fully operational and tested, ready-to-ship silicon package the repo was a just series of bullet points listing out well-known concepts of functional programming sprinkled with some religious analogies and inspirational quotes. The farther you go back in the repo commit history, the less content is there.
- Apple M1 Ultra's architecture is a mistake, and Why Apple is not the creator of the M1 architecture? (with comment from chip designer who have worked at Apple for decades)
- M1 Ultra's architecture is a mistake, and Why Apple is not the creator of the M1 architecture? (with comment from chip designers who have worked at Apple for decades)
What are some alternatives?
catala - Programming language for literate programming law specification
concurrencpp - Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
Textual - Textual is an IRC client for OS X
gophernotes - The Go kernel for Jupyter notebooks and nteract.
UsTaxes - Tax filing web application
verona - Research programming language for concurrent ownership
Keka - The macOS & iOS file archiver
clojurust - A proof of concept version of Clojure in Rust.
taxsim.js - JS/WebAssembly version of NBER TAXSIM
refterm - Reference monospace terminal renderer
policyengine-us - The PolicyEngine US Python package contains a rules engine of the US tax-benefit system, and microdata generation for microsimulation analysis.
BetterDummy - Unlock your displays on your Mac! Smooth scaling, HiDPI unlock, XDR/HDR extra brightness upscale, DDC, brightness and dimming, dummy displays, PIP and lots more! [Moved to: https://github.com/waydabber/BetterDisplay]