EngineeringSoftware

roosterize-vscode Public
VSCode extension for Roosterize, a tool for suggesting lemma names in Coq

TypeScript 1 MIT 0 0 2 Updated Oct 7, 2022
jattack Public
Compiler Testing using Template Java Programs

Java 1 1 0 0 Updated Sep 30, 2022
predictiverts Public

Python 0 1 0 0 Updated Sep 20, 2022
CoditT5 Public
Code and data for "CoditT5: Pretraining for Source Code and Natural Language Editing" in ASE 2022.

Python 6 MIT 1 0 0 Updated Sep 7, 2022
time-segmented-evaluation Public
Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.

Python 6 MIT 1 0 0 Updated Sep 6, 2022
math-comp-corpus Public
Corpus of Coq code related to MathComp including several machine-readable representations

Common Lisp 8 1 0 0 Updated Sep 6, 2022
roosterize Public
Tool for suggesting lemma names in Coq verification projects

Python 15 MIT 5 2 0 Updated Sep 6, 2022
inlinetest Public

Python 4 MIT 0 0 0 Updated Aug 30, 2022
hdlp Public
Code and data for "On the Naturalness of Hardware Descriptions" in ESEC/FSE'20

Java 2 MIT 2 0 0 Updated Jul 11, 2022
codeowners Public
Creates CODEOWNERS file for a give repo

Shell 0 BSD-3-Clause 0 0 0 Updated May 25, 2021

Popular repositories