Awesome Open Source

Programming Languages

Coq Blog

A blog about Coq

Categories > Mathematics > Coq

Suggest Alternative

Stars

9

License

mit

Most Recent Commit

3 years ago

Programming Language

HTML

Categories

Web User Interface > Html

Mathematics > Coq

Text Processing > Markdown Parser

Web User Interface > Bootswatch

Suggest An Alternative To coq-blog

Popular Coq Projects

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 3 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 5 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 4 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

most recent commit 3 months ago

Popular Markdown Parser Projects

Parsedown ⭐ 14,552

Better Markdown Parser in PHP

dependent packages 782total releases 80latest release May 21, 2022most recent commit 3 months ago

packagist erusev/parsedown} Downloads

Showdown ⭐ 13,885

A bidirectional Markdown to HTML to Markdown converter written in Javascript

dependent packages 1,628total releases 62latest release April 21, 2022most recent commit 24 days ago

npm showdown} Downloads

Remarkable ⭐ 5,594

Markdown parser, done right. Commonmark support, extensions, syntax plugins, high speed - all in one. Gulp and metalsmith plugins available. Used by Facebook, Docusaurus and many others! Use https://github.com/breakdance/breakdance for HTML-to-markdown conversion. Use https://github.com/jonschlinkert/markdown-toc to generate a table of contents.

dependent packages 665total releases 23latest release May 25, 2020most recent commit 5 months ago

npm remarkable} Downloads

Redcarpet ⭐ 4,875

The safe Markdown parser, reloaded.

dependent packages 2,572total releases 73latest release December 15, 2020most recent commit 8 months ago

rubygems redcarpet} Downloads

Epiceditor ⭐ 4,321

EpicEditor is an embeddable JavaScript Markdown editor with split fullscreen editing, live previewing, automatic draft saving, offline support, and more. For developers, it offers a robust API, can be easily themed, and allows you to swap out the bundled Markdown parser with anything you throw at it.

dependent packages 3total releases 1latest release May 05, 2013most recent commit 4 years ago

npm epiceditor} Downloads

Popular Mathematics Categories

Related Searches

Html Bootswatch

Html Markdown Parser

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Html

Coq

Markdown Parser

Bootswatch

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.