Repositories

hephaestus-compiler-project repositories

A framework for testing compilers' type checkers

Last commit Mar 17, 2026

 (67 stars) (16 forks) (0 indexed issues) (0 open good first issues)

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

Last commit Sep 21, 2021

 (6 stars) (1 fork) (0 indexed issues) (0 open good first issues)