BartekSzpak's repositories
adversary
A CALDERA plugin
Language:PythonApache-2.0000
caldera
The CALDERA automated adversary emulation system
Language:PythonApache-2.0000
cmdps_via_bvf
Constrained Markov Decision Processes via Backward Value Functions
Language:Python000
Language:Python000
coreLang
An abstract threat modeling language
Apache-2.0000
exampleLang
A MAL language that demonstrates the maven project structure
Language:JavaApache-2.0000
gym-pyro
OpenAI Gym environments for MDPs, POMDPs, and confounded-MDPs implemented as pyro-ppl probabilistic programs.
Language:Python000
MAL
The Meta Attack Language
Language:JavaApache-2.0000
malcompiler
A compiler for the Meta Attack Language
Language:JavaApache-2.0000
ppl_tutorial
A tutorial on probabilistic programming using Pyro
000
pytorch-pyro-practice
Practicing PyTorch and Pyro (PPL used PyTorch) for some simple Bayesian learning tutorials
MIT000
qbstylesfork
Fork of qbstyles repository
Language:Jupyter Notebook000
scram
Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
GPL-3.0000