FlyingFog
ᕦ(・ㅂ・)ᕤ I'm SICHENG, a graduate student at SUN YAT-SEN UNIVERSITY (SYSU), working on software security and smart contracts.
SUN YAT-SEN UNIVERSITYGuangzhou, China
Pinned Repositories
BigDataProject
A big data project for Internship in IT Companies of SCU by Wuhu Airlines β.
CCFrank4dblp
Displays the China Computer Federation (CCF) recommended rank of international conferences and journals in the dblp, Google Scholar, Connected Papers and and Web of Science search results.
FlaskWork
Project for the course of Research and Development
FlyingFog.github.io
LearnPy
OCaml-Chinese-Tutorial
OCaml learning docs in Chinese. OCaml官方教学文档中文翻译和补充.
SCU-CS-Courses
The Files of Courses.
SmartCoCo
The later version of SmartCoCo
SYSU_Notebook
本项目分享了本人在中山大学数据科学与计算机学院计算机科学专业的课程资料、笔记、回忆和整理的期末考试卷、及课程作业。希望对你们有所帮助❤️,如果喜欢记得给个star哦🌟
verisol
A formal verifier and analysis tool for Solidity Smart Contracts
FlyingFog's Repositories
FlyingFog/BigDataProject
A big data project for Internship in IT Companies of SCU by Wuhu Airlines β.
FlyingFog/CCFrank4dblp
Displays the China Computer Federation (CCF) recommended rank of international conferences and journals in the dblp, Google Scholar, Connected Papers and and Web of Science search results.
FlyingFog/FlaskWork
Project for the course of Research and Development
FlyingFog/FlyingFog.github.io
FlyingFog/LearnPy
FlyingFog/OCaml-Chinese-Tutorial
OCaml learning docs in Chinese. OCaml官方教学文档中文翻译和补充.
FlyingFog/SCU-CS-Courses
The Files of Courses.
FlyingFog/SmartCoCo
The later version of SmartCoCo
FlyingFog/SYSU_Notebook
本项目分享了本人在中山大学数据科学与计算机学院计算机科学专业的课程资料、笔记、回忆和整理的期末考试卷、及课程作业。希望对你们有所帮助❤️,如果喜欢记得给个star哦🌟
FlyingFog/verisol
A formal verifier and analysis tool for Solidity Smart Contracts