Georgios Bakirtzis's repositories
security-analyst-dashboard
A security dashboard for analyzing cyber-physical system designs
AlgebraicRL.jl
Reinforcement learning, compositionally
AlgebraicContracts.jl
Specifying contracts compositionally
GeneralizeX
Reinforcement learning generalization, categorically
graphml_export
A GraphML exporter for MagicDraw SysML
latex-advice
Advice for writing LaTeX documents
Language:TeX000
org-bib-mode
An Emacs minor mode for literate & annotated bibliography
Language:Emacs LispGPL-3.0000