<commit_before># Coq Blog
A blog about Coq. Hosted on [coq-blog.clarus.me](http://coq-blog.clarus.me/).

## Use
Install the Markdown parser (you first need Ruby):

    gem install redcarpet

Add my coq-ish theme:

    curl -L https://github.com/clarus/coq-red-css/releases/download/1.0.0/style.min.css >static/style.min.css

If you want other themes, add a [Bootstrap](http://getbootstrap.com/) based CSS in `static/style.min.css`. A nice list is available on [Bootswatch](http://bootswatch.com/).

Compile:

    make

Compile each time a post is updated:

    while inotifywait posts/*; do make; done

Preview the results on [localhost:8000](http://localhost:8000/):

    make serve<commit_msg>License added in the README<commit_after># Coq Blog
A blog about Coq. Hosted on [coq-blog.clarus.me](http://coq-blog.clarus.me/).

## Use
Install the Markdown parser (you first need Ruby):

    gem install redcarpet

Add my coq-ish theme:

    curl -L https://github.com/clarus/coq-red-css/releases/download/1.0.0/style.min.css >static/style.min.css

If you want other themes, add a [Bootstrap](http://getbootstrap.com/) based CSS in `static/style.min.css`. A nice list is available on [Bootswatch](http://bootswatch.com/).

Compile:

    make

Compile each time a post is updated:

    while inotifywait posts/*; do make; done

Preview the results on [localhost:8000](http://localhost:8000/):

    make serve

## License
Published under MIT License. This holds both for the posts and the blog engine. Fell free to clone it.
{'fraction_non_alphanumeric': 0.12310730743910467, 'fraction_numerical': 0.014483212639894667, 'mean_word_length': 3.606060606060606, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 2, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2288150', 'n_tokens_mistral': 531, 'n_tokens_neox': 491, 'n_words': 165}