Benny Sommerregen

Popular repositories

1. grav-plugin-jscomments

   JSComments is a Grav (http://github.com/getgrav/grav) plugin which allows to integrate comments into individual pages from Discourse / Disqus / Facebook / Google+ / HyperComments / IntenseDebate / …

   HTML 22 10

2. grav-plugin-mediaembed

   This plugin embeds several media sites (e.g. YouTube, Vimeo, Soundcloud) by only providing the URL to the medium.

   PHP 21 6

3. grav-plugin-mathjax

   This plugin allows you to include math formulas in your web pages, either using TeX and LaTeX notation, and/or as MathML.

   PHP 15 2

4. grav-theme-developer

   This theme is a Grav port of the Developer HTML Template (http://themes.3rdwavemedia.com/website-templates/free-responsive-website-template-for-developers/) developed by 3rd Wave Media (http://3rdw…

   CSS 15 13

5. grav-plugin-external-links

   This plugin adds small icons to external and mailto links, informing users the link will take them to a new site or open their email client.

   PHP 14 10

6. grav-plugin-toc

   This plugin automagically generates a (minified) Table of Contents based on special markers in the document and adds it into the resulting HTML document.

   PHP 12 6