Dépôts

Dépôts de hephaestus-compiler-project

A framework for testing compilers' type checkers

Dernier commit 17 mars 2026

 (67 stars) (16 forks) (0 issues indexées) (0 good first issues ouvertes)

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

Dernier commit 21 sept. 2021

 (6 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)