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