ekzhang / ukanren-rs

Rust implementation of µKanren, a featherweight relational programming language.

Date Created 2021-09-10 (3 years ago)

Commits 31 (last one about a year ago)

Stargazers 111 (0 this week)

Watchers 3 (0 this week)

Forks 5

License mit

Ranking

RepositoryStats indexes 585,880 repositories, of these ekzhang/ukanren-rs is ranked #271,164 (54th percentile) for total stargazers, and #423,021 for total watchers. Github reports the primary language for this repository as Rust, for repositories using this language it is ranked #7,515/16,767.

ekzhang/ukanren-rs is also tagged with popular topics, for these it's ranked: rust (#3,937/7206), language (#462/736), functional-programming (#404/651)

Other Information

Homepage URL: https://docs.rs/ukanren

All Topics

rust prolog language minikanren microkanren logic-programming functional-programming

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

1 commits on the default branch (main) since jan '22

Yearly Commits

Commits to the default branch (main) per year

Issue History

Languages

The only known language in this repository is Rust

updated: 2024-08-17 @ 07:06am, id: 404944605 / R_kgDOGCL23Q