CodingThrust

A command line tool for computational hard problems and their reductions

Automated marking of students' exam papers.

Cost-efficiency AI benchmark for finding bugs in Rust reduction rules

This repo is used for CFT seminar held in March, including read text and potential mini-project code

Poster, Slides, Letters et al

Quantum error correction notes (literature review, weekly update, internal use)

VibeYoga hackathon website

Prompt engineering for paper writing, data processing, teaching and coding.

Homework for AMAT5315 - Modern Scientific Computing