Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/mbillingr/miniKANREN
Various miniKANREN implementations
https://github.com/mbillingr/miniKANREN
Last synced: 1 day ago
JSON representation
Various miniKANREN implementations
- Host: GitHub
- URL: https://github.com/mbillingr/miniKANREN
- Owner: mbillingr
- License: mit
- Created: 2020-03-10T14:36:31.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2021-12-09T12:59:56.000Z (almost 3 years ago)
- Last Synced: 2024-09-20T09:13:02.038Z (about 2 months ago)
- Language: Rust
- Size: 195 KB
- Stars: 8
- Watchers: 4
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - miniKANREN - kanren):zzz: - miniKANREN as a DSL. (Kanren / Libraries)
README
# miniKANREN
Various miniKANREN implementations## Implementations (Directories)
- **R7RS**: The canonical implementation from "The Reasoned Schemer" packaged as a Scheme R7RS library.
- **rust-canonical**: A non-idiomatic implementation in Rust. (Uses Scheme idioms (recursion, streams) rather than Rust idioms (loops, iterators))
- **rust**: An implementation in Rust, written in a more rust-like way using language features like loops and iterators.