Michael Hohn's repositories
vscode-codeql
An extension for Visual Studio Code that adds rich language support for CodeQL
local-actions-development
Local GitHub Actions development with https://github.com/nektos/act
mirva-controller
Controller for MRVA
cnn-in-apl
CNN in APL
hana-shine-xsa
SAP HANA Interactive Education for SAP HANA Extended Application Services, Advanced Model (SHINE for XS Advanced) is an education content to learn, develop, and deploy SAP HANA XS Advanced Model application and is a successor of SHINE for XS Classic.
codeql-javascript-multiflow
CodeQL/javascript sample
codeql-info
Informal collection of codeql material
salabim
salabim - discrete event simulation in Python
codeql-operational-view
A concrete view of codeql based on actual commands
codeql-cli-end-to-end
A walkthrough of codeql command-line use
project-estimates
Some experiments with PERT
codeql-workshop-vulnerable-linux-driver
Workshop on how to statically find issues in a vulnerable Linux driver
codeql-workshop-runtime-values-c
Reasoning about runtime values C/C++
purview
A server-side component framework. What if your React components ran on the server-side?