{"id":19489345,"url":"https://github.com/redprl/bantorra","last_synced_at":"2026-02-16T08:07:28.240Z","repository":{"id":40548964,"uuid":"272285716","full_name":"RedPRL/bantorra","owner":"RedPRL","description":"📚 A library for managing libraries and resolving unit paths","archived":false,"fork":false,"pushed_at":"2024-09-29T00:11:13.000Z","size":842,"stargazers_count":17,"open_issues_count":9,"forks_count":0,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-04-04T02:11:43.768Z","etag":null,"topics":["ocaml","ocaml-library"],"latest_commit_sha":null,"homepage":"https://redprl.org/bantorra/bantorra","language":"OCaml","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/RedPRL.png","metadata":{"files":{"readme":"README.mkd","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}},"created_at":"2020-06-14T21:23:25.000Z","updated_at":"2024-09-29T00:04:50.000Z","dependencies_parsed_at":"2023-10-02T22:19:31.332Z","dependency_job_id":null,"html_url":"https://github.com/RedPRL/bantorra","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RedPRL%2Fbantorra","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RedPRL%2Fbantorra/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RedPRL%2Fbantorra/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RedPRL%2Fbantorra/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/RedPRL","download_url":"https://codeload.github.com/RedPRL/bantorra/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":250872444,"owners_count":21500824,"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":["ocaml","ocaml-library"],"created_at":"2024-11-10T21:08:10.474Z","updated_at":"2026-02-16T08:07:23.179Z","avatar_url":"https://github.com/RedPRL.png","language":"OCaml","funding_links":[],"categories":[],"sub_categories":[],"readme":"# 📚 bantorra: Library Management 🔖\n\n_bantorra_ is an OCaml package for loading user libraries and resolving unit paths into file paths. The design is informed by proof assistants based on dependent type theory, where it is common to work with source code directly. Check out the [project website](https://RedPRL.org/bantorra/bantorra) for more information.\n\n## Installation\n\nYou need OCaml 5.0 or newer. You can check out the source repository and install the latest version in development:\n```\ngit clone https://github.com/RedPRL/bantorra.git\nopam install ./bantorra\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fredprl%2Fbantorra","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fredprl%2Fbantorra","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fredprl%2Fbantorra/lists"}