Sign in
Join now
existential-graphs
chrisvanderloo.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
package.json
October 2026
Chris Vanderloo
1e736f96
Copied
Failed
Copy SHA
trim the trailing newline before
hashing
hashing
Copy SHA
Browse repository
committed
1d ago
rsdexter
bf49093e
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1w ago
Chris Vanderloo
eecfd54d
Copied
Failed
Copy SHA
fix the off-by-one in the page
cursor
cursor
Copy SHA
Browse repository
committed
1w ago
Chris Vanderloo
2d7ac6f1
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
2w ago
Chris Vanderloo
4b282928
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
3w ago
rsdexter
457e616c
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3w ago
Chris Vanderloo
3d500623
Copied
Failed
Copy SHA
treat a missing body as empty, not
null
null
Copy SHA
Browse repository
committed
3w ago
rsdexter
d250a2c1
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
1mo ago
September 2026
Chris Vanderloo
15496070
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
1mo ago
rsdexter
6c26edb0
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
1mo ago
rsdexter
29e6bc9e
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
1mo ago
Chris Vanderloo
515eadba
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
1mo ago
rsdexter
2b1e301b
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
1mo ago
rsdexter
d9be5055
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
2mo ago
August 2026
rsdexter
1ef7d44f
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
2mo ago
Chris Vanderloo
d734906b
Copied
Failed
Copy SHA
put the separator back between the
rows
rows
Copy SHA
Browse repository
committed
2mo ago
Chris Vanderloo
6214a889
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
2mo ago
Chris Vanderloo
f9315267
Copied
Failed
Copy SHA
defer the icon
import
import
Copy SHA
Browse repository
committed
2mo ago
Chris Vanderloo
fb6ffbf3
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
2mo ago
rsdexter
de9e7f39
Copied
Failed
Copy SHA
make the toggle keyboard
reachable
reachable
Copy SHA
Browse repository
committed
2mo ago
rsdexter
254a67d9
Copied
Failed
Copy SHA
tighten the types around the
response
response
Copy SHA
Browse repository
committed
2mo ago
July 2026
rsdexter
dfc9daf9
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
3mo ago
rsdexter
4db12039
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
3mo ago
Chris Vanderloo
1f1cc43f
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
3mo ago
rsdexter
3ddf627d
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
3mo ago
rsdexter
3d573e21
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
3mo ago
Chris Vanderloo
ade51326
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
3mo ago
rsdexter
77499c66
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3mo ago
Chris Vanderloo
7734a613
Copied
Failed
Copy SHA
fix the off-by-one in the page
cursor
cursor
Copy SHA
Browse repository
committed
3mo ago
June 2026
Chris Vanderloo
c7427538
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
4mo ago
Chris Vanderloo
9940a17a
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
4mo ago
Chris Vanderloo
3273de80
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
4mo ago
Chris Vanderloo
e62ad43e
Copied
Failed
Copy SHA
read the default from the
config
config
Copy SHA
Browse repository
committed
4mo ago
rsdexter
e8f9ae43
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
4mo ago
rsdexter
c3072950
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
4mo ago
Chris Vanderloo
29e25292
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
4mo ago
Chris Vanderloo
a6580e20
Copied
Failed
Copy SHA
make the toggle keyboard
reachable
reachable
Copy SHA
Browse repository
committed
4mo ago
Chris Vanderloo
725eab6d
Copied
Failed
Copy SHA
round the sizes to the token
scale
scale
Copy SHA
Browse repository
committed
5mo ago
May 2026
Chris Vanderloo
97da6fe6
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
5mo ago
rsdexter
ea123930
Copied
Failed
Copy SHA
reuse the existing chip instead of a new
one
one
Copy SHA
Browse repository
committed
5mo ago
Chris Vanderloo
963d5304
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
5mo ago
rsdexter
a0296df8
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
5mo ago
rsdexter
f66e8b81
Copied
Failed
Copy SHA
handle the ref with a slash in
it
it
Copy SHA
Browse repository
committed
5mo ago
rsdexter
0756e8fe
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
5mo ago
Chris Vanderloo
b6cac791
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
5mo ago
Chris Vanderloo
02547ce9
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
5mo ago
April 2026
Chris Vanderloo
7037ca55
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
6mo ago
Chris Vanderloo
147b59d8
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
6mo ago
rsdexter
e8e0a443
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
6mo ago
rsdexter
2c5a2fc1
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
6mo ago
Previous
1
2
Next