Giters
Alex Chew (alex-chew)

alex-chew

Geek Repo

18

followers

24

following

26

stars

Company:@AWS

Location:Seattle, WA

Github PK Tool:Github PK Tool

Alex Chew's repositories

z3d-rs

the Z3 DSL interface for Rust

Language:RustLicense:MITStargazers:9Issues:3Issues:1

dotfiles

My dotfiles for Linux

Language:Vim scriptStargazers:6Issues:3Issues:0

cse120-pa4-tests

CSE 120 PA4 test suite

Language:C++Stargazers:5Issues:3Issues:2

moza

Photo-mosaic generator

Language:PythonStargazers:2Issues:3Issues:0

aws-api-gateway-developer-portal

A Serverless Developer Portal for easily publishing and cataloging APIs

Language:JavaScriptLicense:Apache-2.0Stargazers:1Issues:2Issues:0

aws-encryption-sdk-java

AWS Encryption SDK

Language:JavaLicense:Apache-2.0Stargazers:1Issues:2Issues:0

conformal

Visualization of conformal mappings on the complex plane.

Language:C++Stargazers:1Issues:3Issues:0

ktane-regular-hexpressions

Language:C#License:NOASSERTIONStargazers:1Issues:0Issues:0

ktane-spelling-buzzed

Language:C#License:NOASSERTIONStargazers:1Issues:0Issues:0

libraries

Libraries useful for Dafny programs

Language:DafnyLicense:NOASSERTIONStargazers:1Issues:2Issues:0

oomox-colors

colorscheme files for GTK themes generated by oomox

Stargazers:1Issues:0Issues:0

.github

Stargazers:0Issues:2Issues:0

amazon-corretto-crypto-provider

The Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

aws-crt-java

Java bindings for the AWS Common Runtime

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

aws-dynamodb-encryption-java

Amazon DynamoDB Encryption Client for Java

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

aws-encryption-sdk-c

AWS Encryption SDK for C

Language:CLicense:Apache-2.0Stargazers:0Issues:2Issues:0

aws-encryption-sdk-cli

CLI wrapper around aws-encryption-sdk-python

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

aws-encryption-sdk-javascript

AWS Encryption SDK for Javascript and Node.js

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

aws-encryption-sdk-python

AWS Encryption SDK

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

aws-encryption-sdk-specification

AWS Encryption SDK Specification

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

aws-sdk-js-crypto-helpers

AWS Cryptographic helpers for Javascript and Node.js

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

coco

The compiler generator Coco/R

License:NOASSERTIONStargazers:0Issues:0Issues:0

cubiomes

C library that mimics the Minecraft biome generation.

Language:CLicense:MITStargazers:0Issues:2Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:0Issues:0Issues:0

dafny.msbuild

MSBuild tasks for use in projects containing Dafny source code

Language:C#License:MITStargazers:0Issues:1Issues:0

FaCT

Flexible and Constant Time Programming Language

Language:OCamlLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

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:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Launcher

A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

vim-pandoc

pandoc integration and utilities for vim

Language:Vim scriptStargazers:0Issues:0Issues:0