EngineeringSoftware/math-comp-corpus

Stars
10
Rank 1,807,489 (Top 36 %)
Language
Common Lisp
License
Other
Created over 4 years ago
Updated about 2 years ago

EngineeringSoftware/math-comp-corpus

EngineeringSoftware

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

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

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

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