Repositories
seebees/ironmq
node bindings for IronMQ
seebees/loggly_cmds
Loggly helper cmds
seebees/nand2tetris
seebees/aws-cryptographic-material-providers-library-java
AWS Cryptographic Material Providers Library for Java
seebees/duvet
seebees/ide-vscode
VSCode IDE Integration for Dafny
seebees/aws-encryption-sdk-dafny
AWS Encryption SDK for Dafny
seebees/setup-dafny-action
Action for installing Dafny
seebees/dafny
Dafny is a verification-aware programming language
seebees/boogie
Boogie
seebees/aws-crypto-tools-test-vector-framework
Contains rules explaining how to use test vectors for the AWS Encryption SDK
seebees/libraries
Libraries useful for Dafny programs
seebees/test_pr
seebees/aws-encryption-sdk-cli
CLI wrapper around aws-encryption-sdk-python
seebees/aws-encryption-sdk-java
AWS Encryption SDK
seebees/aws-dynamodb-encryption-python
Amazon DynamoDB Encryption Client for Python
seebees/aws-dynamodb-encryption-java
Amazon DynamoDB Encryption Client for Java
seebees/MSR-JavaScript-Crypto
Microsoft JavaScript Cryptography Library
seebees/bouncy
bounce HTTP requests around for load balancing or as an HTTP host router
seebees/aws-encryption-sdk-specification
AWS Encryption SDK Specification
seebees/selenium-please
Launch a Selenium process with the appropriate drivers
seebees/aws-encryption-sdk-python
AWS Encryption SDK
seebees/aws-encryption-sdk-c
AWS Encryption SDK for C
seebees/aws-codebuild-run-build
Run a AWS CodeBuild project as a step in a GitHub Actions workflow job.
seebees/configure-aws-credentials
Configure AWS credential environment variables for use in other GitHub Actions.
seebees/busy-engineers-document-bucket
seebees/karma
Spectacular Test Runner for JavaScript
seebees/aws-encryption-sdk-javascript
AWS Encryption SDK for Javascript and Node.js
seebees/node-http-proxy
A full-featured http proxy for node.js