JohnWCartmell
**Data driven** software engineer and metamathematician. Sometime specialist in CASE tools, sometime in laboratory workflow and scientific instrumentation.
Macclesfield, Cheshire, UK
Pinned Repositories
Algebra
An equational rewriting system written in xml and xslt.
DiagrammingByEnrichment
DocumentModel
simple document model in xml
EntityLogic
An ERmodel based scripting toolset.
EntityModellingBook
Source of entitymodelling.org online book
ERScript
An XML based ER scripting language
Theory
Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
JohnWCartmell's Repositories
JohnWCartmell/Theory
Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
JohnWCartmell/ERScript
An XML based ER scripting language
JohnWCartmell/Algebra
An equational rewriting system written in xml and xslt.
JohnWCartmell/DiagrammingByEnrichment
JohnWCartmell/DocumentModel
simple document model in xml
JohnWCartmell/EntityLogic
An ERmodel based scripting toolset.
JohnWCartmell/EntityModellingBook
Source of entitymodelling.org online book