José Corella's repositories
ear-to-the-ground
Spring 2021 Data Visualization Final Project
aoc_2022
Solutions for Advent of Code 2022
aws-cryptographic-material-providers-library
AWS Cryptographic Material Providers Library
aws-cryptographic-material-providers-library-java
AWS Cryptographic Material Providers Library for Java
aws-database-encryption-sdk-dynamodb
AWS Database Encryption SDK for DynamoDB in Java
aws-dynamodb-encryption-java
Amazon DynamoDB Encryption Client for Java
aws-dynamodb-encryption-python
Amazon DynamoDB Encryption Client for Python
aws-encryption-sdk-c
AWS Encryption SDK for C
aws-encryption-sdk-cli
CLI wrapper around aws-encryption-sdk-python
aws-encryption-sdk-dafny
AWS Encryption SDK for Dafny
aws-encryption-sdk-java
AWS Encryption SDK
aws-encryption-sdk-javascript
AWS Encryption SDK for Javascript and Node.js
aws-encryption-sdk-python
AWS Encryption SDK
aws-sdk-js-crypto-helpers
AWS Cryptographic helpers for Javascript and Node.js
base64io-python
A stream implementation for Python that provides transparent base64 encoding and decoding of an underlying stream.
busy-engineers-document-bucket
A workshop to introduce client-side encryption with the AWS Encryption SDK and AWS KMS.
cassidoo_challenges
All the interview Questions that I am able to attempt from Cassiddo's Weekly Newsletter
COVID-19
Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE
D3-Assignments
D3 Assignments for Data Vis
dafny-n00b
Trying out Dafny on a repo to ideate and debug
GitHubGraduation-2021
Join the GitHub Graduation Yearbook and "walk the stage" on June 5.
gitWorkshop
Git Workshop
lets-talk-about-sorts
Sorting and Searching algorithms in various languages
libraries
Libraries useful for Dafny programs
memory_leaks_in_js
SImple Project to test how to find memory leaks in JavaScript
ML-For-Beginners
12 weeks, 24 lessons, classic Machine Learning for all
setup-dafny-action
Action for installing Dafny