Pinned Repositories
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.
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”.
ResugaringAsPutback
Putback program mentioned in A Cheap Implementation of Resugaring in BIRDS based on Bidirectional Transformation.
SyGuS_Synthesis
nksezx's Repositories
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”.
nksezx/BidirectionalPreview
This is a direct manipulation programming system for incomplete programs. More detailed information will added later.
nksezx/BiEval
nksezx/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
nksezx/ResugaringAsPutback
Putback program mentioned in A Cheap Implementation of Resugaring in BIRDS based on Bidirectional Transformation.
nksezx/SyGuS_Synthesis