{"id":18056948,"url":"https://github.com/smimram/ocaml-alg","last_synced_at":"2025-04-11T04:37:24.885Z","repository":{"id":41225843,"uuid":"90862514","full_name":"smimram/ocaml-alg","owner":"smimram","description":"Algebraic structures in OCaml.","archived":false,"fork":false,"pushed_at":"2025-03-12T13:19:54.000Z","size":24551,"stargazers_count":23,"open_issues_count":0,"forks_count":3,"subscribers_count":4,"default_branch":"main","last_synced_at":"2025-04-11T04:37:20.339Z","etag":null,"topics":["algebra","ocaml","rewriting"],"latest_commit_sha":null,"homepage":"https://smimram.github.io/ocaml-alg/","language":"OCaml","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/smimram.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES.md","contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-05-10T12:37:16.000Z","updated_at":"2025-03-28T13:43:14.000Z","dependencies_parsed_at":"2023-12-13T16:39:59.006Z","dependency_job_id":"65a7af11-7fe9-47e2-9d2e-79c1dd5bde32","html_url":"https://github.com/smimram/ocaml-alg","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/smimram%2Focaml-alg","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/smimram%2Focaml-alg/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/smimram%2Focaml-alg/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/smimram%2Focaml-alg/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/smimram","download_url":"https://codeload.github.com/smimram/ocaml-alg/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248345256,"owners_count":21088231,"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":["algebra","ocaml","rewriting"],"created_at":"2024-10-31T02:05:32.142Z","updated_at":"2025-04-11T04:37:24.848Z","avatar_url":"https://github.com/smimram.png","language":"OCaml","funding_links":[],"categories":[],"sub_categories":[],"readme":"OCaml algebra\n=========\n\nA library to manipulate and compute with algebraic structures in OCaml. It\nimplements structures such as\n\n- monoids\n- groups\n- rings\n- modules\n- algebras\n- matrices\n- graphs\n- automata\n- and so on...\n\nIt also features some free and presented such structures.\n\nDocumentation\n-------------\n\nYou can have a look at the [generated documentation for the\nmodules](https://smimram.github.io/ocaml-alg/alg/).\n\nTools\n-----\n\nSome online tools are implemented using this library:\n\n- [Bergman 2](https://smimram.github.io/ocaml-alg/bergman/) is a new\n  implementation for a Gröbner basis calculator\n- [KB](https://smimram.github.io/ocaml-alg/kb/) implements Knuth-Bendix and\n  Squier completion on term rewriting systems\n- [Rewr 2](https://smimram.github.io/ocaml-alg/rewr2/) implements Knuth-Bendix completion for string rewriting systems\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsmimram%2Focaml-alg","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsmimram%2Focaml-alg","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsmimram%2Focaml-alg/lists"}