Pinned Repositories
codeditor
Multilingual Code Co-Evolution Using Large Language Models
CoditT5
CoditT5: Pretraining for Source Code and Natural Language Editing
gobash
Bash function library
inlinetest
Tests that check correctness of a single statement
jattack
Compiler Testing using Template Java Programs
math-comp-corpus
Corpus of Coq code related to MathComp including several machine-readable representations
mcoq
Mutation analysis tool for Coq verification projects
python-hpc-frameworks
List of Python frameworks for developing HPC applications
roosterize
Tool for suggesting lemma names in Coq verification projects
teco
TeCo: an ML+Execution model for test completion
EngineeringSoftware's Repositories
EngineeringSoftware/teco
TeCo: an ML+Execution model for test completion
EngineeringSoftware/CoditT5
CoditT5: Pretraining for Source Code and Natural Language Editing
EngineeringSoftware/jattack
Compiler Testing using Template Java Programs
EngineeringSoftware/gobash
Bash function library
EngineeringSoftware/codeditor
Multilingual Code Co-Evolution Using Large Language Models
EngineeringSoftware/inlinetest
Tests that check correctness of a single statement
EngineeringSoftware/jog
Pattern-Based Peephole Optimizations with Java JIT Tests
EngineeringSoftware/python-hpc-frameworks
List of Python frameworks for developing HPC applications
EngineeringSoftware/yalla
EngineeringSoftware/exLong
exLong: Generating Exceptional Behavior Tests with Large Language Models
EngineeringSoftware/tempo
Programming and execution model for parallel bounded exhaustive testing
EngineeringSoftware/VeDebug
Regression debugging tool for Java
EngineeringSoftware/rtscheck
RTSCheck: A framework for testing regression test selection tools
EngineeringSoftware/exli
Automatic extraction of inline tests (from unit tests)
EngineeringSoftware/predictiverts
ML-based regression test selection
EngineeringSoftware/wayout
Dynamically generate Python bindings for C++ libraries
EngineeringSoftware/lejit
Framework for testing Java JIT compilers
EngineeringSoftware/roosterize-vscode
VSCode extension for Roosterize, a tool for suggesting lemma names in Coq
EngineeringSoftware/ekstazipp
Regression Test Selection tool for C++
EngineeringSoftware/fine-ekstazi
EngineeringSoftware/gocgo
C language lexer, parser, and visitors
EngineeringSoftware/ogo
Object Graph Programming
EngineeringSoftware/finerts
More precise regression test selection via reasoning about semantics-modifying changes
EngineeringSoftware/llvm-project-yalla
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
EngineeringSoftware/eStore
EngineeringSoftware/fine-starts
EngineeringSoftware/fqs
fqs - Command line tool for writing file queries
EngineeringSoftware/rustlang-coverage-study
Compare performance of coverage tools for Rust and C++
EngineeringSoftware/sqllogictest
List of resources related to sqllogictest
EngineeringSoftware/use-arrow-adbc
Use ADBC