http://marmsoler.com
This is an unofficial reimagining of the Archive of Formal Proofs
A Theory of Architectural Design Patternsby Diego Marmsoler
Dynamic Architecturesby Diego Marmsoler