Christopher Hoskin's repositories
elan
A Lean version manager
pympress
Pympress is a simple yet powerful PDF reader designed for dual-screen presentations
docker-passport-saml
Example passport saml app
testsummary
Test summary metric
uk-payslip-cli
Simple CLI app for checking UK payslips
tax-kalculator
Kotlin Multiplatform Project for calculating take-home pay đź’°
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
mathlib
Lean mathematical components library
cymbalbank-app-source
Build a Platform with KRM Demo: Application Source
cymbalbank-app-config
Build a Platform with KRM Demo: Application Config
cymbalbank-policy
Build a Platform with KRM Demo: Policy Repo
markdown.rs
Rust Markdown parsing library
helm-comanage
Unofficial COmanage Helm Chart
docker-comanage
Unofficial Docker container for Internet2 COmanage
ogapi
Opsgenie API
Isabelle-Bipolar
Attempt to prove the bipolar theorem
helm-repo
Unofficial Helm Repository
docker-debian-dev
Docker Image for Debian Development
mdq-browser
a HTML5/JS discovery/viewer app for MDQ
docker-xmlsectool
Docker container containing xmlsectool
helm-kerberos
Unofficial Helm Chart for MIT Kerberos 5
helm-iam-evaluation
Helm Chart for an IAM evaluation
iam-evaluation
A collection of tools (Docker containers, Kubernetes Helm Charts, Terraform configs) for evaluating IAM components
connector-csv
Connector for comma-separated value (CSV) files
charts
Curated applications for Kubernetes
docker-essential-architecture
Unofficial Docker image for The Essential Project
rb3
rb3 configuration management tool