Database of lattices and lattice properties

Question

Are there any websites that are databases of lattices?

I'm also interested in databases distributed as libraries in a programming language or similar.

---

I'm studying a little bit of lattice theory on my own.

I've come across a handful of names of finite lattices such as $N_5$ and $M_4$, shown below:

The lattice N_5

       1
     / |
    /  b
   /   |
  c    a
  \   /
    0

The lattice M_4

    1
 / | | \
 a b c d
 \ | | /
    0

I don't know many examples of lattices though, especially weird or poorly behaved ones.

I'm curious, however, whether there are any resources for lattices (especially finite lattices) similar to the following ones:

• Groups GroupProps
• Rings DaRT
• Topological spaces Pi-Base

Answer 1

I found https://www.shsu.edu/mem037/Lattices.html and https://b2share.eudat.eu/records/dbb096da4e364b5e9e37b982431f41de, which have good raw data but are not user-friendly like DaRT or π-Base.

The meta-answer: I found these from https://mathdb.mathhub.info/, which is a database of math databases!