A.J. Stein's repositories
next-gen-policy-as-code
A repository for my collaboration with a SURF research for Summer 2023 on the future of policy as code solutions.
example-ocaml-dream-app
A.J.'s exploration of the Dream web application framework for the OCaml runtime.
learn-github-actions
An example repo to explore GitHub Actions
oscal-cli-demo
A presentation and supporting material presenting the latest, greatest, oscal-cli utility from the NIST OSCAL Team.
ACVP-Server
A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.
BF
Bugs Framework
cwe_checker
cwe_checker finds vulnerable patterns in binary executables
httptest
HTTP testing inspired by golang's httptest package
jadn-sandbox
OpenC2 is defined using JSON Abstract Schema Notation (JADN). The JADN Sandbox provides the ability generate OpenC2 messages and schemas, as well as, convert to other data formats and provide JADN validation.
lychee
⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
oscal-jsonschema-tests
Testing different versions of the OSCAL repository with the Python jsonschema library.
OSCAL-Pages
Open Security Controls Assessment Language (OSCAL) Website Content
OSCAL-Reference
Model reference pages for the OSCAL project
oscal-xslt
Open source XSLT for OSCAL display and processing
refuzz
Exploring how to fuzz different dialects of regular expression grammars in popular implementations.
scitt-examples
A collection of use case oriented examples for implementing SCITT (https://scitt.io)
tamarin-workshop
A 2-4h workshop on the Tamarin protocol verifier.
tcpdump-htdocs
Web site sources
trustable_library_python
An example library in Python. Maybe you want to trust it, maybe you don't?
trusting_application_python
An application that may or may not trust the trustable library, trustworthy or not.
xsdata-pydantic
Naive XML & JSON Bindings for python pydantic classes!