samminweng

WhileyOpenCL

Aims to produce efficient implemtation for verification friendly Whiley programs.

AionUrbanStudies

A Transformer Language Model-based Topic Analysis tool

urban_narratives

Urban Narrative - AI Augmented Approach to Identify Shared Ideas from Large Format Public Consultation

beyondtransparency

Code for America's new book - Beyond Transparency :closed_book:

cuda-training-series

Training materials associated with NVIDIA's CUDA Training Series (www.olcf.ornl.gov/cuda-training-series/)

cudaImageProcessing

This is the course project for the CUDA at Scale for the Enterprise

cudaJulia

image-processing

Image Processing using CUDA (C++ & Python)

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

Misc

Some Java programs that I wrote before

Portal-to-ISAbelle

https://albertqjiang.github.io/Portal-to-ISAbelle/

samminweng.github.io

SieveofEratosthenes

Whiley2APRON

This is a simple project to check whether APRON library can be used to check Whiley programs.

WhileyCompiler

The Whiley Compiler (WyC)

xla

A machine learning compiler for GPUs, CPUs, and ML accelerators