Ciro Santilli @cirosantilli 40

A way to defined geometry without talking about coordinates, i.e. like Euclid's Elements, notably Euclid's postulates, as opposed to Descartes's Real coordinate space.

Two are riculously well known:

Examples under verilog, more details at Verilator.

Python library, claims multiple backends, including simulation and real IBM quantum computer.

Most notable example: $L^2$.

The non-regular version of the hypercube.