mckirk's repositories
Language:Python000
awesome-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
000
Language:TypeScriptMIT000
Language:CoqNOASSERTION000
EL2805_Reinforcement_Learning
Labs for the course EL2805 Reinforcement Learning at KTH
Language:Jupyter Notebook000
func-drat
Functional implementation of a DRAT proof checker
Language:OCamlMIT000
Isabelle_Cminor
Connecting CompCert with the Isabelle/HOL ecosystem
Language:IsabelleNOASSERTION000
kube-hunter
Hunt for security weaknesses in Kubernetes clusters
Language:PythonApache-2.0000
stustapay
Electronic Payment System for Festivals using NFC Wristbands
Language:PythonAGPL-3.0000
opensearch-py
Python Client for OpenSearch
Language:PythonApache-2.0000