{"id":9831634,"name":"lean4-code-actions","ecosystem":"npm","description":"Refactorings and snippets for Lean 4","homepage":null,"licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"https://github.com/DenisGorbachev/vscode-lean4-code-actions","keywords_array":["Refactor","Rename","Move","Snippet"],"namespace":null,"versions_count":1,"first_release_published_at":"2024-04-29T13:24:57.506Z","latest_release_published_at":"2024-04-29T13:24:57.506Z","latest_release_number":"1.1.32","last_synced_at":"2026-05-24T17:32:34.805Z","created_at":"2024-04-29T22:20:37.493Z","updated_at":"2026-05-24T17:32:34.805Z","registry_url":"https://www.npmjs.com/package/lean4-code-actions","install_command":"npm install lean4-code-actions","documentation_url":null,"metadata":{"funding":null,"dist-tags":{"latest":"1.1.32"}},"repo_metadata":{"id":165054093,"uuid":"640425778","full_name":"DenisGorbachev/vscode-lean4-code-actions","owner":"DenisGorbachev","description":null,"archived":false,"fork":false,"pushed_at":"2024-04-29T13:19:41.000Z","size":8213,"stargazers_count":5,"open_issues_count":11,"forks_count":1,"subscribers_count":4,"default_branch":"main","last_synced_at":"2024-08-06T20:14:43.827Z","etag":null,"topics":["lean","vscode","vscode-extension"],"latest_commit_sha":null,"homepage":"","language":"TypeScript","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/DenisGorbachev.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":"2023-05-14T03:34:01.000Z","updated_at":"2024-08-06T20:14:43.828Z","dependencies_parsed_at":"2024-04-07T01:54:13.120Z","dependency_job_id":null,"html_url":"https://github.com/DenisGorbachev/vscode-lean4-code-actions","commit_stats":null,"previous_names":["denisgorbachev/vscode-lean4-code-actions"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DenisGorbachev%2Fvscode-lean4-code-actions","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DenisGorbachev%2Fvscode-lean4-code-actions/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DenisGorbachev%2Fvscode-lean4-code-actions/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DenisGorbachev%2Fvscode-lean4-code-actions/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/DenisGorbachev","download_url":"https://codeload.github.com/DenisGorbachev/vscode-lean4-code-actions/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":214675666,"owners_count":15768188,"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"},"owner_record":{"login":"DenisGorbachev","name":"Denis Gorbachev","uuid":"829578","kind":"user","description":"","email":"","website":null,"location":null,"twitter":"DenGorbachev","company":"Spire","icon_url":"https://avatars.githubusercontent.com/u/829578?u=4b6a909e9b2c95c88c25609ffe86680a8059e7db\u0026v=4","repositories_count":101,"last_synced_at":"2024-04-25T00:17:04.258Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/DenisGorbachev","funding_links":[],"total_stars":46,"followers":44,"following":1,"created_at":"2022-11-03T02:26:32.280Z","updated_at":"2024-04-25T00:17:17.986Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/DenisGorbachev","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/DenisGorbachev/repositories"},"tags":[]},"repo_metadata_updated_at":"2024-08-09T14:39:19.663Z","dependent_packages_count":0,"downloads":10,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":30.09006199285413,"dependent_packages_count":43.069912201246225,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":36.57998709705018},"purl":"pkg:npm/lean4-code-actions","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/npm/lean4-code-actions","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/npm/lean4-code-actions","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/npm/lean4-code-actions/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/lean4-code-actions/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/lean4-code-actions/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/lean4-code-actions/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/lean4-code-actions/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/lean4-code-actions/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/lean4-code-actions/codemeta","maintainers":[{"uuid":"dengorbachev","login":"dengorbachev","name":null,"email":"denis.d.gorbachev@gmail.com","url":null,"packages_count":6,"html_url":"https://www.npmjs.com/~dengorbachev","role":null,"created_at":"2024-04-29T22:23:07.014Z","updated_at":"2024-04-29T22:23:07.014Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/maintainers/dengorbachev/packages"}]}