{"id":22530069,"url":"https://github.com/xiaoshihou514/ndp.vim","last_synced_at":"2025-06-27T19:32:16.911Z","repository":{"id":266162232,"uuid":"859748515","full_name":"xiaoshihou514/ndp.vim","owner":"xiaoshihou514","description":"Vim support for the natural deduction markup language","archived":false,"fork":false,"pushed_at":"2024-09-24T07:09:09.000Z","size":19,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-06-23T01:46:02.566Z","etag":null,"topics":["logic","proof","vim"],"latest_commit_sha":null,"homepage":"","language":"Vim Script","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/xiaoshihou514.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-09-19T08:03:07.000Z","updated_at":"2025-01-03T15:53:56.000Z","dependencies_parsed_at":"2024-12-02T22:46:49.435Z","dependency_job_id":null,"html_url":"https://github.com/xiaoshihou514/ndp.vim","commit_stats":null,"previous_names":["xiaoshihou514/ndp.vim"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/xiaoshihou514/ndp.vim","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/xiaoshihou514%2Fndp.vim","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/xiaoshihou514%2Fndp.vim/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/xiaoshihou514%2Fndp.vim/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/xiaoshihou514%2Fndp.vim/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/xiaoshihou514","download_url":"https://codeload.github.com/xiaoshihou514/ndp.vim/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/xiaoshihou514%2Fndp.vim/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":262319071,"owners_count":23293002,"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":["logic","proof","vim"],"created_at":"2024-12-07T07:18:04.045Z","updated_at":"2025-06-27T19:32:16.720Z","avatar_url":"https://github.com/xiaoshihou514.png","language":"Vim Script","funding_links":[],"categories":[],"sub_categories":[],"readme":"# ndp.vim\n\n(Neo)Vim support for the natural deduction markup language\n\n## Features\n\n- syntax highlighting\n- go to specific proof by number, (`\u003cPlug\u003eNdpGotoLine`, binds to `gd` by default)\n\n## Installation\n\nInstall with your [favorite](https://github.com/junegunn/vim-plug) [plugin](https://github.com/folke/lazy.nvim) [manager](https://github.com/nvim-neorocks/rocks-git.nvim).\n\n```\nxiaoshihou514/ndp.vim\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fxiaoshihou514%2Fndp.vim","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fxiaoshihou514%2Fndp.vim","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fxiaoshihou514%2Fndp.vim/lists"}