{"id":34567634,"url":"https://github.com/lambda-fairy/taleve","last_synced_at":"2026-05-29T19:31:35.091Z","repository":{"id":276610452,"uuid":"927144794","full_name":"lambda-fairy/taleve","owner":"lambda-fairy","description":"Formal model of stacker games in Lean","archived":false,"fork":false,"pushed_at":"2025-09-07T13:43:55.000Z","size":24,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-10-28T00:31:50.466Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Lean","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/lambda-fairy.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":"2025-02-04T13:34:18.000Z","updated_at":"2025-09-07T13:43:58.000Z","dependencies_parsed_at":"2025-02-09T12:35:16.283Z","dependency_job_id":null,"html_url":"https://github.com/lambda-fairy/taleve","commit_stats":null,"previous_names":["lambda-fairy/taleve"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/lambda-fairy/taleve","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lambda-fairy%2Ftaleve","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lambda-fairy%2Ftaleve/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lambda-fairy%2Ftaleve/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lambda-fairy%2Ftaleve/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/lambda-fairy","download_url":"https://codeload.github.com/lambda-fairy/taleve/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lambda-fairy%2Ftaleve/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":27999502,"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","status":"online","status_checked_at":"2025-12-24T02:00:07.193Z","response_time":83,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"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":"2025-12-24T09:11:45.996Z","updated_at":"2025-12-24T09:11:46.641Z","avatar_url":"https://github.com/lambda-fairy.png","language":"Lean","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Talève\n\n**Talève** is a formal model of [stacker games] in [Lean].\n\n[stacker games]: https://tetris.wiki/Tetris_Guideline\n[Lean]: https://en.wikipedia.org/wiki/Lean_(proof_assistant)\n\n## Background\n\nThe modern stacker community has published many materials on setups and theory.\nHowever, this research is fragmented across various chat threads, wiki pages, and spreadsheets.\n\nTalève aims to help by providing a standard method for researchers to formalize and publish their work.\n\n## Name\n\n\"Talève\" is the French word for swamphen.\nTwo species of the bird, *pūkeko* and *takahē*, are common in Aotearoa New Zealand.\nThe name honors the author's birthplace, and follows the French tradition of naming software after animals.\n\n## The other word starting with \"T\"\n\nThe name of the first stacker game is trademarked, and the company that owns it is quite eager to shut down projects that mention it.\nSo, to protect this project, I ask that we do not mention that name here.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flambda-fairy%2Ftaleve","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flambda-fairy%2Ftaleve","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flambda-fairy%2Ftaleve/lists"}