◐ Shell
clean mode source ↗

EngineeringSoftware

Skip to content

Navigation Menu

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Popular repositories Loading

  1. TeCo: an ML+Execution model for test completion

    Python 31 5

  2. Mutation analysis tool for Coq verification projects

    Java 30 1

  3. CoditT5: Pretraining for Source Code and Natural Language Editing

    Python 29 3

  4. Compiler Testing using Template Java Programs

    Java 27 6

  5. Bash function library

    Shell 23 5

  6. Tool for suggesting lemma names in Coq verification projects

    Python 22 5

Repositories

Type
Select type

Language
Select language

Sort
Select order

Showing 10 of 38 repositories

  • PLSemanticsBench Public

    The first benchmark to evaluate LLMs' usability as programming-language interpreters

    EngineeringSoftware/PLSemanticsBench’s past year of commit activity

    Python

    13

    0

    0 0

    Updated Jun 6, 2026

  • inlinetest Public

    Tests that check correctness of a single statement

    EngineeringSoftware/inlinetest’s past year of commit activity

    Python

    14

    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

    3

    MIT 0

    0 0

    Updated Mar 5, 2026

  • EngineeringSoftware/python-hpc-frameworks’s past year of commit activity

    10 1 0 0

    Updated Nov 17, 2025

  • exLong Public

    exLong: Generating Exceptional Behavior Tests with Large Language Models

    EngineeringSoftware/exLong’s past year of commit activity

    Python

    9

    MIT

    2 0 0

    Updated Jun 25, 2025

  • EngineeringSoftware/use-arrow-adbc’s past year of commit activity

    Rust 0 0

    0 0

    Updated May 11, 2025

  • EngineeringSoftware/eStore’s past year of commit activity

    0 0

    0 0

    Updated Apr 24, 2025

  • CoditT5 Public

    CoditT5: Pretraining for Source Code and Natural Language Editing

    EngineeringSoftware/CoditT5’s past year of commit activity

    Python

    29

    MIT

    3 0 0

    Updated Jan 16, 2025

  • EngineeringSoftware/llvm-project-yalla’s past year of commit activity

Most used topics

Loading…