Umut Durak's repositories
bdd-security
BDD Automated Security Tests for Web Applications
Language:JavaAGPL-3.0000
blog
Just another minimalist Jekyll theme which designed for technical writing blog.
Language:HTMLMIT000
DO178_Case_Study
Case study for using MathWorks tools on a DO-178 project
Language:HTML000
gauntlt
a ruggedization framework that embodies the principle "be mean to your code"
Language:RubyMIT000
Language:CMIT000
mittn
Mittn: Security test tool runner for test automation in CI
Language:PythonApache-2.0000
OAAM
Open Avionics Architecture Model
Language:HTMLEPL-1.0000
pok
POK kernel. Safe and secure for safety-critical systems.
Language:CBSD-2-Clause000
ptII
Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
NOASSERTION000
resume
My Resume
000
Language:Jupyter NotebookMIT000
MIT000