{"id":36017,"name":"1lab","description":"A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory","url":"https://github.com/the1lab/1lab","last_synced_at":"2025-09-05T06:59:35.294Z","repository":{"id":37041753,"uuid":"435273531","full_name":"the1lab/1lab","owner":"the1lab","description":"A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory","archived":false,"fork":false,"pushed_at":"2025-09-01T13:24:52.000Z","size":10140,"stargazers_count":393,"open_issues_count":52,"forks_count":84,"subscribers_count":15,"default_branch":"main","last_synced_at":"2025-09-01T13:31:16.018Z","etag":null,"topics":["agda","homotopy-type-theory"],"latest_commit_sha":null,"homepage":"https://1lab.dev","language":"Agda","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"agpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/the1lab.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":"CITATION.bib","codeowners":null,"security":null,"support":"support/check.sh","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":"2021-12-05T20:38:45.000Z","updated_at":"2025-09-01T12:47:51.000Z","dependencies_parsed_at":"2023-12-27T18:39:31.102Z","dependency_job_id":"9e465fd3-2fef-45cf-8f80-c69c9cb59afa","html_url":"https://github.com/the1lab/1lab","commit_stats":null,"previous_names":["the1lab/1lab"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/the1lab/1lab","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/the1lab%2F1lab","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/the1lab%2F1lab/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/the1lab%2F1lab/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/the1lab%2F1lab/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/the1lab","download_url":"https://codeload.github.com/the1lab/1lab/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/the1lab%2F1lab/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273723201,"owners_count":25156304,"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":"the1lab","name":"The 1Lab","uuid":"176040707","kind":"organization","description":"An experiment in discoverable formalisation.","email":null,"website":"https://1lab.dev","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/176040707?v=4","repositories_count":1,"last_synced_at":"2024-07-20T00:53:35.593Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/the1lab","funding_links":[],"total_stars":319,"followers":0,"following":0,"created_at":"2024-07-20T00:53:35.614Z","updated_at":"2024-07-20T00:53:35.614Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/the1lab","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/the1lab/repositories"},"packages":[],"commits":{"message":"Repository syncing started."},"issues_stats":{"full_name":"the1lab/1lab","html_url":"https://github.com/the1lab/1lab","last_synced_at":"2025-09-04T07:19:52.431Z","status":null,"issues_count":19,"pull_requests_count":114,"avg_time_to_close_issue":11818222.923076924,"avg_time_to_close_pull_request":501308.5131578947,"issues_closed_count":13,"pull_requests_closed_count":76,"pull_request_authors_count":11,"issue_authors_count":9,"avg_comments_per_issue":0.7368421052631579,"avg_comments_per_pull_request":1.0263157894736843,"merged_pull_requests_count":74,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":13,"past_year_pull_requests_count":100,"past_year_avg_time_to_close_issue":127386.57142857143,"past_year_avg_time_to_close_pull_request":361055.0,"past_year_issues_closed_count":7,"past_year_pull_requests_closed_count":67,"past_year_pull_request_authors_count":11,"past_year_issue_authors_count":8,"past_year_avg_comments_per_issue":1.0,"past_year_avg_comments_per_pull_request":1.04,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":66,"created_at":"2025-08-29T11:58:49.401Z","updated_at":"2025-09-04T07:19:52.433Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/the1lab%2F1lab","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/the1lab%2F1lab/issues","issue_labels_count":{"category-theory":3,"enhancement":2,"web":1},"pull_request_labels_count":{},"issue_author_associations_count":{"COLLABORATOR":8,"NONE":6,"MEMBER":4,"CONTRIBUTOR":1},"pull_request_author_associations_count":{"MEMBER":69,"COLLABORATOR":27,"CONTRIBUTOR":10,"NONE":8},"issue_authors":{"TOTBWF":7,"plt-amy":3,"cdo256":2,"4e554c4c":2,"SquidDev":1,"carlostome":1,"ncfavier":1,"AndrasKovacs":1,"finegeometer":1},"pull_request_authors":{"plt-amy":45,"TOTBWF":27,"ncfavier":24,"4e554c4c":8,"jake-87":3,"finegeometer":2,"anshwad10":1,"phi16":1,"VojtechStep":1,"mmcqd":1,"elkcl":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.939Z","repositories_count":10082405,"issues_count":31230170,"pull_requests_count":96100294,"authors_count":10694153,"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":{"enhancement":1},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{"NONE":6,"COLLABORATOR":3,"MEMBER":3,"CONTRIBUTOR":1},"past_year_pull_request_author_associations_count":{"MEMBER":62,"COLLABORATOR":20,"CONTRIBUTOR":10,"NONE":7},"past_year_issue_authors":{"TOTBWF":3,"4e554c4c":2,"cdo256":2,"plt-amy":2,"AndrasKovacs":1,"carlostome":1,"finegeometer":1,"ncfavier":1},"past_year_pull_request_authors":{"plt-amy":41,"ncfavier":21,"TOTBWF":20,"4e554c4c":8,"jake-87":2,"finegeometer":2,"anshwad10":1,"elkcl":1,"phi16":1,"VojtechStep":1,"mmcqd":1},"maintainers":[{"login":"plt-amy","count":48,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/plt-amy"},{"login":"TOTBWF","count":34,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/TOTBWF"},{"login":"ncfavier","count":25,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ncfavier"},{"login":"SquidDev","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/SquidDev"}],"active_maintainers":[{"login":"plt-amy","count":43,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/plt-amy"},{"login":"TOTBWF","count":23,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/TOTBWF"},{"login":"ncfavier","count":22,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ncfavier"}]},"events":{"total":{"CreateEvent":81,"CommitCommentEvent":2,"IssuesEvent":20,"WatchEvent":46,"DeleteEvent":68,"IssueCommentEvent":160,"PushEvent":431,"PullRequestReviewEvent":372,"PullRequestReviewCommentEvent":407,"PullRequestEvent":162,"ForkEvent":13},"last_year":{"CreateEvent":81,"CommitCommentEvent":2,"IssuesEvent":20,"WatchEvent":46,"DeleteEvent":68,"IssueCommentEvent":160,"PushEvent":431,"PullRequestReviewEvent":372,"PullRequestReviewCommentEvent":407,"PullRequestEvent":162,"ForkEvent":13}},"keywords":["agda","homotopy-type-theory"],"dependencies":[{"ecosystem":"npm","filepath":"package-lock.json","sha":null,"kind":"lockfile","created_at":"2022-07-11T15:32:56.623Z","updated_at":"2022-07-11T15:32:56.623Z","repository_link":"https://github.com/the1lab/1lab/blob/main/package-lock.json","dependencies":[{"id":134393461,"package_name":"@types/d3","ecosystem":"npm","requirements":"7.4.0","direct":false,"kind":"development","optional":false},{"id":134393462,"package_name":"@types/d3-array","ecosystem":"npm","requirements":"3.0.3","direct":false,"kind":"development","optional":false},{"id":134393463,"package_name":"@types/d3-axis","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393464,"package_name":"@types/d3-brush","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393465,"package_name":"@types/d3-chord","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393466,"package_name":"@types/d3-color","ecosystem":"npm","requirements":"3.1.0","direct":false,"kind":"development","optional":false},{"id":134393467,"package_name":"@types/d3-contour","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393468,"package_name":"@types/d3-delaunay","ecosystem":"npm","requirements":"6.0.1","direct":false,"kind":"development","optional":false},{"id":134393469,"package_name":"@types/d3-dispatch","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393470,"package_name":"@types/d3-drag","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393471,"package_name":"@types/d3-dsv","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393472,"package_name":"@types/d3-ease","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393473,"package_name":"@types/d3-fetch","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393474,"package_name":"@types/d3-force","ecosystem":"npm","requirements":"3.0.3","direct":false,"kind":"development","optional":false},{"id":134393475,"package_name":"@types/d3-format","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393476,"package_name":"@types/d3-geo","ecosystem":"npm","requirements":"3.0.2","direct":false,"kind":"development","optional":false},{"id":134393477,"package_name":"@types/d3-hierarchy","ecosystem":"npm","requirements":"3.1.0","direct":false,"kind":"development","optional":false},{"id":134393478,"package_name":"@types/d3-interpolate","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393479,"package_name":"@types/d3-path","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393480,"package_name":"@types/d3-polygon","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393481,"package_name":"@types/d3-quadtree","ecosystem":"npm","requirements":"3.0.2","direct":false,"kind":"development","optional":false},{"id":134393482,"package_name":"@types/d3-random","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393483,"package_name":"@types/d3-scale","ecosystem":"npm","requirements":"4.0.2","direct":false,"kind":"development","optional":false},{"id":134393484,"package_name":"@types/d3-scale-chromatic","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393485,"package_name":"@types/d3-selection","ecosystem":"npm","requirements":"3.0.2","direct":false,"kind":"development","optional":false},{"id":134393486,"package_name":"@types/d3-shape","ecosystem":"npm","requirements":"3.1.0","direct":false,"kind":"development","optional":false},{"id":134393487,"package_name":"@types/d3-time","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393488,"package_name":"@types/d3-time-format","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":134393489,"package_name":"@types/d3-timer","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393490,"package_name":"@types/d3-transition","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393491,"package_name":"@types/d3-zoom","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393492,"package_name":"@types/geojson","ecosystem":"npm","requirements":"7946.0.8","direct":false,"kind":"development","optional":false},{"id":134393493,"package_name":"commander","ecosystem":"npm","requirements":"7.2.0","direct":false,"kind":"development","optional":false},{"id":134393494,"package_name":"d3","ecosystem":"npm","requirements":"7.4.4","direct":false,"kind":"development","optional":false},{"id":134393495,"package_name":"d3-array","ecosystem":"npm","requirements":"3.1.6","direct":false,"kind":"development","optional":false},{"id":134393496,"package_name":"d3-axis","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393497,"package_name":"d3-brush","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393498,"package_name":"d3-chord","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393499,"package_name":"d3-color","ecosystem":"npm","requirements":"3.1.0","direct":false,"kind":"development","optional":false},{"id":134393500,"package_name":"d3-contour","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393501,"package_name":"d3-delaunay","ecosystem":"npm","requirements":"6.0.2","direct":false,"kind":"development","optional":false},{"id":134393502,"package_name":"d3-dispatch","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393503,"package_name":"d3-drag","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393504,"package_name":"d3-dsv","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393505,"package_name":"d3-ease","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393506,"package_name":"d3-fetch","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393507,"package_name":"d3-force","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393508,"package_name":"d3-format","ecosystem":"npm","requirements":"3.1.0","direct":false,"kind":"development","optional":false},{"id":134393509,"package_name":"d3-geo","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393510,"package_name":"d3-hierarchy","ecosystem":"npm","requirements":"3.1.2","direct":false,"kind":"development","optional":false},{"id":134393511,"package_name":"d3-interpolate","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393512,"package_name":"d3-path","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393513,"package_name":"d3-polygon","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393514,"package_name":"d3-quadtree","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393515,"package_name":"d3-random","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393516,"package_name":"d3-scale","ecosystem":"npm","requirements":"4.0.2","direct":false,"kind":"development","optional":false},{"id":134393517,"package_name":"d3-scale-chromatic","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393518,"package_name":"d3-selection","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393519,"package_name":"d3-shape","ecosystem":"npm","requirements":"3.1.0","direct":false,"kind":"development","optional":false},{"id":134393520,"package_name":"d3-time","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393521,"package_name":"d3-time-format","ecosystem":"npm","requirements":"4.1.0","direct":false,"kind":"development","optional":false},{"id":134393522,"package_name":"d3-timer","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393523,"package_name":"d3-transition","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393524,"package_name":"d3-zoom","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":134393525,"package_name":"delaunator","ecosystem":"npm","requirements":"5.0.0","direct":false,"kind":"development","optional":false},{"id":134393526,"package_name":"esbuild","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393527,"package_name":"esbuild-android-64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393528,"package_name":"esbuild-android-arm64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393529,"package_name":"esbuild-darwin-64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393530,"package_name":"esbuild-darwin-arm64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393531,"package_name":"esbuild-freebsd-64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393532,"package_name":"esbuild-freebsd-arm64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393533,"package_name":"esbuild-linux-32","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393534,"package_name":"esbuild-linux-64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393535,"package_name":"esbuild-linux-arm","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393536,"package_name":"esbuild-linux-arm64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393537,"package_name":"esbuild-linux-mips64le","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393538,"package_name":"esbuild-linux-ppc64le","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393539,"package_name":"esbuild-linux-riscv64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393540,"package_name":"esbuild-linux-s390x","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393541,"package_name":"esbuild-netbsd-64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393542,"package_name":"esbuild-openbsd-64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393543,"package_name":"esbuild-sunos-64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393544,"package_name":"esbuild-windows-32","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393545,"package_name":"esbuild-windows-64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393546,"package_name":"esbuild-windows-arm64","ecosystem":"npm","requirements":"0.14.42","direct":false,"kind":"development","optional":false},{"id":134393547,"package_name":"fast-fuzzy","ecosystem":"npm","requirements":"1.11.2","direct":false,"kind":"runtime","optional":false},{"id":134393548,"package_name":"graphemesplit","ecosystem":"npm","requirements":"2.4.4","direct":false,"kind":"runtime","optional":false},{"id":134393549,"package_name":"iconv-lite","ecosystem":"npm","requirements":"0.6.3","direct":false,"kind":"development","optional":false},{"id":134393550,"package_name":"internmap","ecosystem":"npm","requirements":"2.0.3","direct":false,"kind":"development","optional":false},{"id":134393551,"package_name":"js-base64","ecosystem":"npm","requirements":"3.7.2","direct":false,"kind":"runtime","optional":false},{"id":134393552,"package_name":"katex","ecosystem":"npm","requirements":"0.15.6","direct":false,"kind":"development","optional":false},{"id":134393553,"package_name":"commander","ecosystem":"npm","requirements":"8.3.0","direct":false,"kind":"development","optional":false},{"id":134393554,"package_name":"pako","ecosystem":"npm","requirements":"0.2.9","direct":false,"kind":"runtime","optional":false},{"id":134393555,"package_name":"robust-predicates","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":134393556,"package_name":"rw","ecosystem":"npm","requirements":"1.3.3","direct":false,"kind":"development","optional":false},{"id":134393557,"package_name":"safer-buffer","ecosystem":"npm","requirements":"2.1.2","direct":false,"kind":"development","optional":false},{"id":134393558,"package_name":"tiny-inflate","ecosystem":"npm","requirements":"1.0.3","direct":false,"kind":"runtime","optional":false},{"id":134393559,"package_name":"typescript","ecosystem":"npm","requirements":"4.7.2","direct":false,"kind":"development","optional":false},{"id":134393560,"package_name":"unicode-trie","ecosystem":"npm","requirements":"2.0.0","direct":false,"kind":"runtime","optional":false}]},{"ecosystem":"npm","filepath":"package.json","sha":null,"kind":"manifest","created_at":"2022-07-11T15:32:56.808Z","updated_at":"2022-07-11T15:32:56.808Z","repository_link":"https://github.com/the1lab/1lab/blob/main/package.json","dependencies":[{"id":134393573,"package_name":"fast-fuzzy","ecosystem":"npm","requirements":"^1.11.1","direct":true,"kind":"runtime","optional":false},{"id":134393574,"package_name":"@types/d3","ecosystem":"npm","requirements":"^7.1.0","direct":true,"kind":"development","optional":false},{"id":134393575,"package_name":"d3","ecosystem":"npm","requirements":"^7.4.4","direct":true,"kind":"development","optional":false},{"id":134393576,"package_name":"esbuild","ecosystem":"npm","requirements":"^0.14.38","direct":true,"kind":"development","optional":false},{"id":134393577,"package_name":"typescript","ecosystem":"npm","requirements":"^4.6.4","direct":true,"kind":"development","optional":false},{"id":134393578,"package_name":"katex","ecosystem":"npm","requirements":"^0.15.3","direct":true,"kind":"development","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/build.yml","sha":null,"kind":"manifest","created_at":"2023-02-18T21:31:19.080Z","updated_at":"2023-02-18T21:31:19.080Z","repository_link":"https://github.com/the1lab/1lab/blob/main/.github/workflows/build.yml","dependencies":[{"id":7771149706,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7771149707,"package_name":"cachix/install-nix-action","ecosystem":"actions","requirements":"v18","direct":true,"kind":"composite","optional":false},{"id":7771149708,"package_name":"cachix/cachix-action","ecosystem":"actions","requirements":"v12","direct":true,"kind":"composite","optional":false},{"id":7771149717,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7771149718,"package_name":"actions/upload-pages-artifact","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7771149719,"package_name":"actions/deploy-pages","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/preview.yml","sha":null,"kind":"manifest","created_at":"2023-09-23T06:42:03.863Z","updated_at":"2023-09-23T06:42:03.863Z","repository_link":"https://github.com/the1lab/1lab/blob/main/.github/workflows/preview.yml","dependencies":[{"id":13892223193,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13892223194,"package_name":"cachix/install-nix-action","ecosystem":"actions","requirements":"v20","direct":true,"kind":"composite","optional":false},{"id":13892223195,"package_name":"cachix/cachix-action","ecosystem":"actions","requirements":"v12","direct":true,"kind":"composite","optional":false},{"id":13892223196,"package_name":"actions/cache","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":13892223197,"package_name":"dmnemec/copy_file_to_another_repo_action","ecosystem":"actions","requirements":"main","direct":true,"kind":"composite","optional":false},{"id":13892223198,"package_name":"marocchino/sticky-pull-request-comment","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"hackage","filepath":"support/shake/1lab-shake.cabal","sha":null,"kind":"manifest","created_at":"2023-09-23T06:42:03.962Z","updated_at":"2023-09-23T06:42:03.962Z","repository_link":"https://github.com/the1lab/1lab/blob/main/support/shake/1lab-shake.cabal","dependencies":[]}],"score":null,"created_at":"2025-09-04T15:51:09.550Z","updated_at":"2025-10-07T08:14:55.334Z","avatar_url":"https://github.com/the1lab.png","language":"Agda","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/36017","html_url":"https://science.ecosyste.ms/projects/36017","bibtex_url":"https://science.ecosyste.ms/projects/36017/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/36017/export.apalike"}