Ciro Santilli @cirosantilli 37

Two are riculously well known:

Examples under verilog, more details at Verilator.

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.

Most notable example: $L^2$.

The non-regular version of the hypercube.

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