仓库

hephaestus-compiler-project 的仓库

A framework for testing compilers' type checkers

最近提交 2026年3月17日

 (67 stars) (16 forks) (0 个已索引 issue) (0 个开放 good first issue)

Replication package for the OOPSLA 2021 paper titled "Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers".

最近提交 2021年9月21日

 (6 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)