{"id":393348,"url":"https://github.com/litexlang/golitex","last_synced_at":"2026-05-22T06:20:26.443Z","repository":{"id":262782085,"uuid":"888329277","full_name":"litexlang/golitex","owner":"litexlang","description":"LItex: The First Formal Language Learnable in 1-2 Hours","archived":false,"fork":false,"pushed_at":"2025-09-13T10:32:47.000Z","size":27803,"stargazers_count":294,"open_issues_count":22,"forks_count":2,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-09-13T12:52:04.025Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://litexlang.org","language":"Go","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/litexlang.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":"2024-11-14T08:01:35.000Z","updated_at":"2025-09-13T10:32:51.000Z","dependencies_parsed_at":"2024-11-14T09:18:42.262Z","dependency_job_id":"58af0793-ea46-4f27-947b-9cb447d2cef2","html_url":"https://github.com/litexlang/golitex","commit_stats":null,"previous_names":["malloc-realloc/tslitex","litexlang/tslitex","litexlang/golitex"],"tags_count":17,"template":false,"template_full_name":null,"purl":"pkg:github/litexlang/golitex","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/litexlang%2Fgolitex","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/litexlang%2Fgolitex/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/litexlang%2Fgolitex/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/litexlang%2Fgolitex/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/litexlang","download_url":"https://codeload.github.com/litexlang/golitex/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/litexlang%2Fgolitex/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":275982466,"owners_count":25564146,"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-09-19T02:00:09.700Z","response_time":108,"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-08-24T00:01:33.858Z","updated_at":"2025-09-19T18:24:28.216Z","avatar_url":"https://github.com/litexlang.png","language":"Go","project_url":"https://opencollective.ecosyste.ms/api/v1/projects/393348","html_url":"https://opencollective.ecosyste.ms/projects/393348","collective":{"id":273167,"uuid":"3k0exgzn-m8yj64bg-ro5q5wao-9r7b4dlv","slug":"litexlang","name":"litexlang","description":"Litex: an intuitive and scalable formal language for coding your reasoning","website":"https://litexlang.org/","github":"litexlang/golitex","twitter":null,"repository_url":null,"social_links":[{"type":"WEBSITE","url":"https://litexlang.org/"}],"currency":"USD","projects_count":1,"last_synced_at":"2026-06-07T06:15:22.462Z","created_at":"2025-08-24T00:00:53.465Z","updated_at":"2026-06-07T06:15:22.589Z","transactions_count":null,"balance":0.0,"account_type":"COLLECTIVE","owner":{"login":"litexlang","name":"litexlang","uuid":"188843090","kind":"organization","description":"LiTeX is a formal proof management system inspired by Lisp semantics and LaTeX syntax. ","email":"litexlang@outlook.com","website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/188843090?v=4","repositories_count":1,"last_synced_at":"2024-11-18T10:27:03.854Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/litexlang","funding_links":[],"total_stars":22,"followers":2,"following":0,"created_at":"2024-11-18T10:27:03.875Z","updated_at":"2024-11-18T10:27:03.875Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/litexlang","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/litexlang/repositories"},"last_project_activity_at":"2025-09-13T10:32:47.000Z","archived":false,"no_funding":false,"no_license":false,"host":"opensource","collective_created_at":"2025-08-19T01:53:02.599Z","collective_updated_at":"2025-08-19T01:53:31.193Z","html_url":"https://opencollective.com/litexlang","icon_url":"https://images.opencollective.com/litexlang/logo/40.png","total_donations":0.0,"total_expenses":0.0,"current_balance":0.0,"api_url":"https://opencollective.ecosyste.ms/api/v1/collectives/litexlang","url":"https://opencollective.ecosyste.ms/collectives/litexlang","projects_url":"https://opencollective.ecosyste.ms/api/v1/collectives/litexlang/projects"}}