EngineeringSoftware/gobash

Stars
22
Rank 1,048,934 (Top 21 %)
Language
Shell
License
BSD 3-Clause "New...
Created 12 months ago
Updated 3 months ago

EngineeringSoftware/gobash

EngineeringSoftware

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Bash function library

CoditT5

CoditT5: Pretraining for Source Code and Natural Language Editing

mcoq

Mutation analysis tool for Coq verification projects

teco

TeCo: an ML+Execution model for test completion

jattack

Compiler Testing using Template Java Programs

roosterize

Tool for suggesting lemma names in Coq verification projects

inlinetest

Tests that check correctness of a single statement

codeditor

Multilingual Code Co-Evolution Using Large Language Models

math-comp-corpus

Corpus of Coq code related to MathComp including several machine-readable representations

time-segmented-evaluation

Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.

jog

Pattern-Based Peephole Optimizations with Java JIT Tests

VeDebug

Regression debugging tool for Java

tempo

Programming and execution model for parallel bounded exhaustive testing

rtscheck

RTSCheck: A framework for testing regression test selection tools

predictiverts

ML-based regression test selection

wayout

Dynamically generate Python bindings for C++ libraries

roosterize-vscode

VSCode extension for Roosterize, a tool for suggesting lemma names in Coq

exli

Automatic extraction of inline tests (from unit tests)

ekstazipp

Regression Test Selection tool for C++

hdlp

Code and data for "On the Naturalness of Hardware Descriptions" in ESEC/FSE'20

ogo

Object Graph Programming

finerts

More precise regression test selection via reasoning about semantics-modifying changes

fine-ekstazi

gocgo

C language lexer, parser, and visitors