alex-chew

@AWSSeattle, WA

Pinned Repositories

aws-api-gateway-developer-portal
A Serverless Developer Portal for easily publishing and cataloging APIs
Language:JavaScript1 2 00
conformal
Visualization of conformal mappings on the complex plane.
Language:C++1 3 00
cse120-pa4-tests
CSE 120 PA4 test suite
Language:C++5 3 25
dotfiles
My dotfiles for Linux
Language:Vim script6 3 00
euler
My own Project Euler solutions,
Language:Python10
landing
A Chrome extension that provides a minimal New Tab page
Language:JavaScript10 4 11
libraries
Libraries useful for Dafny programs
Language:Dafny1 2 00
moza
Photo-mosaic generator
Language:Python2 3 00
oomox-colors
colorscheme files for GTK themes generated by oomox
10
z3d-rs
the Z3 DSL interface for Rust
Language:Rust9 3 12

alex-chew's Repositories

alex-chew/z3d-rs
the Z3 DSL interface for Rust
Language:Rust9 3 12
alex-chew/dotfiles
My dotfiles for Linux
Language:Vim script6 3 00
alex-chew/cse120-pa4-tests
CSE 120 PA4 test suite
Language:C++5 3 25
alex-chew/moza
Photo-mosaic generator
Language:Python2 3 00
alex-chew/aws-api-gateway-developer-portal
A Serverless Developer Portal for easily publishing and cataloging APIs
Language:JavaScript1 2 00
alex-chew/aws-encryption-sdk-java
AWS Encryption SDK
Language:Java1 2 00
alex-chew/conformal
Visualization of conformal mappings on the complex plane.
Language:C++1 3 00
alex-chew/ktane-regular-hexpressions
Language:C#12
alex-chew/ktane-spelling-buzzed
Language:C#13
alex-chew/libraries
Libraries useful for Dafny programs
Language:Dafny1 2 00
alex-chew/oomox-colors
colorscheme files for GTK themes generated by oomox
10
alex-chew/.github
0 2 00
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.
Language:Java00
alex-chew/aws-crt-java
Java bindings for the AWS Common Runtime
Language:Java00
alex-chew/aws-dynamodb-encryption-java
Amazon DynamoDB Encryption Client for Java
Language:Java
alex-chew/aws-encryption-sdk-c
AWS Encryption SDK for C
Language:C2 0
alex-chew/aws-encryption-sdk-cli
CLI wrapper around aws-encryption-sdk-python
Language:Python2 0
alex-chew/aws-encryption-sdk-javascript
AWS Encryption SDK for Javascript and Node.js
Language:TypeScript2 0
alex-chew/aws-encryption-sdk-python
AWS Encryption SDK
Language:Python2 0
alex-chew/aws-encryption-sdk-specification
AWS Encryption SDK Specification
Language:Shell
alex-chew/aws-sdk-js-crypto-helpers
AWS Cryptographic helpers for Javascript and Node.js
Language:TypeScript2 0
alex-chew/coco
The compiler generator Coco/R
alex-chew/cubiomes
C library that mimics the Minecraft biome generation.
Language:C2 0
alex-chew/dafny
Dafny is a verification-aware programming language
Language:C#
alex-chew/dafny.msbuild
MSBuild tasks for use in projects containing Dafny source code
Language:C#1 0
alex-chew/FaCT
Flexible and Constant Time Programming Language
Language:OCaml2 0
alex-chew/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
alex-chew/KtaneContent
Contains all the content hosted on https://ktane.timwi.de, including all manuals and their fonts and graphics files, the Logfile Analyzer, the Highlighter, the Profile Editor, the Mode Settings Editor. The server-side code is at https://github.com/Timwi/KtaneWeb.
Language:HTML
alex-chew/Launcher
A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once
Language:C++2 0
alex-chew/vim-pandoc
pandoc integration and utilities for vim
Language:Vim script