microKanren-py Alternatives

Similar projects and alternatives to microKanren-py

• scryer-prolog

  42 1,888 9.7 Rust microKanren-py VS scryer-prolog

  A modern Prolog implementation written mostly in Rust.

• nests-and-insects

  22 52 0.0 Prolog microKanren-py VS nests-and-insects

  A Roguelike Tabletop RPG

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• louise

  8 91 8.0 Prolog microKanren-py VS louise

  Polynomial-time Meta-Interpretive Learning

• Gleemin

  4 86 0.0 Prolog microKanren-py VS Gleemin

  A Magic: the Gathering™ expert system

• mediKanren

  6 316 8.2 Racket microKanren-py VS mediKanren

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

• kanren

  3 147 0.0 Python microKanren-py VS kanren

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

  

• muKanren_reading

  2 36 3.6 Racket microKanren-py VS muKanren_reading

  [Mirror] A close reading of the μKanren paper.

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• edcg

  1 6 0.0 Prolog microKanren-py VS edcg

  Extended DCG syntax for Prolog by Peter Van Roy

• wh40ksim

  1 5 10.0 Prolog microKanren-py VS wh40ksim

  Warhammer 40k Combat simulator