{"id":49881191,"url":"https://github.com/grassleaff/tif","last_synced_at":"2026-05-15T14:14:19.161Z","repository":{"id":334004497,"uuid":"1139624018","full_name":"grassleaff/tif","owner":"grassleaff","description":"tif is a lightweight interpreted language implemented in Lua, featuring basic control flow, variables, expressions and more. Aimed at experimentation and educational use.","archived":false,"fork":false,"pushed_at":"2026-02-20T00:55:56.000Z","size":21,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-02-20T04:49:15.062Z","etag":null,"topics":["interpreter","language","lexer","lua","lua-programming","parser","programming-language"],"latest_commit_sha":null,"homepage":"","language":"Lua","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/grassleaff.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,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-01-22T07:44:12.000Z","updated_at":"2026-02-20T00:56:00.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/grassleaff/tif","commit_stats":null,"previous_names":["nothingburguer/tif","grassleaff/tif"],"tags_count":null,"template":false,"template_full_name":null,"purl":"pkg:github/grassleaff/tif","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grassleaff%2Ftif","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grassleaff%2Ftif/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grassleaff%2Ftif/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grassleaff%2Ftif/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/grassleaff","download_url":"https://codeload.github.com/grassleaff/tif/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grassleaff%2Ftif/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":33069047,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-15T11:35:32.926Z","status":"ssl_error","status_checked_at":"2026-05-15T11:35:31.362Z","response_time":103,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: 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":["interpreter","language","lexer","lua","lua-programming","parser","programming-language"],"created_at":"2026-05-15T14:14:18.518Z","updated_at":"2026-05-15T14:14:19.155Z","avatar_url":"https://github.com/grassleaff.png","language":"Lua","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003ca href='https://postimg.cc/MMYpZB5t' target='_blank'\u003e\u003cimg src='https://i.postimg.cc/MMYpZB5t/tif.png' border='0' alt='tif'/\u003e\u003c/a\u003e\n\n\u003cbr\u003e\n\n`tif` is a small interpreted programming language implemented in Lua.  \nIt was designed to be simple, lightweight, and easy to understand, serving both as an educational project and as a base for experimentation with language design and interpreter implementation.\n\n---\n\n\u003e [!WARNING]\n\u003e **This repository is an archived mirror — no longer actively maintained here.**\n\u003e Development has moved to Codeberg. Issues, pull requests, and contributions\n\u003e opened in this repository will not be monitored. For the active repository,\n\u003e see the [Codeberg mirror](https://codeberg.org/grassleaff/tif).\n\n---\n\n# Project Migration Notice\n\nThis project has been permanently migrated from GitHub to **[Codeberg](https://codeberg.org)**.\nThe canonical repository is now hosted at:\n\n```\nhttps://codeberg.org/grassleaff/tif\n```\n\nThis document outlines the technical and ethical rationale behind this decision.\n\n---\n\n## Background\n\nGitHub, acquired by Microsoft in 2018, has undergone a series of policy and structural changes\nthat progressively conflict with the principles this project upholds: software freedom, user\nsovereignty, transparency, and ethical use of contributed code.\n\nThe migration to Codeberg is a deliberate response to these changes, not a temporary measure.\n\n---\n\n## Reasons for Migration\n\n### 1. Use of Public Repositories to Train Commercial AI Without Explicit Consent\n\nGitHub Copilot was trained on source code from public repositories, including projects hosted\nunder licenses that impose specific conditions on use, reproduction, and attribution (e.g., GPL,\nLGPL, MPL, AGPL). The GitHub Terms of Service (Section D.8) grant the platform a broad license\nto use publicly hosted content for operating and improving its services — which now explicitly\nincludes AI products.\n\nNo effective opt-out mechanism was provided for code already published. Contributors to this\nproject never consented to having their work used as training data for a commercial product.\n\nThis issue resulted in a class-action lawsuit filed in November 2022 against GitHub, Microsoft,\nand OpenAI, alleging that Copilot reproduces licensed code without attribution, in violation of\nopen source license terms.\n\n### 2. Aggressive Platform-Level Integration of Copilot\n\nGitHub has progressively embedded Copilot across its interface — in the code editor, pull request\nreviews, issue tracking, and repository suggestions. This makes it functionally difficult to\nmaintain a project on the platform while enforcing a policy against AI-generated contributions,\nas the platform itself actively encourages and normalizes such use.\n\nThis concern was explicitly cited by the **Gentoo Linux** project when it announced its migration\nto Codeberg, referencing GitHub's \"continuous attempts to force Copilot usage\" on hosted\nrepositories.\n\n### 3. Organizational Restructuring: GitHub Absorbed into Microsoft CoreAI\n\nIn August 2025, GitHub's CEO Thomas Dohmke departed and the platform was formally integrated into\nMicrosoft's **CoreAI** division — the same organizational unit responsible for the company's\nartificial intelligence strategy. This removed any remaining institutional separation between\nGitHub as a developer platform and Microsoft's commercial AI business.\n\nGitHub is no longer an independently operated product. It is a strategic asset in a vertically\nintegrated AI pipeline.\n\n### 4. Government Contracts Raising Ethical Concerns\n\nMicrosoft and GitHub have maintained contracts with agencies such as U.S. Immigration and Customs\nEnforcement (ICE), which have drawn sustained criticism from civil liberties organizations and\nmembers of the open source community. Hosting critical project infrastructure on a platform with\nthese institutional relationships is inconsistent with this project's values.\n\n### 5. DMCA Takedowns and Lack of Due Process\n\nGitHub has a documented history of responding to DMCA takedown requests by removing repositories\nwith limited notice and inadequate mechanisms for contestation. Notable cases include the removal\nof `youtube-dl` in 2020 and various security research repositories.\n\nThis represents an operational risk: a project's entire history, issues, and releases can be made\ninaccessible without recourse, based on a third-party legal request directed at a centralized\ncommercial host.\n\n### 6. Geopolitical Access Restrictions\n\nGitHub, as a U.S.-based platform subject to U.S. export controls and sanctions law, has previously\nrestricted access for developers in sanctioned countries without advance notice. A platform that\ncan unilaterally revoke access to contributors based on their nationality or location is not\nsuitable as a long-term home for a project that aims to serve a global community.\n\n---\n\n## Why Codeberg\n\n**[Codeberg](https://codeberg.org)** is operated by **Codeberg e.V.**, a registered non-profit\nassociation based in Berlin, Germany. The platform runs **[Forgejo](https://forgejo.org)**, a\ncommunity-governed fork of Gitea, under the terms of the EUPL.\n\nRelevant distinctions:\n\n- Operated as a non-profit with no commercial AI agenda\n- No use of hosted repositories for model training\n- Subject to EU law, including GDPR, rather than U.S. jurisdiction\n- Platform source code is free software and publicly auditable\n- Governance is transparent and community-oriented\n- Explicitly scoped to free and open source software projects\n\n---\n\n## Contributing\n\nAll active development, issue tracking, and pull requests are handled exclusively on Codeberg:\n\n```\nhttps://codeberg.org/grassleaff/tif\n```\n\nThis GitHub repository is not monitored. Pull requests and issues opened here will be closed\nwithout review.\n\n---\n\n## References\n\n- GitHub Terms of Service, Section D — https://docs.github.com/en/site-policy/github-terms/github-terms-of-service\n- *Doe v. GitHub, Inc.* (N.D. Cal., 2022) — class-action complaint regarding Copilot training data\n- Gentoo Linux migration announcement — https://www.gentoo.org/news/2024/09/18/codeberg-migration.html\n- Forgejo project — https://forgejo.org\n- Codeberg e.V. — https://codeberg.org/Codeberg/org/src/branch/main/en/bylaws.md\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgrassleaff%2Ftif","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgrassleaff%2Ftif","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgrassleaff%2Ftif/lists"}