minikanren

Open-source projects categorized as minikanren
Edit details
Language: + Racket + Python + Rust
Topics: logic-programming microkanren relational-programming clp Rust
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 4 minikanren Open-Source Projects

  • mediKanren

    Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

  • kanren

    An extensible, lightweight relational/logic programming DSL written in pure Python

    • Project mention: Kanren: An extensible, lightweight relational/logic programming DSL in Python | news.ycombinator.com | 2024-02-03

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • staged-miniKanren

    staged relational interpreters: running with holes, faster

  • ukanren-rs

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

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).

minikanren related posts

  • Kanren: An extensible, lightweight relational/logic programming DSL in Python

    1 project | news.ycombinator.com | 3 Feb 2024

  • Annotated implementation of microKanren: an embeddable logic language

    9 projects | news.ycombinator.com | 25 May 2022

  • Human Knowledge and PhDs

    1 project | /r/coolguides | 22 May 2022

  • When do you use generators?

    1 project | /r/Python | 21 Mar 2022

  • 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
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 2 May 2024
    Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Index

What are some of the best open-source minikanren projects? This list will help you:

Project Stars
1 mediKanren 316
2 kanren 157
3 staged-miniKanren 122
4 ukanren-rs 106

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com