{% extends "layout.html" %} {% block title %}Statistics{% endblock %} {% block head %} {% endblock %} {% block breadcrumb %}
Here we collect some metrics regarding the Stacks project. If you have a suggestion for an interesting metric, please get in touch.
There are {{ total }} tags in total.
type | count |
---|---|
{{ environment }} | {{ counts[environment] }} |
{{ environment }} | {{ counts[environment] }} |
metric | tag | value |
---|---|---|
most complex tag | {{ records.complex.tag.tag }} | {{ records.complex.value }} in dependency graph |
most used tag | {{ records.used.tag.tag }} | {{ records.used.value }} tags (indirectly) build on this |
most referenced tag | {{ records.referenced.to.tag }} | {{ records.referenced.value }} tags reference this tag |
longest proof | {{ records.proof.tag.tag }} | {{ records.proof.value }} characters long (in HTML) |
metric | value |
---|---|
number of slogans | {{ extras["slogans"] }} |
number of references | {{ extras["references"] }} |
number of historical remarks | {{ extras["historical remarks"] }} |
number of comments | {{ extras["comments"] }} |