[go: nahoru, domu]
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 28 1

  2. CoditT5 CoditT5 Public

    CoditT5: Pretraining for Source Code and Natural Language Editing

    Python 28 2

  3. teco teco Public

    TeCo: an ML+Execution model for test completion

    Python 26 3

  4. jattack jattack Public

    Compiler Testing using Template Java Programs

    Java 23 5

  5. roosterize roosterize Public

    Tool for suggesting lemma names in Coq verification projects

    Python 18 5

  6. gobash gobash Public

    Bash function library

    Shell 17 4

Repositories

Showing 10 of 28 repositories
  • predictiverts Public

    ML-based regression test selection

    EngineeringSoftware/predictiverts’s past year of commit activity
    Python 4 1 0 0 Updated Jul 7, 2024
  • lejit Public

    Java JIT Testing with Template Extraction

    EngineeringSoftware/lejit’s past year of commit activity
    0 0 0 0 Updated Jul 6, 2024
  • teco Public

    TeCo: an ML+Execution model for test completion

    EngineeringSoftware/teco’s past year of commit activity
    Python 26 MIT 3 2 0 Updated Jun 16, 2024
  • exli Public

    Automatic extraction of inline tests (from unit tests)

    EngineeringSoftware/exli’s past year of commit activity
    Python 3 MIT 2 0 0 Updated Jun 15, 2024
  • llvm-project-yalla Public Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    EngineeringSoftware/llvm-project-yalla’s past year of commit activity
    0 11,156 0 0 Updated Jun 8, 2024
  • gobash Public

    Bash function library

    EngineeringSoftware/gobash’s past year of commit activity
    Shell 17 BSD-3-Clause 4 0 0 Updated Jun 3, 2024
  • codeditor Public

    Multilingual Code Co-Evolution Using Large Language Models

    EngineeringSoftware/codeditor’s past year of commit activity
    Python 11 MIT 2 1 0 Updated May 27, 2024
  • tempo Public

    Programming and execution model for parallel bounded exhaustive testing

    EngineeringSoftware/tempo’s past year of commit activity
    Cuda 5 BSD-3-Clause 0 0 0 Updated May 10, 2024
  • gocgo Public

    C language lexer, parser, and visitors

    EngineeringSoftware/gocgo’s past year of commit activity
    Go 1 BSD-3-Clause 0 0 0 Updated May 10, 2024
  • VeDebug Public archive

    Regression debugging tool for Java

    EngineeringSoftware/VeDebug’s past year of commit activity
    Java 6 Apache-2.0 1 0 0 Updated May 1, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…