Skip to content
@EngineeringSoftware

EngineeringSoftware

An SE group at UT Austin

Popular repositories Loading

  1. teco teco Public

    TeCo: an ML+Execution model for test completion

    Python 31 5

  2. mcoq mcoq Public

    Mutation analysis tool for Coq verification projects

    Java 30 1

  3. CoditT5 CoditT5 Public

    CoditT5: Pretraining for Source Code and Natural Language Editing

    Python 28 3

  4. jattack jattack Public

    Compiler Testing using Template Java Programs

    Java 27 6

  5. gobash gobash Public

    Bash function library

    Shell 23 4

  6. roosterize roosterize Public

    Tool for suggesting lemma names in Coq verification projects

    Python 19 5

Repositories

Showing 10 of 35 repositories
  • use-arrow-adbc Public

    Use ADBC

    Rust 0 0 0 0 Updated Mar 14, 2025
  • exLong Public

    exLong: Generating Exceptional Behavior Tests with Large Language Models

    Python 7 MIT 0 0 0 Updated Feb 15, 2025
  • CoditT5 Public

    CoditT5: Pretraining for Source Code and Natural Language Editing

    Python 28 MIT 3 0 0 Updated Jan 16, 2025
  • llvm-project-yalla Public Forked from llvm/llvm-project

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

    LLVM 1 13,228 0 0 Updated Dec 26, 2024
  • yalla Public
    C++ 8 0 0 0 Updated Dec 10, 2024
  • codeditor Public

    Multilingual Code Co-Evolution Using Large Language Models

    Python 12 MIT 3 0 0 Updated Dec 8, 2024
  • exli Public

    Automatic extraction of inline tests (from unit tests)

    Python 4 MIT 2 0 0 Updated Dec 7, 2024
  • sqllogictest Public

    List of resources related to sqllogictest

    0 2 0 1 Updated Nov 25, 2024
  • inlinetest Public

    Tests that check correctness of a single statement

    Python 13 MIT 4 0 0 Updated Nov 25, 2024
  • python-hpc-frameworks Public

    List of Python frameworks for developing HPC applications

    10 1 0 0 Updated Nov 23, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…