EngineeringSoftware/roosterize-vscode EngineeringSoftware/roosterize-vscode

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    TypeScript
  • License
    MIT License
  • Created about 4 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
EngineeringSoftware/roosterize-vscode
github

EngineeringSoftware

Reviews

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

Repository Details

VSCode extension for Roosterize, a tool for suggesting lemma names in Coq

More Repositories

1

CoditT5

CoditT5: Pretraining for Source Code and Natural Language Editing
Python
29
star
2

mcoq

Mutation analysis tool for Coq verification projects
Java
28
star
3

teco

TeCo: an ML+Execution model for test completion
Python
26
star
4

jattack

Compiler Testing using Template Java Programs
Java
26
star
5

gobash

Bash function library
Shell
22
star
6

roosterize

Tool for suggesting lemma names in Coq verification projects
Python
18
star
7

inlinetest

Tests that check correctness of a single statement
Python
12
star
8

codeditor

Multilingual Code Co-Evolution Using Large Language Models
Python
12
star
9

math-comp-corpus

Corpus of Coq code related to MathComp including several machine-readable representations
Common Lisp
10
star
10

time-segmented-evaluation

Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.
Python
10
star
11

jog

Pattern-Based Peephole Optimizations with Java JIT Tests
Java
7
star
12

VeDebug

Regression debugging tool for Java
Java
6
star
13

tempo

Programming and execution model for parallel bounded exhaustive testing
Cuda
5
star
14

rtscheck

RTSCheck: A framework for testing regression test selection tools
Java
4
star
15

predictiverts

ML-based regression test selection
Python
4
star
16

wayout

Dynamically generate Python bindings for C++ libraries
Python
4
star
17

exli

Automatic extraction of inline tests (from unit tests)
Python
3
star
18

ekstazipp

Regression Test Selection tool for C++
C++
2
star
19

hdlp

Code and data for "On the Naturalness of Hardware Descriptions" in ESEC/FSE'20
Java
2
star
20

ogo

Object Graph Programming
2
star
21

finerts

More precise regression test selection via reasoning about semantics-modifying changes
1
star
22

fine-ekstazi

Java
1
star
23

gocgo

C language lexer, parser, and visitors
Go
1
star