Rust minikanren

Open-source Rust projects categorized as minikanren
Edit details
Functional programming Language Rust logic-programming Prolog
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Rust minikanren Projects

minikanren

  1. ukanren-rs

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

  2. Stream

    Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

    Stream logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Rust minikanren discussion

Log in or Post with

Rust minikanren related posts

  • Show HN: Rust implementation of µKanren, a featherweight relational language

    1 project | news.ycombinator.com | 12 Sep 2021

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

    1 project | /r/functionalprogramming | 11 Sep 2021

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

    1 project | /r/rust | 11 Sep 2021

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

    1 project | /r/ProgrammingLanguages | 11 Sep 2021

Index

# Project Stars
1 ukanren-rs 113

Sponsored
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io
Loading...