Hughshine
Follow
-
-
-
AutoECS Public
Forked from Tr0py/AutoECSOne-liner to set up your tools: vim, tmux, and zsh.
Shell MIT License UpdatedJul 26, 2024 -
-
ssa Public
Forked from opencompl/lean-mlirA minimal development of SSA theory
MLIR MIT License UpdatedFeb 10, 2024 -
boilerplate-infosec Public
Forked from freeCodeCamp/boilerplate-infosecA boilerplate for the freeCodeCamp curriculum.
JavaScript UpdatedFeb 10, 2024 -
boilerplate-project-stockchecker Public
Forked from freeCodeCamp/boilerplate-project-stockcheckerA boilerplate for a freeCodeCamp project.
JavaScript UpdatedFeb 2, 2024 -
-
MCM2019-B Public archive
China Undergraduate Mathematical Contest in Modeling 2019
Python UpdatedOct 11, 2023 -
-
yarpgen Public
Forked from intel/yarpgenYet Another Random Program Generator
C++ Other UpdatedOct 1, 2023 -
awesome-loop-transformation Public
Paper list about loop transformations, on imperative loop nests, polyhedral model and high-level tensor.
UpdatedSep 25, 2023 -
500lines Public
Forked from aosabook/500lines500 Lines or Less
JavaScript Other UpdatedAug 19, 2023 -
validated-pluto Public
Forked from bondhugula/plutoPluto: An automatic polyhedral parallelizer and locality optimizer
C MIT License UpdatedMay 14, 2023 -
-
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Coq Other UpdatedApr 7, 2023 -
-
PolyCert-Codegen Public
ocaml 4.13.1 & coq 8.13.2, mirror of https://github.com/Ekdohibs/PolyGen
OCaml GNU Lesser General Public License v2.1 UpdatedJan 1, 2023 -
-
PolyGen Public
Forked from Ekdohibs/PolyGenPolyGen is a code generator for the polyhedral model, written and proved in Coq.
Coq GNU Lesser General Public License v2.1 UpdatedDec 30, 2022 -
-
promising-comp Public
Mirror for compcert implementation in promising semantics
Coq UpdatedJul 7, 2022 -
-
promising-opam-coq-archive Public
Forked from snu-sf/promising-opam-coq-archiveUpdatedMar 15, 2022 -
-
-
-
-
-
formal-lang-tex Public
simple tex template for writting programming language's technical setting
TeX UpdatedMay 11, 2021