Beast code in Giters

Wei Qing's repositories

Language:Python100

MarkBind is a tool for generating content-heavy websites from source files in Markdown format

Language:HTMLMIT100

Language:Python1 10

This is the project website for the TEAMMATES feedback management tool for education

Language:JavaGPL-2.0100

APALACHE: symbolic model checker for TLA+

Language:ScalaApache-2.0000

Language:HTML000

Language:Java002

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Language:JavaScriptMIT000

Language:Python000

Language:TypeScript000

Language:JavaMIT000