Michael Hohn's repositories
codeql-operational-view
A concrete view of codeql based on actual commands
codeql-info
Informal collection of codeql material
project-estimates
Some experiments with PERT
vscode-codeql
An extension for Visual Studio Code that adds rich language support for CodeQL
cnn-in-apl
CNN in APL
codeql-cli-end-to-end
A walkthrough of codeql command-line use
codeql-javascript-multiflow
CodeQL/javascript sample
codeql-workshop-runtime-values-c
Reasoning about runtime values C/C++
codeql-workshop-vulnerable-linux-driver
Workshop on how to statically find issues in a vulnerable Linux driver
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.
local-actions-development
Local GitHub Actions development with https://github.com/nektos/act
mirva-controller
Controller for MRVA
purview
A server-side component framework. What if your React components ran on the server-side?
salabim
salabim - discrete event simulation in Python