coq-chick-blog
Blog engine
A Coq-based blog engine with user management and I/O operations
🐣 A blog engine written and proven in Coq
178 stars
10 watching
8 forks
Language: Coq
last commit: almost 5 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 arthuraa/poleiro | A blog about Coq proof assistant and its related libraries and tools | 47 |
 jscoq/jscoq | An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser. | 515 |
 xenocrat/chyrp-lite | A lightweight blogging engine with flexible content creation and publishing capabilities. | 417 |
 cpitclaudel/alectryon | Tools for processing Coq code and prose in technical documents | 236 |
 refinery/refinerycms-blog | A blogging engine for a content management system | 304 |
 coq-concurrency/pluto | A Coq-based web server written in a functional programming language | 86 |
 coq-community/coq-tricks | A resource for discovering useful techniques and tricks in Coq | 503 |
 19was85/wind | A simple blog engine written in Ruby, utilizing HTML5 features and modular design. | 55 |
 nikolayit/nikolay.it | A simple blog system built on ASP.NET Core 5 for managing articles and hosting a website | 82 |
 bomberstudios/bliki | A small blog + wiki engine built on Ruby and Sinatra, with Markdown support and caching capabilities. | 39 |
| coq-community/coq-art | Coq proof assistant book with exercises and examples | 110 |
 caofb/nodewebkitqq | A Node.js implementation of the WebKit browser engine for creating chat applications | 101 |
 cloudscribe/cloudscribe.simplecontent | A simple content and blog engine for ASP.NET Core, supporting markdown editing and flexible content management | 335 |
| coq-community/coq-ext-lib | A collection of reusable Coq definitions and theorems for building software development tools | 129 |
| cpitclaudel/company-coq | An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software | 354 |