Pinned Repositories
aws-api-gateway-developer-portal
A Serverless Developer Portal for easily publishing and cataloging APIs
conformal
Visualization of conformal mappings on the complex plane.
cse120-pa4-tests
CSE 120 PA4 test suite
dotfiles
My dotfiles for Linux
landing
A Chrome extension that provides a minimal New Tab page
libraries
Libraries useful for Dafny programs
moza
Photo-mosaic generator
oomox-colors
colorscheme files for GTK themes generated by oomox
z3d-rs
the Z3 DSL interface for Rust
dafny
Dafny is a verification-aware programming language
alex-chew's Repositories
alex-chew/landing
A Chrome extension that provides a minimal New Tab page
alex-chew/z3d-rs
the Z3 DSL interface for Rust
alex-chew/dotfiles
My dotfiles for Linux
alex-chew/cse120-pa4-tests
CSE 120 PA4 test suite
alex-chew/moza
Photo-mosaic generator
alex-chew/aws-api-gateway-developer-portal
A Serverless Developer Portal for easily publishing and cataloging APIs
alex-chew/aws-encryption-sdk-java
AWS Encryption SDK
alex-chew/conformal
Visualization of conformal mappings on the complex plane.
alex-chew/libraries
Libraries useful for Dafny programs
alex-chew/oomox-colors
colorscheme files for GTK themes generated by oomox
alex-chew/userscripts
alex-chew/amazon-corretto-crypto-provider
The Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.
alex-chew/aws-crt-java
Java bindings for the AWS Common Runtime
alex-chew/aws-dynamodb-encryption-java
Amazon DynamoDB Encryption Client for Java
alex-chew/aws-encryption-sdk-c
AWS Encryption SDK for C
alex-chew/aws-encryption-sdk-cli
CLI wrapper around aws-encryption-sdk-python
alex-chew/aws-encryption-sdk-javascript
AWS Encryption SDK for Javascript and Node.js
alex-chew/aws-encryption-sdk-python
AWS Encryption SDK
alex-chew/aws-encryption-sdk-specification
AWS Encryption SDK Specification
alex-chew/aws-sdk-js-crypto-helpers
AWS Cryptographic helpers for Javascript and Node.js
alex-chew/coco
The compiler generator Coco/R
alex-chew/dafny
Dafny is a verification-aware programming language
alex-chew/dafny.msbuild
MSBuild tasks for use in projects containing Dafny source code
alex-chew/FaCT
Flexible and Constant Time Programming Language
alex-chew/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
alex-chew/oomox
Graphical application for generating different color variations of Numix theme (GTK2, GTK3)
alex-chew/vim-pandoc
pandoc integration and utilities for vim