I've seen many different notion of $\infty$-categories, actual I've seen the operadic-globular ones of Batanin and Leinster and the opetopic too and eventually I'll see the simplicial ones too. Although there are so many notion of $\infty$-category so far I've only seen the following examples:

• $\infty$-grupoids as fundamental groupoids topological spaces;

• $(\infty,1)$-categories, mostly via topological example and application in algebraic geometry (in particular in derived algebraic geometry);

• strict $(\infty,\infty)$-categories, and their $n$-dimensional versions, for instance the various categories of strict-$n$-categories (here I intend $n \in \omega+\{\infty\}$).

There are other example of $\infty$-categories, especially from algebraic topology or algebraic geometry, but also mathematical physics and computer science and logic? In particular I wondering if there's a concrete example, well known, weak $(\infty,\infty)$-category.

(Edit:) after the a discussion with Mr.Porter I think adding some specifications may help. I'm looking for models/presentations of $\infty$-weak-categories for which is possible to give a combinatorial description, in which is possible to make manipulations and explicit calculations.