{"id":26493,"name":"tamarin-prover","description":"Main source code repository of the Tamarin prover for security protocol verification.","url":"https://github.com/tamarin-prover/tamarin-prover","last_synced_at":"2025-09-05T03:16:06.268Z","repository":{"id":2540892,"uuid":"3518380","full_name":"tamarin-prover/tamarin-prover","owner":"tamarin-prover","description":"Main source code repository of the Tamarin prover for security protocol verification.","archived":false,"fork":false,"pushed_at":"2025-08-21T08:03:09.000Z","size":52341,"stargazers_count":469,"open_issues_count":134,"forks_count":144,"subscribers_count":23,"default_branch":"develop","last_synced_at":"2025-08-21T10:29:36.984Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://tamarin-prover.com/","language":"Haskell","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/tamarin-prover.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":"AUTHORS","dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2012-02-22T20:03:23.000Z","updated_at":"2025-08-21T08:03:13.000Z","dependencies_parsed_at":"2025-08-21T10:19:43.521Z","dependency_job_id":null,"html_url":"https://github.com/tamarin-prover/tamarin-prover","commit_stats":{"total_commits":2811,"total_committers":93,"mean_commits":"30.225806451612904","dds":0.8655282817502667,"last_synced_commit":"ef1c24a91fd99ae27bb0e46744b325ca65116ac0"},"previous_names":[],"tags_count":32,"template":false,"template_full_name":null,"purl":"pkg:github/tamarin-prover/tamarin-prover","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tamarin-prover%2Ftamarin-prover","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tamarin-prover%2Ftamarin-prover/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tamarin-prover%2Ftamarin-prover/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tamarin-prover%2Ftamarin-prover/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tamarin-prover","download_url":"https://codeload.github.com/tamarin-prover/tamarin-prover/tar.gz/refs/heads/develop","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tamarin-prover%2Ftamarin-prover/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273704368,"owners_count":25153149,"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-05T02:00:09.113Z","response_time":402,"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"}},"owner":{"login":"tamarin-prover","name":"Tamarin prover","uuid":"1788989","kind":"organization","description":"","email":null,"website":"http://tamarin-prover.github.io/","location":"Zurich, Switzerland; Saarbruecken, Germany; Nancy, France","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/1788989?v=4","repositories_count":8,"last_synced_at":"2024-03-26T08:28:35.294Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/tamarin-prover","funding_links":[],"total_stars":453,"followers":28,"following":0,"created_at":"2022-11-03T11:35:35.123Z","updated_at":"2024-03-26T08:28:35.912Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tamarin-prover","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tamarin-prover/repositories"},"packages":[],"commits":{"id":288238,"full_name":"tamarin-prover/tamarin-prover","default_branch":"develop","committers":[{"name":"Ralf Sasse","email":"ralf.sasse@gmail.com","count":378},{"name":"Simon Meier","email":"iridcode@gmail.com","count":360},{"name":"Robert Künnemann","email":"robert.kuennemann@cased.de","count":298},{"name":"Robert Künnemann","email":"robert.kuennemann@cispa.saarland","count":283},{"name":"Charlie Jacomme","email":"jacomme@crans.org","count":246},{"name":"Jannik Dreier","email":"jannik.dreier@loria.fr","count":193},{"name":"Cas Cremers","email":"cas.cremers@gmail.com","count":159},{"name":"Benedikt Schmidt","email":"beschmi@gmail.com","count":140},{"name":"Jannik Dreier","email":"jannik.dreier@inf.ethz.ch","count":105},{"name":"Charles Dumenil","email":"charles.dumenil@inria.fr","count":68},{"name":"Cas Cremers","email":"cas.cremers@inf.ethz.ch","count":37},{"name":"Lucca Hirschi","email":"lucca.hirschi@inf.ethz.ch","count":35},{"name":"Sasa Radomirovic","email":"s.radomirovic@dundee.ac.uk","count":31},{"name":"Ilkan Esiyok","email":"iesiyok@eduroam2-1013.funklan.uni-saarland.de","count":31},{"name":"Kevin Morio","email":"kevin@morio.me","count":25},{"name":"HongThai","email":"s8holuuu@stud.uni-saarland.de","count":23},{"name":"Kevin Milner","email":"kevin.milner@cs.ox.ac.uk","count":20},{"name":"Yavor Ivanov","email":"s8yaivan@stud.uni-saarland.de","count":19},{"name":"Hizbullah Abdul Aziz","email":"archbung@gmail.com","count":18},{"name":"Niklas Medinger","email":"s8nimedi@stud.uni-saarland.de","count":17},{"name":"Kevin Morio","email":"kevin.morio@cispa.saarland","count":17},{"name":"alexander.dax","email":"alexander.dax@cispa.saarland","count":15},{"name":"Kevin Milner","email":"kamilner@kamilner.ca","count":15},{"name":"Kevin Morio","email":"kevin.morio@cispa.de","count":15},{"name":"Benedikt Schmidt","email":"beschmi@benschmilap.inf.ethz.ch","count":14},{"name":"Felix Yan","email":"felixonmars@archlinux.org","count":12},{"name":"Simon Meier","email":"simon.meier@erudify.com","count":12},{"name":"Robert K","email":"kunneman@lsv.ens-cachan.fr","count":11},{"name":"Jorden Whitefield","email":"j.whitefield@surrey.ac.uk","count":10},{"name":"Yavor Ivanov","email":"s8yaivan@stud.uni-ssarland.de","count":10},{"name":"Philip","email":"73644534+PhilipLukertWork@users.noreply.github.com","count":9},{"name":"Martin Dehnel-Wild","email":"martin.dehnel-wild@cs.ox.ac.uk","count":9},{"name":"Nick Moore","email":"nicholas.moore@cs.ox.ac.uk","count":9},{"name":"Simon Meier","email":"simon.meier@erudify.ch","count":9},{"name":"Wolfgang Herget","email":"herget@cispa.de","count":8},{"name":"dschoop","email":"dominik.schoop@hs-esslingen.de","count":8},{"name":"jdreier","email":"jdreier@users.noreply.github.com","count":8},{"name":"Lucca Hirschi","email":"lucca.hirschi@gmail.com","count":7},{"name":"Johannes Wocker","email":"s8jowock@stud.uni-saarland.de","count":7},{"name":"Katriel Cohn-Gordon","email":"me@katriel.co.uk","count":6},{"name":"Katriel Cohn-Gordon","email":"katriel.cohn-gordon@cybersecurity.ox.ac.uk","count":6},{"name":"Pops","email":"55747975+racoucho1u@users.noreply.github.com","count":5},{"name":"rkunnema","email":"robert.kuennemann@cispa.de","count":5},{"name":"Ilkan Esiyok","email":"iesiyok@eduroam2-0452.funklan.uni-saarland.de","count":5},{"name":"steve-kremer","email":"steve.kremer@inria.fr","count":5},{"name":"Ilkan Esiyok","email":"iesiyok@iesiyok-mac.local","count":5},{"name":"c01yaiv","email":"yavor.ivonov@cispa.saarland","count":4},{"name":"Benedikt Schmidt","email":"beschmi@dhcp-13.imdea","count":4},{"name":"schmidla","email":"schmidla@inf.ethz.ch","count":4},{"name":"symphorien","email":"symphorien@users.noreply.github.com","count":3},{"name":"Ralf Sasse","email":"ralfsasse@bitbucket.org","count":3},{"name":"Nynko","email":"64737935+Nynko@users.noreply.github.com","count":3},{"name":"sasaradomirovic","email":"sasaradomirovic@QMB-202-MacBook-Pro.local","count":3},{"name":"Robert Künnemann","email":"robert.kunnemann@cased.de","count":3},{"name":"kmilner","email":"github@kamilner.ca","count":3},{"name":"Benedikt Schmidt","email":"beschmi@cx-public-docking-1-229.ethz.ch","count":2},{"name":"Benedikt Schmidt","email":"beschmi@Benedikts-MacBook-Pro.local","count":2},{"name":"Ilkan Esiyok","email":"iesiyok@eduroam2-0110.funklan.uni-saarland.de","count":2},{"name":"Sam Scott","email":"sam.scott89@gmail.com","count":2},{"name":"Benedikt Schmidt","email":"beschmi@80-219-152-143.dclient.hispeed.ch","count":2},{"name":"Simon Meier","email":"simon.y.meier@gmail.com","count":2},{"name":"JulianBiehl","email":"julianbiehl@yahoo.de","count":2},{"name":"Jorden Whitefield","email":"lordqwerty@users.noreply.github.com","count":2},{"name":"Kevin Morio","email":"s8kemori@stud.uni-saarland.de","count":2},{"name":"Sam Scott","email":"sscott@mozilla.com","count":2},{"name":"Ben Fiedler","email":"git@services.bfiedler.ch","count":2},{"name":"SvenHammann90","email":"47149889+SvenHammann90@users.noreply.github.com","count":2},{"name":"robert.kunnemann@cased.de","email":"robert@cassis.loria.fr","count":2},{"name":"Thom Wiggers","email":"thom@thomwiggers.nl","count":2},{"name":"YannColomb","email":"55356551+YannColomb@users.noreply.github.com","count":2},{"name":"Ilkan Esiyok","email":"iesiyok@eduroam2-0423.funklan.uni-saarland.de","count":1},{"name":"Benedikt Schmidt","email":"beschmi@MBP-342.local","count":1},{"name":"Ilkan Esiyok","email":"iesiyok@eduroam2-0248.funklan.uni-saarland.de","count":1},{"name":"Benedikt Schmidt","email":"beschmi@80-219-10-154.dclient.hispeed.ch","count":1},{"name":"Joel Wanner","email":"wannerjo@student.ethz.ch","count":1},{"name":"Alexander Dax","email":"s8aldaxx@stud.uni-saarland.de","count":1},{"name":"Ilkan Esiyok","email":"iesiyok@Ilkans-MacBook-Pro-348.local","count":1},{"name":"Jorden Whitefield","email":"jorden.whitefield@googlemail.com","count":1},{"name":"Felix Linker","email":"linkerfelix@gmail.com","count":1},{"name":"Michał Janiszewski","email":"janisozaur@users.noreply.github.com","count":1},{"name":"Max Taldykin","email":"jorpic@gmail.com","count":1},{"name":"Robert Kuennemann","email":"kuennemann@colossus04.cispa.saarland","count":1},{"name":"Philip Lukert","email":"c01phlu@colossus06.cispa.saarland","count":1},{"name":"Robert Künnemann","email":"robert@swn136.trust.cased.de","count":1},{"name":"Alexander Dax","email":"hahinop@gmail.com","count":1},{"name":"Aleksi Peltonen","email":"peltona04@gmail.com","count":1},{"name":"Thom Wiggers","email":"thomwiggers@users.noreply.github.com","count":1},{"name":"rkunnema","email":"robert.kuennemann@uni-saarland.de","count":1},{"name":"Kevin Milner","email":"kevinmilner@improbable.io","count":1},{"name":"Ognjen Maric","email":"ognjen.maric@gmail.com","count":1},{"name":"Martin Dehnel-Wild","email":"mpdehnel@users.noreply.github.com","count":1},{"name":"Lucca Hirschi","email":"lucca.hirschi@inria.fr","count":1},{"name":"Sebastian Weisgerber","email":"sweisgerber.dev@gmail.com","count":1}],"total_commits":2811,"total_committers":93,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":30.225806451612904,"dds":0.8655282817502667,"past_year_committers":null,"past_year_total_commits":null,"past_year_total_committers":null,"past_year_total_bot_commits":null,"past_year_total_bot_committers":null,"past_year_mean_commits":null,"past_year_dds":null,"last_synced_at":"2023-03-16T03:01:30.891Z","last_synced_commit":"ef1c24a91fd99ae27bb0e46744b325ca65116ac0","created_at":"2023-03-08T16:03:43.210Z","updated_at":"2023-09-19T16:26:31.440Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/tamarin-prover%2Ftamarin-prover/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.343Z","repositories_count":5480019,"commits_count":853389012,"contributors_count":31098138,"owners_count":906558,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"tamarin-prover/tamarin-prover","html_url":"https://github.com/tamarin-prover/tamarin-prover","last_synced_at":"2025-09-04T10:17:46.522Z","status":null,"issues_count":50,"pull_requests_count":87,"avg_time_to_close_issue":21604136.523809522,"avg_time_to_close_pull_request":3207998.0142857144,"issues_closed_count":21,"pull_requests_closed_count":70,"pull_request_authors_count":21,"issue_authors_count":28,"avg_comments_per_issue":0.74,"avg_comments_per_pull_request":1.9195402298850575,"merged_pull_requests_count":65,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":27,"past_year_pull_requests_count":43,"past_year_avg_time_to_close_issue":8321382.75,"past_year_avg_time_to_close_pull_request":630863.2258064516,"past_year_issues_closed_count":4,"past_year_pull_requests_closed_count":31,"past_year_pull_request_authors_count":13,"past_year_issue_authors_count":13,"past_year_avg_comments_per_issue":0.48148148148148145,"past_year_avg_comments_per_pull_request":1.0930232558139534,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":31,"created_at":"2025-07-16T12:24:34.315Z","updated_at":"2025-09-04T10:17:46.524Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/tamarin-prover%2Ftamarin-prover","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/tamarin-prover%2Ftamarin-prover/issues","issue_labels_count":{"SAPIC":3,"export":3,"documentation":2,"feature-request":2,"help-wanted":2,"long-term":1,"regression-tests":1,"prover":1,"critical":1},"pull_request_labels_count":{"gui":3,"documentation":2,"SAPIC":2},"issue_author_associations_count":{"NONE":22,"CONTRIBUTOR":15,"MEMBER":13},"pull_request_author_associations_count":{"CONTRIBUTOR":51,"MEMBER":24,"NONE":12},"issue_authors":{"rkunnema":6,"jdreier":5,"dmzimmerman":4,"huahuaLover":3,"niklasmedinger":3,"Vekhir":2,"thgoebel":2,"BTom-GH":2,"Danyc0":2,"felixlinker":2,"kevinmorio":2,"o11k":1,"JakeGinesin":1,"cascremers":1,"rsasse":1,"sbursuc":1,"landoflord":1,"gilcu3":1,"yavivanov":1,"d-z-m":1,"pparadzik":1,"racoucho1u":1,"matthiaslott":1,"mob0226":1,"joewatt95":1,"luodds":1,"syafrizaladhitya1":1,"zevbo":1},"pull_request_authors":{"felixlinker":13,"rkunnema":10,"addap":8,"cascremers":8,"arcz":7,"kevinmorio":7,"jdreier":6,"BTom-GH":5,"niklasmedinger":5,"Mathias-AURAND":4,"yavivanov":3,"nikstuckenbrock":2,"gilcu3":1,"thomwiggers":1,"racoucho1u":1,"donadelden":1,"Danyc0":1,"ElyKar":1,"hxenia":1,"mjal":1,"timKraeuter":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10083752,"issues_count":31254324,"pull_requests_count":96222393,"authors_count":10694625,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{"feature-request":2,"help-wanted":2,"SAPIC":2,"long-term":1,"regression-tests":1,"export":1,"prover":1,"critical":1},"past_year_pull_request_labels_count":{"SAPIC":1},"past_year_issue_author_associations_count":{"NONE":10,"MEMBER":9,"CONTRIBUTOR":8},"past_year_pull_request_author_associations_count":{"CONTRIBUTOR":20,"MEMBER":19,"NONE":4},"past_year_issue_authors":{"dmzimmerman":4,"jdreier":4,"rkunnema":4,"BTom-GH":2,"Danyc0":2,"huahuaLover":2,"kevinmorio":2,"niklasmedinger":2,"joewatt95":1,"matthiaslott":1,"o11k":1,"pparadzik":1,"rsasse":1},"past_year_pull_request_authors":{"rkunnema":9,"BTom-GH":5,"jdreier":5,"kevinmorio":5,"cascremers":5,"niklasmedinger":3,"felixlinker":3,"nikstuckenbrock":2,"arcz":2,"racoucho1u":1,"donadelden":1,"mjal":1,"thomwiggers":1},"maintainers":[{"login":"rkunnema","count":16,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/rkunnema"},{"login":"jdreier","count":11,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jdreier"},{"login":"cascremers","count":9,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/cascremers"},{"login":"rsasse","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/rsasse"}],"active_maintainers":[{"login":"rkunnema","count":13,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/rkunnema"},{"login":"jdreier","count":9,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jdreier"},{"login":"cascremers","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/cascremers"},{"login":"rsasse","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/rsasse"}]},"events":{"total":{"CreateEvent":2,"ReleaseEvent":1,"IssuesEvent":42,"WatchEvent":49,"IssueCommentEvent":138,"PushEvent":45,"PullRequestReviewCommentEvent":12,"PullRequestReviewEvent":9,"PullRequestEvent":58,"ForkEvent":10},"last_year":{"CreateEvent":2,"ReleaseEvent":1,"IssuesEvent":42,"WatchEvent":49,"IssueCommentEvent":138,"PushEvent":45,"PullRequestReviewCommentEvent":12,"PullRequestReviewEvent":9,"PullRequestEvent":58,"ForkEvent":10}},"keywords":[],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/tamarin-integration-test.yaml","sha":null,"kind":"manifest","created_at":"2023-01-13T16:22:26.110Z","updated_at":"2023-01-13T16:22:26.110Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/.github/workflows/tamarin-integration-test.yaml","dependencies":[{"id":6890228018,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":6890228020,"package_name":"actions/cache","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"docker","filepath":"etc/docker/Dockerfile","sha":null,"kind":"manifest","created_at":"2023-01-13T16:22:26.134Z","updated_at":"2023-01-13T16:22:26.134Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/etc/docker/Dockerfile","dependencies":[{"id":6890228028,"package_name":"debian","ecosystem":"docker","requirements":"bullseye-slim","direct":true,"kind":"build","optional":false}]},{"ecosystem":"docker","filepath":"examples/usenix23-ens/docker/Dockerfile","sha":null,"kind":"manifest","created_at":"2023-01-13T16:22:26.153Z","updated_at":"2023-01-13T16:22:26.153Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/examples/usenix23-ens/docker/Dockerfile","dependencies":[{"id":6890228039,"package_name":"fpco/stack-build-small","ecosystem":"docker","requirements":"lts-19.19","direct":true,"kind":"build","optional":false},{"id":6890228040,"package_name":"debian","ecosystem":"docker","requirements":"bullseye-slim","direct":true,"kind":"build","optional":false}]},{"ecosystem":"hackage","filepath":"lib/accountability/tamarin-prover-accountability.cabal","sha":null,"kind":"manifest","created_at":"2023-01-13T16:22:26.173Z","updated_at":"2023-01-13T16:22:26.173Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/lib/accountability/tamarin-prover-accountability.cabal","dependencies":[{"id":6890228054,"package_name":"aeson","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228055,"package_name":"aeson-pretty","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228056,"package_name":"base","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228057,"package_name":"binary","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228058,"package_name":"bytestring","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228059,"package_name":"containers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228060,"package_name":"deepseq","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228061,"package_name":"dlist","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228062,"package_name":"fclabels","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228063,"package_name":"mtl","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228064,"package_name":"parallel","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228065,"package_name":"parsec","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228066,"package_name":"process","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228067,"package_name":"safe","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228068,"package_name":"text","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228069,"package_name":"transformers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228070,"package_name":"uniplate","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228071,"package_name":"exceptions","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228072,"package_name":"raw-strings-qq","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228073,"package_name":"tamarin-prover-utils","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228074,"package_name":"tamarin-prover-term","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228075,"package_name":"tamarin-prover-theory","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"hackage","filepath":"lib/export/tamarin-prover-export.cabal","sha":null,"kind":"manifest","created_at":"2023-01-13T16:22:26.194Z","updated_at":"2023-01-13T16:22:26.194Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/lib/export/tamarin-prover-export.cabal","dependencies":[{"id":6890228083,"package_name":"aeson","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228084,"package_name":"aeson-pretty","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228085,"package_name":"base","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228086,"package_name":"binary","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228087,"package_name":"bytestring","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228088,"package_name":"containers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228089,"package_name":"deepseq","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228090,"package_name":"dlist","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228091,"package_name":"fclabels","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228092,"package_name":"HStringTemplate","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228093,"package_name":"mtl","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228094,"package_name":"parallel","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228095,"package_name":"parsec","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228096,"package_name":"process","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228097,"package_name":"safe","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228098,"package_name":"text","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228099,"package_name":"transformers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228100,"package_name":"uniplate","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228101,"package_name":"exceptions","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228102,"package_name":"raw-strings-qq","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228103,"package_name":"tamarin-prover-utils","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228104,"package_name":"tamarin-prover-term","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228105,"package_name":"tamarin-prover-theory","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228106,"package_name":"tamarin-prover-sapic","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"hackage","filepath":"lib/sapic/tamarin-prover-sapic.cabal","sha":null,"kind":"manifest","created_at":"2023-01-13T16:22:26.227Z","updated_at":"2023-01-13T16:22:26.227Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/lib/sapic/tamarin-prover-sapic.cabal","dependencies":[{"id":6890228145,"package_name":"aeson","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228147,"package_name":"aeson-pretty","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228149,"package_name":"base","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228151,"package_name":"binary","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228153,"package_name":"bytestring","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228155,"package_name":"containers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228157,"package_name":"deepseq","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228158,"package_name":"dlist","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228161,"package_name":"fclabels","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228163,"package_name":"mtl","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228165,"package_name":"parallel","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228168,"package_name":"parsec","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228170,"package_name":"process","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228171,"package_name":"safe","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228173,"package_name":"text","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228175,"package_name":"transformers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228177,"package_name":"uniplate","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228178,"package_name":"exceptions","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228180,"package_name":"raw-strings-qq","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228182,"package_name":"tamarin-prover-utils","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228184,"package_name":"tamarin-prover-term","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890228185,"package_name":"tamarin-prover-theory","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"hackage","filepath":"lib/theory/tamarin-prover-theory.cabal","sha":null,"kind":"manifest","created_at":"2023-01-13T16:22:26.268Z","updated_at":"2023-01-13T16:22:26.268Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/lib/theory/tamarin-prover-theory.cabal","dependencies":[{"id":6890229293,"package_name":"aeson","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229296,"package_name":"aeson-pretty","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229298,"package_name":"base","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229299,"package_name":"binary","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229302,"package_name":"bytestring","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229304,"package_name":"containers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229306,"package_name":"deepseq","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229308,"package_name":"dlist","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229310,"package_name":"fclabels","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229311,"package_name":"filepath","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229313,"package_name":"mtl","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229315,"package_name":"parallel","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229316,"package_name":"parsec","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229318,"package_name":"process","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229319,"package_name":"safe","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229321,"package_name":"text","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229323,"package_name":"transformers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229325,"package_name":"uniplate","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229327,"package_name":"exceptions","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229329,"package_name":"tamarin-prover-utils","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229330,"package_name":"tamarin-prover-term","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"hackage","filepath":"lib/utils/tamarin-prover-utils.cabal","sha":null,"kind":"manifest","created_at":"2023-01-13T16:22:26.314Z","updated_at":"2023-01-13T16:22:26.314Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/lib/utils/tamarin-prover-utils.cabal","dependencies":[{"id":6890229511,"package_name":"SHA","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229512,"package_name":"base","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229513,"package_name":"base64-bytestring","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229514,"package_name":"binary","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229515,"package_name":"blaze-builder","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229516,"package_name":"bytestring","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229517,"package_name":"containers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229518,"package_name":"deepseq","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229519,"package_name":"dlist","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229520,"package_name":"fclabels","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229521,"package_name":"mtl","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229522,"package_name":"pretty","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229523,"package_name":"safe","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229524,"package_name":"syb","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229525,"package_name":"time","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229526,"package_name":"transformers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229527,"package_name":"exceptions","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"hackage","filepath":"tamarin-prover.cabal","sha":null,"kind":"manifest","created_at":"2023-01-13T16:22:26.336Z","updated_at":"2023-01-13T16:22:26.336Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/tamarin-prover.cabal","dependencies":[{"id":6890229543,"package_name":"HUnit","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229544,"package_name":"base","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229545,"package_name":"binary","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229546,"package_name":"binary-orphans","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229547,"package_name":"binary-instances","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229548,"package_name":"blaze-builder","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229549,"package_name":"blaze-html","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229550,"package_name":"bytestring","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229551,"package_name":"cmdargs","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229552,"package_name":"conduit","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229553,"package_name":"containers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229554,"package_name":"deepseq","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229555,"package_name":"directory","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229556,"package_name":"exceptions","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229557,"package_name":"fclabels","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229558,"package_name":"file-embed","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229559,"package_name":"filepath","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229560,"package_name":"gitrev","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229561,"package_name":"http-types","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229562,"package_name":"mtl","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229563,"package_name":"parsec","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229564,"package_name":"process","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229565,"package_name":"resourcet","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229566,"package_name":"safe","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229567,"package_name":"shakespeare","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229568,"package_name":"template-haskell","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229569,"package_name":"text","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229570,"package_name":"threads","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229571,"package_name":"time","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229572,"package_name":"wai","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229573,"package_name":"warp","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229574,"package_name":"yesod-core","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229575,"package_name":"yesod-static","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6890229576,"package_name":"tamarin-prover-utils","ecosystem":"hackage","requirements":"==1.7.1","direct":true,"kind":"runtime","optional":false},{"id":6890229577,"package_name":"tamarin-prover-term","ecosystem":"hackage","requirements":"==1.7.1","direct":true,"kind":"runtime","optional":false},{"id":6890229578,"package_name":"tamarin-prover-theory","ecosystem":"hackage","requirements":"==1.7.1","direct":true,"kind":"runtime","optional":false},{"id":6890229579,"package_name":"tamarin-prover-sapic","ecosystem":"hackage","requirements":"==1.7.1","direct":true,"kind":"runtime","optional":false},{"id":6890229580,"package_name":"tamarin-prover-export","ecosystem":"hackage","requirements":"==1.7.1","direct":true,"kind":"runtime","optional":false},{"id":6890229581,"package_name":"tamarin-prover-accountability","ecosystem":"hackage","requirements":"==1.7.1","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"hackage","filepath":"lib/term/tamarin-prover-term.cabal","sha":null,"kind":"manifest","created_at":"2023-01-16T18:31:16.167Z","updated_at":"2023-01-16T18:31:16.167Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/lib/term/tamarin-prover-term.cabal","dependencies":[{"id":6957557841,"package_name":"HUnit","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6957557842,"package_name":"attoparsec","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6957557843,"package_name":"base","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6957557844,"package_name":"binary","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6957557845,"package_name":"bytestring","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6957557846,"package_name":"containers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6957557847,"package_name":"deepseq","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6957557848,"package_name":"dlist","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6957557849,"package_name":"mtl","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6957557850,"package_name":"process","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6957557851,"package_name":"safe","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":6957557852,"package_name":"tamarin-prover-utils","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/deploy.yml","sha":null,"kind":"manifest","created_at":"2024-07-19T16:54:17.857Z","updated_at":"2024-07-19T16:54:17.857Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/.github/workflows/deploy.yml","dependencies":[{"id":19197153515,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"cargo","filepath":"tree-sitter/tree-sitter-spthy/Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-09-09T13:24:37.546Z","updated_at":"2024-09-09T13:24:37.546Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/tree-sitter/tree-sitter-spthy/Cargo.toml","dependencies":[]},{"ecosystem":"go","filepath":"tree-sitter/tree-sitter-spthy/go.mod","sha":null,"kind":"manifest","created_at":"2024-09-09T13:24:37.618Z","updated_at":"2024-09-09T13:24:37.618Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/tree-sitter/tree-sitter-spthy/go.mod","dependencies":[{"id":20054596353,"package_name":"github.com/tree-sitter/go-tree-sitter","ecosystem":"go","requirements":"v0.23","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"npm","filepath":"manual/grammar/package-lock.json","sha":null,"kind":"lockfile","created_at":"2024-09-09T13:24:37.657Z","updated_at":"2024-09-09T13:24:37.657Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/manual/grammar/package-lock.json","dependencies":[{"id":20054596354,"package_name":"acorn","ecosystem":"npm","requirements":"8.12.0","direct":false,"kind":"runtime","optional":false},{"id":20054596355,"package_name":"acorn-walk","ecosystem":"npm","requirements":"8.3.3","direct":false,"kind":"runtime","optional":false}]},{"ecosystem":"npm","filepath":"manual/grammar/package.json","sha":null,"kind":"manifest","created_at":"2024-09-09T13:24:37.711Z","updated_at":"2024-09-09T13:24:37.711Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/manual/grammar/package.json","dependencies":[{"id":20054596356,"package_name":"acorn","ecosystem":"npm","requirements":"^8.12.0","direct":true,"kind":"runtime","optional":false},{"id":20054596357,"package_name":"acorn-walk","ecosystem":"npm","requirements":"^8.3.3","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"npm","filepath":"tree-sitter/tree-sitter-spthy/package.json","sha":null,"kind":"manifest","created_at":"2024-09-09T13:24:37.797Z","updated_at":"2024-09-09T13:24:37.797Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/tree-sitter/tree-sitter-spthy/package.json","dependencies":[{"id":20054596358,"package_name":"node-addon-api","ecosystem":"npm","requirements":"^7.1.0","direct":true,"kind":"runtime","optional":false},{"id":20054596359,"package_name":"node-gyp-build","ecosystem":"npm","requirements":"^4.8.0","direct":true,"kind":"runtime","optional":false},{"id":20054596360,"package_name":"prebuildify","ecosystem":"npm","requirements":"^6.0.0","direct":true,"kind":"development","optional":false},{"id":20054596783,"package_name":"tree-sitter-cli","ecosystem":"npm","requirements":"^0.22.6","direct":true,"kind":"development","optional":false}]},{"ecosystem":"pypi","filepath":"tree-sitter/tree-sitter-spthy/pyproject.toml","sha":null,"kind":"manifest","created_at":"2024-09-09T13:24:40.765Z","updated_at":"2024-09-09T13:24:40.765Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/tree-sitter/tree-sitter-spthy/pyproject.toml","dependencies":[]},{"ecosystem":"pypi","filepath":"tree-sitter/tree-sitter-spthy/setup.py","sha":null,"kind":"manifest","created_at":"2024-09-09T13:24:40.889Z","updated_at":"2024-09-09T13:24:40.889Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/tree-sitter/tree-sitter-spthy/setup.py","dependencies":[]},{"ecosystem":"swiftpm","filepath":"tree-sitter/tree-sitter-spthy/Package.swift","sha":null,"kind":"manifest","created_at":"2024-09-09T13:24:40.953Z","updated_at":"2024-09-09T13:24:40.953Z","repository_link":"https://github.com/tamarin-prover/tamarin-prover/blob/develop/tree-sitter/tree-sitter-spthy/Package.swift","dependencies":[]}],"score":10.934516689880443,"created_at":"2025-09-04T15:50:58.669Z","updated_at":"2025-10-07T08:11:54.459Z","avatar_url":"https://github.com/tamarin-prover.png","language":"Haskell","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/26493","html_url":"https://science.ecosyste.ms/projects/26493"}