mans0954

docker-essential-architecture

Unofficial Docker image for The Essential Project

docker-comanage

Unofficial Docker container for Internet2 COmanage

f-spot

Desktop Photo Management software built on top of the Gnome platform, F-Spot

helm-kerberos

Unofficial Helm Chart for MIT Kerberos 5

charts

Curated applications for Kubernetes

connector-csv

Connector for comma-separated value (CSV) files

cymbalbank-app-config

Build a Platform with KRM Demo: Application Config

cymbalbank-app-source

Build a Platform with KRM Demo: Application Source

cymbalbank-policy

Build a Platform with KRM Demo: Policy Repo

docker-debian-dev

Docker Image for Debian Development

docker-passport-saml

Example passport saml app

docker-xmlsectool

Docker container containing xmlsectool

elan

A Lean version manager

helm-comanage

Unofficial COmanage Helm Chart

helm-iam-evaluation

Helm Chart for an IAM evaluation

helm-repo

Unofficial Helm Repository

iam-evaluation

A collection of tools (Docker containers, Kubernetes Helm Charts, Terraform configs) for evaluating IAM components

Isabelle-Bipolar

Attempt to prove the bipolar theorem

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

markdown.rs

Rust Markdown parsing library

mathlib

Lean mathematical components library

mdq-browser

a HTML5/JS discovery/viewer app for MDQ

mozilla

ogapi

Opsgenie API

pympress

Pympress is a simple yet powerful PDF reader designed for dual-screen presentations

rb3

rb3 configuration management tool

tax-kalculator

Kotlin Multiplatform Project for calculating take-home pay 💰

Test-GitHub2

testsummary

Test summary metric

uk-payslip-cli

Simple CLI app for checking UK payslips