EngineeringSoftware
Results
6
repositories owned by
EngineeringSoftware
CoditT5
26
Stars
2
Forks
Watchers
Code and data for "CoditT5: Pretraining for Source Code and Natural Language Editing" in ASE 2022.
jattack
23
Stars
5
Forks
Watchers
Compiler Testing using Template Java Programs
mcoq
27
Stars
1
Forks
Watchers
Mutation analysis tool for Coq verification projects
roosterize
18
Stars
5
Forks
Watchers
Tool for suggesting lemma names in Coq verification projects
teco
23
Stars
3
Forks
Watchers
TeCo: an ML+Execution model for test completion