Individual donors?

[andrew222651]

Can individuals donate or just organizations?

[lemmy]

@andrew222651 Thank you for your question. You’re the first individual who has asked about donating, and we should have an answer for you soon.

[lemmy]

Unfortunately, there isn’t currently a practical way to make direct monetary donations to TLA+. However, we do maintain a list of open technical issues that need attention: https://github.com/tlaplus/tlaplus/issues?q=is%3Aissue%20state%3Aopen%20label%3A%22help%20wanted%22

If you don’t have the time to work on these issues yourself, another way to contribute is by posting a bounty for them on platforms such as LFX Crowdfunding. This can help attract contributors to tackle the work.