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.