Explore @EngineeringSoftware Open Source projects

@EngineeringSoftware

EngineeringSoftware

Stars
241
Global Org. Rank 36,554 (Top 12 %)
Registered about 6 years ago
Most used languages

Python
40.9 %

Java
31.8 %

TypeScript
4.5 %

Go
4.5 %

Cuda 4.5 %

Shell
4.5 %

Common Lisp
4.5 %

C++
4.5 %
Location 🇺🇸 United States
Country Total Rank 37,160
Country Ranking

Common Lisp
226

Cuda 290

Java
2,902

Shell
4,905

Python
7,875

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

gobash

Bash function library

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