DevOps & Cloud Professor | AI & Automation Architect with Security Expertise | Senior Fellow of HEA | Senior IEEE Member
Highlights
- Pro
Pinned Loading
-
-
formal-verification
formal-verification PublicThis repository accompanies the book chapter on formal verification of modern systems, demonstrating the application of TLA+ across various domains:
TLA 2
-
terraform_kubeflow_onpremise
terraform_kubeflow_onpremise PublicTerraform modules for deploying a production-ready on-prem Kubeflow environment on Proxmox VE, automating VMs, k3s, and Kubeflow with GPU passthrough.
HCL
-
explain-ai
explain-ai PublicAn AI loan-approval system showcasing the shift from explainable ML to a RAG-based assistant. Includes LIME/SHAP analysis with scikit-learn models and a Streamlit app powered by FAISS, Sentence Tra…
Jupyter Notebook
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
