issues
search
advancedresearch
/
joker_calculus
An implementation of Joker Calculus in Rust
MIT License
5
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Satisfaction and Restlessness
#72
bvssvni
opened
1 month ago
0
Reverse triple not?
#71
bvssvni
opened
8 months ago
0
Published 0.11.0
#70
bvssvni
closed
8 months ago
0
Improved docs
#69
bvssvni
closed
8 months ago
0
Implemented new rules
#68
bvssvni
closed
9 months ago
0
Check distribution rule in sequences
#67
bvssvni
opened
9 months ago
0
Contract in both Open and Closed variants
#66
bvssvni
closed
9 months ago
0
Use `id` as evaluation termination
#65
bvssvni
closed
9 months ago
0
Use `id` as evaluation termination of sub-expression
#64
bvssvni
closed
9 months ago
0
Updated library docs
#63
bvssvni
closed
9 months ago
0
Unreachable cases
#62
bvssvni
closed
8 months ago
1
Religious animals: Bird vs Snake
#61
bvssvni
opened
10 months ago
0
Religious rituals: Song vs Prayer
#60
bvssvni
opened
10 months ago
0
Mainstream religions: Owned Religion
#59
bvssvni
opened
11 months ago
0
Personal Experience: Joker Physicalism
#58
bvssvni
opened
1 year ago
1
HOOO EP vs Provability Logic
#57
bvssvni
opened
1 year ago
0
Layers of meta-optimization: Analysis vs Synthesis
#56
bvssvni
opened
1 year ago
0
The Bull by Pablo Picasso
#55
bvssvni
opened
1 year ago
0
Personal vs Group Identity
#54
bvssvni
opened
2 years ago
0
Video game bias
#53
bvssvni
opened
2 years ago
0
Published 0.10.0
#52
bvssvni
closed
2 years ago
0
Added support for higher-dimensionality
#51
bvssvni
closed
2 years ago
0
Add support for higher-dimensionality
#50
bvssvni
closed
2 years ago
0
Published 0.9.0
#49
bvssvni
closed
2 years ago
0
Added unit test for joker ambiguity
#48
bvssvni
closed
2 years ago
0
Fixed rule
#47
bvssvni
closed
2 years ago
0
Fix `((?x)’, (?y)’) => eval(?(x, y))` rule
#46
bvssvni
closed
2 years ago
0
Fixed some methods
#45
bvssvni
closed
2 years ago
0
Disabled some rules in Open variant
#44
bvssvni
closed
2 years ago
0
Interpretation of left/right inverse
#43
bvssvni
opened
2 years ago
0
Disable some rules in Open variant
#42
bvssvni
closed
2 years ago
0
Published 0.8.0
#41
bvssvni
closed
2 years ago
0
Added `Expr::authentic`
#40
bvssvni
closed
2 years ago
0
Add `Expr::authentic` method
#39
bvssvni
closed
2 years ago
0
Life form bias
#38
bvssvni
opened
2 years ago
0
Assumptions about partial order
#37
bvssvni
opened
2 years ago
0
Added some partial orders
#36
bvssvni
closed
2 years ago
0
Published 0.7.1
#35
bvssvni
closed
2 years ago
0
Fixed macro
#34
bvssvni
closed
2 years ago
0
Published 0.7.0
#33
bvssvni
closed
2 years ago
0
Added `!` cases to `jc!`
#32
bvssvni
closed
2 years ago
0
Display shorthand syntax
#31
bvssvni
closed
2 years ago
0
Added `jc!` macro for shorthand syntax
#30
bvssvni
closed
2 years ago
0
Added `contracting` with variants
#29
bvssvni
closed
2 years ago
0
Published 0.6.0
#28
bvssvni
closed
2 years ago
0
Updated with extended rules from paper
#27
bvssvni
closed
2 years ago
0
Seshatic Queenity
#26
bvssvni
opened
2 years ago
1
Published 0.5.0
#25
bvssvni
closed
2 years ago
0
Updated with `1 1 x => 1 x` and `0 0 x => 0 x`
#24
bvssvni
closed
2 years ago
0
Normalize `Seshatic Seshatic X` to `Seshatic X`
#23
bvssvni
closed
2 years ago
1
Next