Skip to content
@hephaestus-compiler-project

hephaestus-compiler-project

Pinned Loading

  1. hephaestus hephaestus Public

    A framework for testing compilers' type checkers

    Python 50 10

  2. thalia thalia Public

    Forked from hephaestus-compiler-project/hephaestus

    A framework for testing compilers' type checkers

    Python 17 1

  3. types-bug-study-artifact types-bug-study-artifact Public

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

    Python 6 1

Repositories

Showing 7 of 7 repositories
  • thalia Public Forked from hephaestus-compiler-project/hephaestus

    A framework for testing compilers' type checkers

    hephaestus-compiler-project/thalia’s past year of commit activity
    Python 17 GPL-3.0 10 0 1 Updated Nov 15, 2024
  • hephaestus Public

    A framework for testing compilers' type checkers

    hephaestus-compiler-project/hephaestus’s past year of commit activity
    Python 50 GPL-3.0 10 5 1 Updated Aug 2, 2024
  • doc2json Public

    A script that converts an API documentation written in HTML into a JSON document

    hephaestus-compiler-project/doc2json’s past year of commit activity
    Python 0 GPL-3.0 1 0 0 Updated May 10, 2024
  • hephaestus-compiler-project.github.io Public
    hephaestus-compiler-project/hephaestus-compiler-project.github.io’s past year of commit activity
    HTML 1 0 0 0 Updated Nov 9, 2023
  • thalia-popl-eval Public

    Replication package for the POPL 2024 paper titled "API-driven Program Synthesis for Testing Static Typing Implementations".

    hephaestus-compiler-project/thalia-popl-eval’s past year of commit activity
    Python 4 GPL-3.0 0 0 0 Updated Nov 7, 2023
  • hephaestus-pldi-eval Public

    Replication package for the PLDI 2022 paper titled "Finding Typing Compiler Bugs".

    hephaestus-compiler-project/hephaestus-pldi-eval’s past year of commit activity
    Python 6 GPL-3.0 0 0 0 Updated Apr 4, 2022
  • types-bug-study-artifact Public

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

    hephaestus-compiler-project/types-bug-study-artifact’s past year of commit activity
    Python 6 MIT 1 0 0 Updated Sep 21, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…