coq-chick-blog
by clarus
🐣 A blog engine written and proven in Coq
AI summary
Blog engine
A Coq-based blog engine with user management and I/O operations
- stars
- 178
- forks
- 8
- watching
- 10
Similar projects
Found by comparing what the projects do, not just their names.
Coq blog
A blog about Coq proof assistant and its related libraries and tools
jscoq/jscoq518
Coq IDE
An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser.
Blog engine
A lightweight blogging engine with flexible content creation and publishing capabilities.
Code processor
A tool for processing Coq and Lean 4 code embedded in text documents
Blog engine
A blogging engine for a content management system
Web server
A Coq-based web server written in a functional programming language
Coq tips
A resource for discovering useful techniques and tricks in Coq
Blog engine
A simple blog engine written in Ruby, utilizing HTML5 features and modular design.
Blog engine
A simple blog system built on ASP.NET Core 5 for managing articles and hosting a website
Blog engine
A small blog + wiki engine built on Ruby and Sinatra, with Markdown support and caching capabilities.
Proof assistant
Coq proof assistant book with exercises and examples
Browser engine
A Node.js implementation of the WebKit browser engine for creating chat applications
Content Engine
A simple content and blog engine for ASP.NET Core, supporting markdown editing and flexible content management
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
