Textual
mlang
Textual | mlang | |
---|---|---|
8 | 7 | |
1,845 | 175 | |
0.0% | 0.0% | |
5.7 | 9.1 | |
7 months ago | 2 days ago | |
Objective-C | 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.
Textual
-
Is there anyone still maintaining a native IRC client for macOS?
Textual's source is on GitHub, and the most recent commit was only 4 months ago, so it appears it's still being worked on.
-
Entitlement in Open Source
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
-
Building Textual IRC Client
Textual is often the most recommended IRC client for macOS. You can buy it for $7.99 or you can simply build it from source. Let us look at how to do exactly that.
-
Selling my own GPL software, part 1: a lot of hurdles
Textual is a good example of this working IRL for me. Their app is one of the best IMO IRC clients on MacOS, is open source [1] and is also sold on the App store and their site.
1. https://github.com/Codeux-Software/Textual#original-limechat...
2. https://www.codeux.com/textual
-
Does M1 16 inch even have fans?
Textual: https://www.codeux.com/textual/
-
Open Source Tax Software
Two quick examples: Keka and Textual[2] are both open-source and you can pay for them on the Mac App Store or by direct payment. The former gives you compiled builds either way, the latter only if you pay.
[1]: https://github.com/aonez/Keka
[2]: https://github.com/Codeux-Software/Textual
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"*
What are some alternatives?
TrueCraft - Minecraft for hipsters
catala - Programming language for literate programming law specification
halloy - IRC application written in Rust
UsTaxes - Tax filing web application
cla-assistant - Contributor License Agreement assistant (CLA assistant)
Keka - The macOS & iOS file archiver
emailengine - Headless email client
taxsim.js - JS/WebAssembly version of NBER TAXSIM
openfisca-france - French tax and benefit system for OpenFisca
policyengine-us - The PolicyEngine US Python package contains a rules engine of the US tax-benefit system, and microdata generation for microsimulation analysis.
policyengine-uk - The UK's only open-source static tax-benefit microsimulation model.
usincometaxes - Calculate Federal and State US Income Taxes