Skip to content
@EngineeringSoftware

EngineeringSoftware

An SE group at UT Austin

Popular repositories Loading

  1. mcoq mcoq Public

    Mutation analysis tool for Coq verification projects

    Java 31 1

  2. teco teco Public

    TeCo: an ML+Execution model for test completion

    Python 31 5

  3. CoditT5 CoditT5 Public

    CoditT5: Pretraining for Source Code and Natural Language Editing

    Python 29 3

  4. jattack jattack Public

    Compiler Testing using Template Java Programs

    Java 29 6

  5. gobash gobash Public

    Bash function library

    Shell 23 5

  6. roosterize roosterize Public

    Tool for suggesting lemma names in Coq verification projects

    Python 22 5

Repositories

Showing 10 of 42 repositories
  • Crocodil Public

    CROCODIL: Cross-Model Code Editing with LLMs

    EngineeringSoftware/Crocodil's past year of commit activity
    Python 4 MIT 0 0 0 Updated Sep 5, 2026
  • pkdb Public

    Interactive Debugger for Performance Portable Python HPC Kernels

    EngineeringSoftware/pkdb's past year of commit activity
    Python 4 MIT 0 0 0 Updated Sep 4, 2026
  • excoder Public

    Retrofitting Code Using LLMs to Support Exceptional Behavior

    EngineeringSoftware/excoder's past year of commit activity
    Python 1 0 0 0 Updated Sep 4, 2026
  • PLSemanticsBench Public

    The first counterfactual PL semantics dataset for evaluating rule-conditioned reasoning in LLMs

    EngineeringSoftware/PLSemanticsBench's past year of commit activity
    Python 18 MIT 0 0 0 Updated Aug 30, 2026
  • eStore Public

    In-memory Object Graph Stores

    EngineeringSoftware/eStore's past year of commit activity
    Python 5 MIT 0 0 0 Updated Aug 25, 2026
  • mgql Public

    First Lean 4 mechanization of the small-step semantics of ISO GQL

    EngineeringSoftware/mgql's past year of commit activity
    Lean 3 MIT 0 0 0 Updated Jul 24, 2026
  • inlinetest Public

    Tests that check correctness of a single statement

    EngineeringSoftware/inlinetest's past year of commit activity
    Python 15 MIT 4 1 0 Updated Jun 3, 2026
  • ogo Public

    Object Graph Programming (OGO)

    EngineeringSoftware/ogo's past year of commit activity
    C++ 4 MIT 0 0 0 Updated Apr 26, 2026
  • jittery Public

    Performance bugs in Java JIT compilers

    EngineeringSoftware/jittery's past year of commit activity
    Python 6 MIT 0 0 0 Updated Mar 5, 2026
  • python-hpc-frameworks Public

    List of Python frameworks for developing HPC applications

    EngineeringSoftware/python-hpc-frameworks's past year of commit activity
    10 1 0 0 Updated Nov 17, 2025
View all repositories