Heewoong Jang's repositories
Project-Clonewars
IR translator for solidity program. (from VeriSmart)
Language:HTML000
Json-Schema-Extractor
Schema extractor from the json document
Language:Python000
KUThesis
고려대학교 석·박사학위 논문 TeX 템플릿
Language:TeX000
IR translator for solidity program. (from VeriSmart)
Schema extractor from the json document
고려대학교 석·박사학위 논문 TeX 템플릿