tree-sitter-follow


Nametree-sitter-follow JSON
Version 0.1.0 PyPI version JSON
download
home_pageNone
SummaryFollow is a dependent type language for formal proof.
upload_time2025-01-12 07:25:07
maintainerNone
docs_urlNone
authorNone
requires_python>=3.9
licenseMIT
keywords incremental parsing tree-sitter follow
VCS
bugtrack_url
requirements No requirements were recorded.
Travis-CI No Travis.
coveralls test coverage No coveralls.
            
            

Raw data

            {
    "_id": null,
    "home_page": null,
    "name": "tree-sitter-follow",
    "maintainer": null,
    "docs_url": null,
    "requires_python": ">=3.9",
    "maintainer_email": null,
    "keywords": "incremental, parsing, tree-sitter, follow",
    "author": null,
    "author_email": "Peng Lingwei <penglingwei@zju.edu.cn>",
    "download_url": "https://files.pythonhosted.org/packages/f1/92/3efd5304e93b787044715866a2cb4f2f458dd5e9c7c707836e86bc6da8ea/tree_sitter_follow-0.1.0.tar.gz",
    "platform": null,
    "description": "",
    "bugtrack_url": null,
    "license": "MIT",
    "summary": "Follow is a dependent type language for formal proof.",
    "version": "0.1.0",
    "project_urls": {
        "Homepage": "https://github.com/tree-sitter/tree-sitter-follow"
    },
    "split_keywords": [
        "incremental",
        " parsing",
        " tree-sitter",
        " follow"
    ],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "9f7263634eee5fdcc53563ef077c6a5749a3e738c17e6f144b766357139881ef",
                "md5": "a6de5be0edc5261dd378097540a12c9a",
                "sha256": "63056f2212e3be47b70f0f119de6f2e8df066138cc9df90fa41e6965ad401d4a"
            },
            "downloads": -1,
            "filename": "tree_sitter_follow-0.1.0-cp39-abi3-macosx_10_9_x86_64.whl",
            "has_sig": false,
            "md5_digest": "a6de5be0edc5261dd378097540a12c9a",
            "packagetype": "bdist_wheel",
            "python_version": "cp39",
            "requires_python": ">=3.9",
            "size": 8793,
            "upload_time": "2025-01-12T07:24:52",
            "upload_time_iso_8601": "2025-01-12T07:24:52.708685Z",
            "url": "https://files.pythonhosted.org/packages/9f/72/63634eee5fdcc53563ef077c6a5749a3e738c17e6f144b766357139881ef/tree_sitter_follow-0.1.0-cp39-abi3-macosx_10_9_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "3b430bd0185648865039c81905bc49057c9958671a91a984da09ef8a6a2d159e",
                "md5": "5f3a3ea44cbd42804e496b74aae83735",
                "sha256": "ac83fcbb7d49e3c21565c1815bdf0b5802b7415705151277eb86b58b077d4ed8"
            },
            "downloads": -1,
            "filename": "tree_sitter_follow-0.1.0-cp39-abi3-macosx_11_0_arm64.whl",
            "has_sig": false,
            "md5_digest": "5f3a3ea44cbd42804e496b74aae83735",
            "packagetype": "bdist_wheel",
            "python_version": "cp39",
            "requires_python": ">=3.9",
            "size": 9253,
            "upload_time": "2025-01-12T07:24:55",
            "upload_time_iso_8601": "2025-01-12T07:24:55.406798Z",
            "url": "https://files.pythonhosted.org/packages/3b/43/0bd0185648865039c81905bc49057c9958671a91a984da09ef8a6a2d159e/tree_sitter_follow-0.1.0-cp39-abi3-macosx_11_0_arm64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "7d8dd17ed4407bae7505d35968c3792e490c06ee8ed8821e752fa7dc201d94f3",
                "md5": "afc5a8b63625818aaabdb8120f8cd14e",
                "sha256": "a853bd7d51e7ecf90a4fd79c6c41334fe5deb500306e4c90a981144cc5920bf3"
            },
            "downloads": -1,
            "filename": "tree_sitter_follow-0.1.0-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
            "has_sig": false,
            "md5_digest": "afc5a8b63625818aaabdb8120f8cd14e",
            "packagetype": "bdist_wheel",
            "python_version": "cp39",
            "requires_python": ">=3.9",
            "size": 18960,
            "upload_time": "2025-01-12T07:24:56",
            "upload_time_iso_8601": "2025-01-12T07:24:56.191764Z",
            "url": "https://files.pythonhosted.org/packages/7d/8d/d17ed4407bae7505d35968c3792e490c06ee8ed8821e752fa7dc201d94f3/tree_sitter_follow-0.1.0-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "6a79c176954a754342ebda8665ddd47674ffab700a67ea95e056ffa2b4d2b874",
                "md5": "99611ad7b8952efddad83332dc22d6dd",
                "sha256": "99b7041cbc54bc7aa0447cbb6833921d09968fe897f7f2ca2cfcd6e4932cb7e4"
            },
            "downloads": -1,
            "filename": "tree_sitter_follow-0.1.0-cp39-abi3-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
            "has_sig": false,
            "md5_digest": "99611ad7b8952efddad83332dc22d6dd",
            "packagetype": "bdist_wheel",
            "python_version": "cp39",
            "requires_python": ">=3.9",
            "size": 19181,
            "upload_time": "2025-01-12T07:24:57",
            "upload_time_iso_8601": "2025-01-12T07:24:57.106821Z",
            "url": "https://files.pythonhosted.org/packages/6a/79/c176954a754342ebda8665ddd47674ffab700a67ea95e056ffa2b4d2b874/tree_sitter_follow-0.1.0-cp39-abi3-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "886c68e333ae249c40bda134f9c752feeeb4c801b60ee4b83f6dc50448c96142",
                "md5": "6908bcde4658f20bcebead8e10928795",
                "sha256": "a549111b2786aa23abbcb358a7defca2fd4628e12934298f4e8f27e1161abdf5"
            },
            "downloads": -1,
            "filename": "tree_sitter_follow-0.1.0-cp39-abi3-musllinux_1_2_x86_64.whl",
            "has_sig": false,
            "md5_digest": "6908bcde4658f20bcebead8e10928795",
            "packagetype": "bdist_wheel",
            "python_version": "cp39",
            "requires_python": ">=3.9",
            "size": 17787,
            "upload_time": "2025-01-12T07:24:59",
            "upload_time_iso_8601": "2025-01-12T07:24:59.808550Z",
            "url": "https://files.pythonhosted.org/packages/88/6c/68e333ae249c40bda134f9c752feeeb4c801b60ee4b83f6dc50448c96142/tree_sitter_follow-0.1.0-cp39-abi3-musllinux_1_2_x86_64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "b09eba2b28e357697d62357c334ca0f6b041be920a72e7eb92accf9dbb9c2920",
                "md5": "12c38b58c74cee2aa6fd2c96ded06bc3",
                "sha256": "a08dd0156f36f14528e43af837765e6ff44a523d5fb9624d6cbe5198b8a5bec7"
            },
            "downloads": -1,
            "filename": "tree_sitter_follow-0.1.0-cp39-abi3-win_amd64.whl",
            "has_sig": false,
            "md5_digest": "12c38b58c74cee2aa6fd2c96ded06bc3",
            "packagetype": "bdist_wheel",
            "python_version": "cp39",
            "requires_python": ">=3.9",
            "size": 11708,
            "upload_time": "2025-01-12T07:25:01",
            "upload_time_iso_8601": "2025-01-12T07:25:01.904923Z",
            "url": "https://files.pythonhosted.org/packages/b0/9e/ba2b28e357697d62357c334ca0f6b041be920a72e7eb92accf9dbb9c2920/tree_sitter_follow-0.1.0-cp39-abi3-win_amd64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "597bd3150c2389f2c8e42438fc4a1ccf75570701602814b526634c4c6301bc0d",
                "md5": "db3cafa96ed99b898cec31d44e90e5d5",
                "sha256": "2ec0f639fb9bb6aee83cefb21c647b308a7a4d168bfa9ce548e1a6867bb16772"
            },
            "downloads": -1,
            "filename": "tree_sitter_follow-0.1.0-cp39-abi3-win_arm64.whl",
            "has_sig": false,
            "md5_digest": "db3cafa96ed99b898cec31d44e90e5d5",
            "packagetype": "bdist_wheel",
            "python_version": "cp39",
            "requires_python": ">=3.9",
            "size": 10545,
            "upload_time": "2025-01-12T07:25:05",
            "upload_time_iso_8601": "2025-01-12T07:25:05.234277Z",
            "url": "https://files.pythonhosted.org/packages/59/7b/d3150c2389f2c8e42438fc4a1ccf75570701602814b526634c4c6301bc0d/tree_sitter_follow-0.1.0-cp39-abi3-win_arm64.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "f1923efd5304e93b787044715866a2cb4f2f458dd5e9c7c707836e86bc6da8ea",
                "md5": "dbe8b87532a601f071cb7199b4ee3931",
                "sha256": "18d4964d41f3e0e0953bde0787dd899fea7025de8e5f0390ae4e9a26790da29e"
            },
            "downloads": -1,
            "filename": "tree_sitter_follow-0.1.0.tar.gz",
            "has_sig": false,
            "md5_digest": "dbe8b87532a601f071cb7199b4ee3931",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.9",
            "size": 10188,
            "upload_time": "2025-01-12T07:25:07",
            "upload_time_iso_8601": "2025-01-12T07:25:07.259122Z",
            "url": "https://files.pythonhosted.org/packages/f1/92/3efd5304e93b787044715866a2cb4f2f458dd5e9c7c707836e86bc6da8ea/tree_sitter_follow-0.1.0.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2025-01-12 07:25:07",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "tree-sitter",
    "github_project": "tree-sitter-follow",
    "github_not_found": true,
    "lcname": "tree-sitter-follow"
}
        
Elapsed time: 0.38280s