Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Mdgen

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
Stars
8
License
mit
Open Issues
0
Most Recent Commit
4 months ago
Programming Language
Lean
Categories
Repo
Alternatives To Mdgen
Select To Compare
Yarle ⭐ 1,233
Yarle - The ultimate converter of Evernote notes to Markdown
dependent packages 1total releases 147most recent commit 4 months agonpm yarle-evernote-to-md} Downloads
Requirejs Plugins ⭐ 939
RequireJS Plugins
dependent packages 2total releases 2most recent commit 7 years agonpm shimney-requirejs-json} Downloads
Markdown ⭐ 905
A super fast, highly extensible markdown parser for PHP
dependent packages 178total releases 13most recent commit 4 years agopackagist cebe/markdown} Downloads
Mditor ⭐ 523
📝 [ M ] arkdown + E [ ditor ] = Mditor
dependent packages 10total releases 61most recent commit 5 years agonpm mditor} Downloads


Suggest An Alternative To mdgen
Popular Text Processing Categories
Tex
Format
Translation
Address
Character
Highlighter
Regular Expression
Formatter
Selector
Localization

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Markdown Converter
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.