Search results

Version 1.0.4 has invalid license-files in pyproject.toml, causing build failure

Status: Open.

#91 In pythological/kanren;

· iamatharkhan opened on Jun 20, 2025

The logic of the disequality constraint with multiple variables is incorrect

Status: Open.

#85 In pythological/kanren;

· alfredo08154711 opened on Jun 14, 2024

Add type hints for <code>Zzz</code>'s <code>*args</code> and <code>**kwargs</code> with <code>ParamSpec</code>

documentation

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#76 In pythological/kanren;

· majidaldo opened on Jan 29, 2023

Implement tabling

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

important

performance

term rewriting

Status: Open.

#65 In pythological/kanren;

· brandonwillard opened on Oct 5, 2022

Investigate the use of e-graph/equality saturation

enhancementNew feature or requestNew feature or request

performance

questionFurther information is requestedFurther information is requested

stream processingOperations related to (goal) stream processingOperations related to (goal) stream processing

term rewriting

Status: Open.

#64 In pythological/kanren;

· brandonwillard opened on Oct 5, 2022

Add the microkanren paper to the README

documentation

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#60 In pythological/kanren;

· rlouf opened on Sep 7, 2022

Remove recursive <code>interleave</code> calls

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

important

performance

stream processingOperations related to (goal) stream processingOperations related to (goal) stream processing

Status: Open.

#59 In pythological/kanren;

· rlouf opened on Aug 10, 2022

Consider using <code>WeakKeyDictionary</code>s as states

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

important

performance

Status: Open.

#57 In pythological/kanren;

· brandonwillard opened on Aug 1, 2022

Consider adding a <code>ChainMap</code>-like state class

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

important

performance

Status: Open.

#56 In pythological/kanren;

· brandonwillard opened on Aug 1, 2022

Inspect <code>kanren</code> states generated by <code>walko</code>

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

important

performance

questionFurther information is requestedFurther information is requested

term rewriting

Status: Open.

#55 In pythological/kanren;

· brandonwillard opened on Jul 28, 2022

Implement Pie

enhancementNew feature or requestNew feature or request

Status: Open.

#50 In pythological/kanren;

· brandonwillard opened on Jun 11, 2022

Relation helper (reflexive/symmetric/transitive)

Status: Open.

#33 In pythological/kanren;

· nardi opened on Mar 8, 2021