Colm Bhandal's repositories
CsharpExtras
C# library for extra general purpose functionality not found in the standard libraries.
PhD-Comhordu-CoqDoc
Documentation of https://github.com/ColmBhandal/PhD-Formalilsing-Comhordu
buddhist-uni.github.io
Free courses, books, talks and other digital resources for learning about Buddhism.
discedit
Command line editor for Discourse
JsonEquals
Convenience Methods for Object Equality Via JSON Serialization
k_jupyter_demo
Demo of k_jupyter Notebook
k_jupyter_poc
POC of Jupyter Noteboooks for the K framework.
PhD-Formalilsing-Comhordu
Coq files accompanying my PhD thesis "Formalising a Real-Time Coordination Model".
discourse-triage
Application to keep track of updates on a Discourse server
example-product-documentation
An example for Sphinx documentation following Diataxis
ExcelInteropDecoration
Decoration layer on top of Microsoft's Interop library for Excel.
ExcelQuery
C# library for querying tabulated sheet data such as the data found on Excel sheets.
hippie_csv
:v: Tolerant, liberal CSV parsing
humanize
A simple utility library for making the web more humane. #hubspot-open-source
k-editor-support
Plugin files for editing K files
KotlinJiraCloudClient
A client library in Kotlin auto-generated using the Open API Generator (https://openapi-generator.tech/docs/installation)
kubeflow-cli-tutorial-poc
POC of an interactive tutorial for Kubeflow
kubeflow-scripts
Scripts for Charmed Kubeflow
learning-terraform-3087701
This repo is for the Linkedin Learning course: Learning Terraform
migrationtools
Tools to assist in data migration
sphinx-docs-starter-pack
A documentation starter-pack
test-charm
Test repo for testing out kubeflow ci stuff
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.