{"id":20397295,"url":"https://github.com/tlaplus/foundation","last_synced_at":"2026-03-09T13:04:41.700Z","repository":{"id":42173362,"uuid":"415671548","full_name":"tlaplus/foundation","owner":"tlaplus","description":"TLA+ Foundation","archived":false,"fork":false,"pushed_at":"2026-03-03T21:51:51.000Z","size":16364,"stargazers_count":32,"open_issues_count":3,"forks_count":6,"subscribers_count":13,"default_branch":"main","last_synced_at":"2026-03-04T01:19:55.114Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://foundation.tlapl.us/","language":"HTML","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tlaplus.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2021-10-10T18:45:00.000Z","updated_at":"2026-03-03T21:50:07.000Z","dependencies_parsed_at":"2024-04-24T01:55:05.945Z","dependency_job_id":"9f570d22-0fde-4765-8040-272b0a154719","html_url":"https://github.com/tlaplus/foundation","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/tlaplus/foundation","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Ffoundation","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Ffoundation/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Ffoundation/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Ffoundation/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tlaplus","download_url":"https://codeload.github.com/tlaplus/foundation/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Ffoundation/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30297111,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-09T11:12:22.024Z","status":"ssl_error","status_checked_at":"2026-03-09T11:10:54.577Z","response_time":61,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-15T04:13:06.290Z","updated_at":"2026-03-09T13:04:41.687Z","avatar_url":"https://github.com/tlaplus.png","language":"HTML","funding_links":[],"categories":[],"sub_categories":[],"readme":"# TLA+ Foundation\n\n# Goals of the Foundation\nThe TLA+ Foundation (TLAF) is an independent, non-profit organization dedicated to fostering the adoption of the [TLA+ specification language](https://lamport.azurewebsites.net/tla/tla.html) in industry, academia, and education, guided by the overall goal of advancing the mathematical thinking in software engineering. The TLAF funds development related to TLA+ to broaden its use and facilitate a thriving [TLA+ community](https://groups.google.com/g/tlaplus), encouraging cooperation among members of that community.\n\nSee the [TLA+ Foundation Charter](https://cdn.platform.linuxfoundation.org/agreements/tla.pdf) and the [TLA+ Technical Charter](https://github.com/tlaplus/foundation/blob/main/static/docs/TLA%2B%20Project%20Technical%20Charter.pdf) for more details.\n\n## The values of the Foundation\nThe core principles guide the actions of the foundation:\n\n* **Open source**. The TLA+ Foundation will embrace the open-source ethos wholeheartedly. Whenever the TLAF develops or sponsors the development of tools and infrastructure, it will all be open-source under a permissive license.  This is not limited to the result but also applies to how work is organized and carried out; the community at large has to be able to participate at each step of the journey.\n \n* **Empowering the community**. While the TLAF raises resources to fund development work, it also encourages volunteer efforts from industry, academia, and individuals. It attempts to coordinate all contributions to maximize their benefit to TLA+ users.\n\n* **Transparent**. All formal decision-making will be publicly accessible. The TLAF also strives to share ideas early to enhance collaboration and avoid duplicate efforts. Only certain categories of sensitive information (e.g., financial data and matters concerning particular individuals) may be kept confidential.\n\n* **Open, friendly, and diverse**. The TLAF strives to make sure that everyone is welcome and all can [contribute](https://github.com/tlaplus/tlaplus/blob/master/CONTRIBUTING.md).  Also consider attending our [regular project meetings](https://calendar.google.com/calendar/embed?src=cb3f93f188c92378a8fec42b25365ab2a64665d770a8265c1fcec00e03823c6c%40group.calendar.google.com\u0026ctz=America%2FLos_Angeles).\n\n# Press Release\n\nThe TLA+ Foundation's launch press release can be found [here](https://www.linuxfoundation.org/press/linux-foundation-launches-tlafoundation).\n\n# Members\n\nThe TLA+ Foundation would not exist without the support of the Member organizations listed below. If your company or organization is interested in joining as a Member, please begin the process [here](https://enrollment.lfx.linuxfoundation.org/?project=tla).\n\n\u003ctable border=\"0\" cellspacing=\"0\"\u003e\u003ctr\u003e\n  \u003ctd\u003e\u003ca href=\"https://aws.amazon.com\"\u003e\u003cimg src=\"static/logos/amazon-web-services-inc.svg\" alt=\"AWS Logo\" width=\"300\" height=\"300\"\u003e\u003c/a\u003e\u003c/td\u003e\n  \u003ctd\u003e\u003ca href=\"https://oracle.com\"\u003e\u003cimg src=\"static/logos/oracle-america-inc.png\" alt=\"Oracle Logo\" width=\"300\" height=\"100\"\u003e\u003c/a\u003e\u003c/td\u003e\n\u003c/tr\u003e\u003c/table\u003e\n\n\n----------------------\n\nCopyright © 2023 The Linux Foundation®. All rights reserved. The Linux Foundation has registered trademarks and uses trademarks. For a list of trademarks of The Linux Foundation, please see our [Trademark Usage](https://www.linuxfoundation.org/legal/trademarks) page. Linux is a registered trademark of Linus Torvalds. [Terms of Use](https://www.linuxfoundation.org/legal/terms) | [Privacy Policy](https://www.linuxfoundation.org/legal/privacy-policy) | [Bylaws](https://www.linuxfoundation.org/legal/bylaws) | [Antitrust Policy](https://www.linuxfoundation.org/legal/antitrust-policy) | [Good Standing Policy](https://www.linuxfoundation.org/legal/good-standing-policy)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftlaplus%2Ffoundation","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftlaplus%2Ffoundation","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftlaplus%2Ffoundation/lists"}