Thiago Mael de Castro's starred repositories
design-practice-repository
Summaries of artifacts, templates, practices, and techniques for agile architecting (DPR-mm) and service design (SDPR-nn).
milsymbol-extensions
This is a library with various extensions to milsymbol.
theory-pl-refinement-coq
Porting the Theory of Software Product Line Refinement to the Coq proof assistant
modular-monolith-with-ddd
Full Modular Monolith application with Domain-Driven Design approach.
c4-draw.io
C4 Modelling little bit easier
vscode-pvs
LAR-19642-1: Visual Studio Code Extension for PVS
pure-bash-bible
đŸ“– A collection of pure bash alternatives to external processes.
WorldWindAndroid
The NASA WorldWind Java SDK for Android (WWA) includes the library, examples and tutorials for building 3D virtual globe applications for phones and tablets.
C4-PlantUML
C4-PlantUML combines the benefits of PlantUML and the C4 model for providing a simple way of describing and communicate software architectures
milsymbol-generator
Military symbol generator based on milsymbol.js
build-your-own-radar
A library that generates an interactive radar, inspired by https://thoughtworks.com/radar/.
ProofExplorer
Interactive visualisations of proof trees in PVS
theory-pl-refinement
PVS specification files for the theory of Software Product Line Refinement
Monografia
Classe LaTeX para monografia/dissertaĂ§Ă£o/tese do CIC.
swagger-ui
Swagger UI is a collection of HTML, JavaScript, and CSS assets that dynamically generate beautiful documentation from a Swagger-compliant API.
swagger-core
Examples and server integrations for generating the Swagger API Specification, which enables easy access to your REST API