Pinned Repositories
420Lab-CodeCraft-2022
CodeCraft-2022
Bi_BFS_Verification
genetic-algorithm-on-tsp
Use genetic algorithm to solve tsp
JoelYYoung.github.io
my personal blog
sat-solver
The project is intended for solving SAT problem
SoftwareLisenceManagementToolKit
generate and validate software lisence, generate QRcode
Static_Analysis_Iteration_Sim
a simulation of static analysis on a specific program with double iterations
SVF_cp
Static Value-Flow Analysis Framework for Source Code
yesc
a simplified c language compiler, ARM-V7 based
JoelYYoung's Repositories
JoelYYoung/JoelYYoung.github.io
my personal blog
JoelYYoung/SoftwareLisenceManagementToolKit
generate and validate software lisence, generate QRcode
JoelYYoung/Bi_BFS_Verification
JoelYYoung/genetic-algorithm-on-tsp
Use genetic algorithm to solve tsp
JoelYYoung/sat-solver
The project is intended for solving SAT problem
JoelYYoung/Static_Analysis_Iteration_Sim
a simulation of static analysis on a specific program with double iterations
JoelYYoung/yesc
a simplified c language compiler, ARM-V7 based
JoelYYoung/420Lab-CodeCraft-2022
CodeCraft-2022
JoelYYoung/CodeCraft-2022
JoelYYoung/CodeCraft2022-benchmark
a benchmark for Huawei CodeCraft 2022 判题器 算分器
JoelYYoung/CodeCraft2022-charge
2022华为软挑判题器
JoelYYoung/CodeCraft2022-PressureGenerator
a pressure data generator made for CodeCraft-2022 华为CodeCraft2022数据压测生成器
JoelYYoung/SVF_cp
Static Value-Flow Analysis Framework for Source Code
JoelYYoung/CodeCraft2022_Sol
JoelYYoung/cs231n-Assignments
Stanford cs231n assignments code
JoelYYoung/design_pattern_practice
practice on Head First Design Pattern(second edition)
JoelYYoung/ebook
classic books of computer science
JoelYYoung/pics
store pictures for markdown or else online usages
JoelYYoung/software-vulnerabilities-scraber
This repository contains any code and documents developed for the master thesis "Building and Evaluating Software Vulnerability Datasets" (2020/2021).
JoelYYoung/SSE_Research
JoelYYoung/syc
A compiler for SysY (C subset)
JoelYYoung/SysY_compiler
该编译器主要用来将SysY语言编译为arm汇编指令，并且对编译生成的代码进行优化。SysY 语言是 C 语言的一个子集。每个 SysY程序的源码存储在一个扩展名为 sy 的文件中。该文件中有且仅有一个名为 main的主函数定义,还可以包含若干全局变量声明、常量声明和其他函数定义。SysY语言支持 int 类型和元素为 int 类型且按行优先存储的多维数组类型,其中 int 型整数为 32 位有符号数;const 修饰符用于声明常量。
JoelYYoung/tldr-man
Generates manpages from TLDR pages
JoelYYoung/zstd
Zstandard - Fast real-time compression algorithm