mlang VS Keka

french tax code has a semi-official DSL syntax

https://github.com/MLanguage/mlang

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

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-...

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

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.

--> https://github.com/MLanguage/mlang

*"Compiler for the M language, used to compute the income tax of French taxpayers"*

Keka isn't open source. It's not even source-available! https://github.com/aonez/Keka/blob/fb4292000cf946e6a022d0281...

> The source code of Keka 1.0 will not be public due some legal issues. Legal support is needed, if you can help the project, please get in contact on [email protected] or the Project page on the official Keka website. Any help is welcome.

While not identical in functionality, I highly recommend Keka: https://www.keka.io

Keka - Price: Free File archiver for macOS that supports many file formats, including ZIP, RAR, and 7-Zip.

Since RAR decompression is listed, I'll assume you mean compression:

https://github.com/aonez/Keka/wiki/Rar-compression

Sounds like it is a licensing issue more than anything? People still compress to RAR?

Step 3: Right click the duplicated EXE and click Open With> and select the extraction program of your choice. If you do not have one, I recommend Keka, which can be downloaded here https://github.com/aonez/Keka/releases/latest for free or purchased on the Mac App store if you would like to support the developer (https://mas.keka.io/)

Or course it may not be what you wanted, since you may download RAR files other than videos; and you may want to change the default application to RAR utilities, such as The Unarchiver or Keka.

- In an app called Keka: https://github.com/aonez/Keka/issues/1177

Keka is an awesome unarchiver

Textual¹ is open-source but sells the precompiled app. Keka² has the app available for free on GitHub but charges for it on the Mac App Store, to support development.

¹ IRC client for macOS: https://github.com/Codeux-Software/Textual

² Un/archiver for macOS: https://github.com/aonez/Keka

Keka is a really good archive tool on macOS