Repository Index

Health checks for Eclipse Vert.x

• health-check
• healthcheck
• monitoring
• reactive

JavaFX UI + Arduino project to control the lights in a drum booth

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

• coq
• mathcomp
• modal-logics
• ctl

Bluetooth TUI based on Bluetoothctl

• bluetooth
• omarchy
• tui

The Password-strength Checker TDD Kata

• programming-kata
• kata
• tdd
• tdd-kata

Docker images of coq-mathcomp [maintainer=?]

• docker-image
• dockerfile
• opam
• coq

Script used to find out what is the health condition of SXA site

• sitecore
• powershell
• powershell-script
• sxa

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm

Ask me anything!

SDK integrating Microsoft's Cognitive Services into Sitecore