Geek Repo
followers
following
stars
Github PK Tool:Github PK Tool
MarkBind is a tool for generating content-heavy websites from source files in Markdown format
This is the project website for the TEAMMATES feedback management tool for education
APALACHE: symbolic model checker for TLA+
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown