{"id":22124179,"url":"https://github.com/federicoponzi/tlaplus-wiki","last_synced_at":"2025-07-25T15:31:51.789Z","repository":{"id":244098616,"uuid":"814261204","full_name":"FedericoPonzi/tlaplus-wiki","owner":"FedericoPonzi","description":"A community sourced free tla+ formal methods wiki.","archived":false,"fork":false,"pushed_at":"2024-09-08T18:49:08.000Z","size":865,"stargazers_count":1,"open_issues_count":1,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2024-09-08T20:13:52.227Z","etag":null,"topics":["formal-methods","mdbook-book","model-checking","tlaplus","wiki"],"latest_commit_sha":null,"homepage":"https://federicoponzi.github.io/tlaplus-wiki/","language":"CSS","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/FedericoPonzi.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","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}},"created_at":"2024-06-12T16:45:30.000Z","updated_at":"2024-09-08T18:49:11.000Z","dependencies_parsed_at":"2024-06-12T23:11:21.849Z","dependency_job_id":"e9e85a56-bd16-4f68-828a-3b1ff57d3a57","html_url":"https://github.com/FedericoPonzi/tlaplus-wiki","commit_stats":null,"previous_names":["federicoponzi/tlaplus-wiki"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FedericoPonzi%2Ftlaplus-wiki","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FedericoPonzi%2Ftlaplus-wiki/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FedericoPonzi%2Ftlaplus-wiki/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FedericoPonzi%2Ftlaplus-wiki/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/FedericoPonzi","download_url":"https://codeload.github.com/FedericoPonzi/tlaplus-wiki/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":227590136,"owners_count":17790446,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":["formal-methods","mdbook-book","model-checking","tlaplus","wiki"],"created_at":"2024-12-01T15:46:48.278Z","updated_at":"2024-12-01T15:46:48.836Z","avatar_url":"https://github.com/FedericoPonzi.png","language":"CSS","funding_links":[],"categories":[],"sub_categories":[],"readme":"# tlaplus-wiki\nThis is an effort to try to centralize some documentation related to TLA+.\n\nContribution are very welcome! Please find a page that is still in draft, open an issue and start working on it. Other than new content; fixes, feedback, comments, requests are all welcome. \n\n---\n\n## Bulding\nYou will need cargo (rust package manager) and some components:\n```\ncargo install mdbook\n## to show last change date at the bottom of the pages.\ncargo install mdbook-last-changed\n## ToC\ncargo install mdbook-toc\n## better latex support\ncargo install mdbook-katex\n```\n\nand run with:\n```\nmdbook serve --open\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffedericoponzi%2Ftlaplus-wiki","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffedericoponzi%2Ftlaplus-wiki","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffedericoponzi%2Ftlaplus-wiki/lists"}