Linking pages
Linked pages
- The Mercury Project: Home https://mercurylang.org/ 130 comments
- miniKanren.org http://minikanren.org 81 comments
- Hello, declarative world http://codon.com/hello-declarative-world 72 comments
- GitHub - dtolnay/syn: Parser for Rust source code https://github.com/dtolnay/syn 30 comments
- GitHub - chris-morgan/anymap: A safe and convenient store for one value of each type https://github.com/chris-morgan/anymap 15 comments
- TypeId in std::any - Rust https://doc.rust-lang.org/std/any/struct.TypeId.html 8 comments
- http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf 3 comments
- GitHub - tgecho/canrun_rs: A Rust logic programming library inspired by the *Kanren family of language DSLs. https://github.com/tgecho/canrun_rs 0 comments
Related searches:
Search whole site: site:esimmler.com
Search title: Building Canrun: A statically typed logic programming library for Rust
See how to search.