{"id":23086174,"url":"https://github.com/SkylabsAI/BRiCk","last_synced_at":"2025-11-05T15:04:05.865Z","repository":{"id":37414616,"uuid":"261261814","full_name":"bluerock-io/BRiCk","owner":"bluerock-io","description":"Formalization of C++ for verification purposes.","archived":false,"fork":false,"pushed_at":"2025-04-03T23:42:47.000Z","size":93970,"stargazers_count":80,"open_issues_count":4,"forks_count":14,"subscribers_count":8,"default_branch":"master","last_synced_at":"2025-04-04T00:27:10.347Z","etag":null,"topics":["coq","coq-formalization","coq-library","cplusplus","cplusplus-11","cplusplus-14","cplusplus-17","cplusplus-20","cplusplus-23"],"latest_commit_sha":null,"homepage":"https://bluerock-io.github.io/BRiCk/","language":"Coq","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/bluerock-io.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES.md","contributing":null,"funding":null,"license":"LICENSE-BedRock","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":"CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2020-05-04T18:16:44.000Z","updated_at":"2025-04-03T23:42:51.000Z","dependencies_parsed_at":"2023-09-30T11:45:45.424Z","dependency_job_id":"b8a00804-2760-40ea-bbd7-7ad897c87663","html_url":"https://github.com/bluerock-io/BRiCk","commit_stats":{"total_commits":4238,"total_committers":33,"mean_commits":"128.42424242424244","dds":0.6160924964605946,"last_synced_commit":"62f6b570266e97cf3cbe97dc09f780e4047db21b"},"previous_names":["bluerock-io/brick","bedrocksystems/brick"],"tags_count":49,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bluerock-io%2FBRiCk","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bluerock-io%2FBRiCk/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bluerock-io%2FBRiCk/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bluerock-io%2FBRiCk/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/bluerock-io","download_url":"https://codeload.github.com/bluerock-io/BRiCk/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247430868,"owners_count":20937874,"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":["coq","coq-formalization","coq-library","cplusplus","cplusplus-11","cplusplus-14","cplusplus-17","cplusplus-20","cplusplus-23"],"created_at":"2024-12-16T18:29:47.164Z","updated_at":"2025-11-05T15:04:05.586Z","avatar_url":"https://github.com/bluerock-io.png","language":"Coq","funding_links":[],"categories":[],"sub_categories":[],"readme":"BRiCk and other BlueRock libraries\n==================================\n\n## BRiCk (Program logic for C++)\n\nSee [this README.md](rocq-bluerock-brick/README.md).\n\n## Code generator for BRiCk\n\nSee [this README.md](rocq-bluerock-cpp2v/README.md).\n\n## Lens library\n\nSee [this README.md](rocq-lens/README.md).\n\n## Extension of std++ for universe polymorphic monads\n\nSee [this README.md](rocq-upoly/README.md).\n\n## Extension of the elpi standard library\n\nSee [this README.md](elpi-extra/README.md).\n\n## Extension of the Ltac2 standard library\n\nSee [this README.md](ltac2-extra/README.md).\n\n## Ltac2 logging library\n\nSee [this README.md](ltac2-logger/README.md).\n\n## OCaml library with extensions of the Rocq API\n\nSee [this README.md](ocaml-rocq-extra/README.md).\n\n## OCaml logger library\n\nSee [this README.md](ocaml-logger-lib/README.md).\n\n## Extension of the OCaml standard library\n\nSee [this README.md](ocaml-stdlib-extra/README.md).\n\n## OCaml bindings for SWI-Prolog\n\nSee [this README.md](ocaml-swipl/README.md).\n\n## Instrumentation for the Rocq compiler\n\nSee [this README.md](rocq-tools/README.md).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FSkylabsAI%2FBRiCk","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FSkylabsAI%2FBRiCk","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FSkylabsAI%2FBRiCk/lists"}