{"id":13749264,"url":"https://github.com/tgecho/canrun_rs","last_synced_at":"2025-05-09T12:32:14.758Z","repository":{"id":48291514,"uuid":"242647146","full_name":"tgecho/canrun_rs","owner":"tgecho","description":"A Rust logic programming library inspired by the *Kanren family of language DSLs.","archived":false,"fork":false,"pushed_at":"2024-05-20T08:35:56.000Z","size":684,"stargazers_count":51,"open_issues_count":1,"forks_count":4,"subscribers_count":6,"default_branch":"main","last_synced_at":"2024-05-23T05:32:13.211Z","etag":null,"topics":["dsl","kanren","logic","rust"],"latest_commit_sha":null,"homepage":"https://docs.rs/canrun/","language":"Rust","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/tgecho.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE-APACHE","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":"2020-02-24T04:34:02.000Z","updated_at":"2024-08-03T07:03:12.229Z","dependencies_parsed_at":"2024-08-03T07:13:15.174Z","dependency_job_id":null,"html_url":"https://github.com/tgecho/canrun_rs","commit_stats":{"total_commits":399,"total_committers":4,"mean_commits":99.75,"dds":0.06766917293233088,"last_synced_commit":"a4c6182f5c3811d6ba99de2dfafec4ee636216f0"},"previous_names":[],"tags_count":5,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tgecho%2Fcanrun_rs","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tgecho%2Fcanrun_rs/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tgecho%2Fcanrun_rs/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tgecho%2Fcanrun_rs/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tgecho","download_url":"https://codeload.github.com/tgecho/canrun_rs/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":224140729,"owners_count":17262725,"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":["dsl","kanren","logic","rust"],"created_at":"2024-08-03T07:00:58.126Z","updated_at":"2024-11-16T00:30:20.678Z","avatar_url":"https://github.com/tgecho.png","language":"Rust","funding_links":[],"categories":["Kanren"],"sub_categories":["Libraries"],"readme":"[![CI](https://github.com/tgecho/canrun_rs/actions/workflows/tests.yml/badge.svg)](https://github.com/tgecho/canrun_rs/actions/workflows/tests.yml)\n[![Coverage](https://img.shields.io/codecov/c/gh/tgecho/canrun_rs?token=7HSAMYDWEB)](https://codecov.io/gh/tgecho/canrun_rs)\n[![Crate](https://img.shields.io/crates/v/canrun.svg)](https://crates.io/crates/canrun)\n[![Documentation](https://docs.rs/canrun/badge.svg)](https://docs.rs/canrun/latest/canrun/)\n\nCanrun is a [logic programming](https://en.wikipedia.org/wiki/Logic_programming)\nlibrary inspired by the [\\*Kanren](http://minikanren.org/) family of language\nDSLs.\n\n- Intro blog post: [https://esimmler.com/announcing-canrun/](https://esimmler.com/announcing-canrun/)\n- How it works (part 1): [https://esimmler.com/building-canrun-part-1/](https://esimmler.com/building-canrun-part-1/)\n\n## Status: Exploratory and Highly Experimental\n\nI'm still quite new to both Rust and logic programming, so there are likely to\nbe rough edges. At best it may be a useful implementation of something that\nresembles the core concepts of a Kanren while being idiomatically Rusty. At\nworst it may just be a poor misinterpretation with fatal flaws.\n\n## Quick Start\n\n```rust\nuse canrun::{LVar, Query};\nuse canrun::goals::{both, unify};\n\nlet x = LVar::new();\nlet y = LVar::new();\nlet goal = both(unify(x, y), unify(1, x));\n\nlet result: Vec\u003c_\u003e = goal.query(y).collect();\n\nassert_eq!(result, vec![1])\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftgecho%2Fcanrun_rs","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftgecho%2Fcanrun_rs","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftgecho%2Fcanrun_rs/lists"}