Skip to content
View ColmBhandal's full-sized avatar

Block or report ColmBhandal

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  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