What is the current status of Consequences of the Axiom of Choice website?

set-theory online-resources axiom-of-choice

Solution 1:

A revamped database, called "Choiceless Grapher" is now available: https://cgraph.inters.co/.
The data and code for the website are available at https://github.com/ioannad/jeffrey

This website has been created by Ioanna M. Dimitriou along with Paul Howard. Maybe interesting for future readers (in case sites go down again), here and here are some blog posts by Ioanna M. Dimitrou on creating this revamped website.

Related

Why invent the definition of pseudovector?
When is it allowed to do operations like 'differentiating both sides', 'integrating both sides'?
Initial Distribution of Stochastic Differential Equations
$1$ as difference of composites with same number of prime factors and smallest examples
Connectedness and path connectedness of a set whose intersection with lines is open
Two exercises in functional analysis.
Maximize the trace of a matrix by permuting its rows
Why pasting a finite number of commutative diagrams is commutative
Definition of predictable process
Is This a New Property I Have Found Pertaining to Mersenne Primes?
Applications of "finite mathematics" to physics
Integrals of the Bessel function $J_0(x)$ over the intervals between its zeros