Pinned Loading

1. seal-research/gluetest seal-research/gluetest Public

   [ICSME '24 NIER] Artifact for GlueTest: Testing Code Translation via Language Interoperability

   Java 4 2

2. Intelligent-CAT-Lab/AlphaTrans Intelligent-CAT-Lab/AlphaTrans Public

   Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation", In Proceedings of The ACM Conference on Foundations of …

   Java 29 4

3. HIPREL-Group/RFCScope HIPREL-Group/RFCScope Public

   Artifact for "RFCScope: Detecting Logically Ambiguous Bugs in Internet Protocol Specifications" appearing in ASE 2025.

   Python 1

4. GuardRails GuardRails Public

   VSCode extension to help developers set up guardrails around their functions, by helping them disambiguate purpose statements.

   Python 6 1

5. LeanearTemporalLogic LeanearTemporalLogic Public

   Formalization of Linear Temporal Logic (LTL) in Lean 4.

   Lean 2 1

6. PropertyEval PropertyEval Public

   PropertyEval: Synthesizing Thorough Test Cases for LLM Code Generation Benchmarks using Property-Based Testing

   Python 1