Hughshine

nku-beamer

一个南开大学beamer模板

nju-beamer

simple nju beamer template

hughshine

公开的个人资料仓库

lab5-sample2

notes

projects

projects for practicing

promising-comp

Mirror for compcert implementation in promising semantics

500lines

500 Lines or Less

awesome-loop-transformation

Paper list about loop transformations, on imperative loop nests, polyhedral model and high-level tensor.

boilerplate-infosec

A boilerplate for the freeCodeCamp curriculum.

boilerplate-project-stockchecker

A boilerplate for a freeCodeCamp project.

btor2-algo-select

CompCert

The CompCert formally-verified C compiler

computation-models

formal-lang-tex

simple tex template for writting programming language's technical setting

jmtrace

leetcode

MCM2019-B

China Undergraduate Mathematical Contest in Modeling 2019

PilkiLib

General purpose coq library

PolyCert-Codegen

ocaml 4.13.1 & coq 8.13.2, mirror of https://github.com/Ekdohibs/PolyGen

PolyGen

PolyGen is a code generator for the polyhedral model, written and proved in Coq.

promising-opam-coq-archive

s2sLoop

Parts of the code of my PhD

sf-opam-coq-archive

sflib

for compatability

ssa

A minimal development of SSA theory

THU-Beamer-Theme

A LaTeX beamer theme template for Tsinghua students.

validated-pluto

Pluto: An automatic polyhedral parallelizer and locality optimizer

VPL

for coq 8.13.2

yarpgen

Yet Another Random Program Generator