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