nksezx

RDH

This is the assignment for my information security course. I reproduced the algorithm of this paper “Reversible data hiding based on sorting and histogram modification”.

BidirectionalPreview

This is a direct manipulation programming system for incomplete programs. More detailed information will added later.

BiEval

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

ResugaringAsPutback

Putback program mentioned in A Cheap Implementation of Resugaring in BIRDS based on Bidirectional Transformation.

SyGuS_Synthesis