Beast code in Giters

Thiago Mael de Castro's repositories

Builds a dependency graph from cross-references in LaTeX documents and outputs tikz-wrapped Dot files.

Language:Python2 40

Use Assemble to generate HTML pages from markdown content. Useful for wikis, gh-pages, documentation and blogs or sites with markdown posts.

Language:JavaScriptMIT010

Variability handling in DTMCs.

Language:Haskell020

Fork of Java Expression Parser (JEP)

Language:JavaGPL-2.0010

Military Symbols in JavaScript

Language:JavaScriptMIT000

Project documentation with Markdown.

Language:CSS000

Fork of the excelent PARAMetric Markov Model Analyser (PARAM Tool).

Language:C++GPL-3.0010

Here's my number. Pay me, maybe?

Language:Python000

Proof of Concept to help choosing a proof assistant to formalize ReAna-SPL.

Language:Coq030

PVS mechanization of a formal framework for the analysis of Software Product Lines.

030

Vert.x Blueprint Project - A reactive todo-backend implementation using Vert.x and various persistence

Apache-2.0000

First experimentations with Vue

Language:Vue010