Pinned

1. PhD-Formalilsing-Comhordu PhD-Formalilsing-Comhordu Public

   Coq files accompanying my PhD thesis "Formalising a Real-Time Coordination Model".

   Coq

2. k_jupyter_poc k_jupyter_poc Public

   POC of Jupyter Noteboooks for the K framework.

   Python

3. CsharpExtras CsharpExtras Public

   C# library for extra general purpose functionality not found in the standard libraries.

   C# 2 2

4. JsonEquals JsonEquals Public

   Convenience Methods for Object Equality Via JSON Serialization

   C#

5. VbaSync VbaSync Public

   Vba code for the import/export of other Vba code- for Vba version control.

   VBA 27 6

6. k_jupyter_demo k_jupyter_demo Public

   Demo of k_jupyter Notebook

   Jupyter Notebook