--- layout: feature css: plugin title: Kernel & Plugins - Frama-C active: "kernel-plugin" --- {% for category in site.data.plugins_categories %}
{{ category.name }}
{% for distrib in site.data.plugins_distrib_mode %} {% for plugin in site.fc-plugins %} {% if plugin.key == category.key and plugin.distrib_mode == distrib.key %}

{{ plugin.title }}

{{ plugin.description }}

{{ distrib.name }}

{% endif %} {% endfor %} {% endfor %}
{% endfor %}