EngineeringSoftware/use-arrow-adbc

Use ADBC

Language: Rust - Size: 862 KB - Last synced at: 15 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0

EngineeringSoftware/jog

Pattern-Based Peephole Optimizations with Java JIT Tests

Language: Java - Size: 182 KB - Last synced at: 16 days ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 0

EngineeringSoftware/yalla

Language: C++ - Size: 200 KB - Last synced at: 25 days ago - Pushed at: 5 months ago - Stars: 8 - Forks: 0

EngineeringSoftware/exLong

exLong: Generating Exceptional Behavior Tests with Large Language Models

Language: Python - Size: 116 KB - Last synced at: 16 days ago - Pushed at: 2 months ago - Stars: 7 - Forks: 0

EngineeringSoftware/CoditT5

CoditT5: Pretraining for Source Code and Natural Language Editing

Language: Python - Size: 91.9 MB - Last synced at: 25 days ago - Pushed at: 3 months ago - Stars: 28 - Forks: 3

EngineeringSoftware/roosterize

Tool for suggesting lemma names in Coq verification projects

Language: Python - Size: 270 KB - Last synced at: 25 days ago - Pushed at: over 2 years ago - Stars: 19 - Forks: 5

EngineeringSoftware/inlinetest

Tests that check correctness of a single statement

Language: Python - Size: 1.13 MB - Last synced at: 25 days ago - Pushed at: 5 months ago - Stars: 13 - Forks: 4

EngineeringSoftware/teco

TeCo: an ML+Execution model for test completion

Language: Python - Size: 7.91 MB - Last synced at: 25 days ago - Pushed at: 10 months ago - Stars: 31 - Forks: 5

EngineeringSoftware/exli

Automatic extraction of inline tests (from unit tests)

Language: Python - Size: 72.9 MB - Last synced at: 25 days ago - Pushed at: 5 months ago - Stars: 4 - Forks: 2

EngineeringSoftware/codeditor

Multilingual Code Co-Evolution Using Large Language Models

Language: Python - Size: 78.1 KB - Last synced at: 25 days ago - Pushed at: 5 months ago - Stars: 12 - Forks: 3

EngineeringSoftware/jattack

Compiler Testing using Template Java Programs

Language: Java - Size: 488 KB - Last synced at: 25 days ago - Pushed at: over 1 year ago - Stars: 27 - Forks: 6

EngineeringSoftware/sqllogictest

List of resources related to sqllogictest

Size: 1.95 KB - Last synced at: 24 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 2

EngineeringSoftware/python-hpc-frameworks

List of Python frameworks for developing HPC applications

Size: 8.3 MB - Last synced at: 20 days ago - Pushed at: 5 months ago - Stars: 10 - Forks: 1

EngineeringSoftware/gobash

Bash function library

Language: Shell - Size: 2.4 MB - Last synced at: 25 days ago - Pushed at: 8 months ago - Stars: 23 - Forks: 4

EngineeringSoftware/tempo

Programming and execution model for parallel bounded exhaustive testing

Language: Cuda - Size: 159 KB - Last synced at: 25 days ago - Pushed at: 12 months ago - Stars: 6 - Forks: 0

EngineeringSoftware/mcoq

Mutation analysis tool for Coq verification projects

Language: Java - Size: 1.9 MB - Last synced at: 25 days ago - Pushed at: over 4 years ago - Stars: 30 - Forks: 1

EngineeringSoftware/finerts

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

Size: 13.2 MB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

EngineeringSoftware/fine-ekstazi

Language: Java - Size: 620 KB - Last synced at: 25 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 2

EngineeringSoftware/fqs

fqs - Command line tool for writing file queries

Language: Rust - Size: 21.5 KB - Last synced at: 19 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

EngineeringSoftware/rustlang-coverage-study

Compare performance of coverage tools for Rust and C++

Language: Python - Size: 11.7 KB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

EngineeringSoftware/predictiverts

ML-based regression test selection

Language: Python - Size: 213 KB - Last synced at: 25 days ago - Pushed at: 10 months ago - Stars: 4 - Forks: 3

EngineeringSoftware/llvm-project-yalla Fork of llvm/llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Size: 2.27 GB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

EngineeringSoftware/gocgo

C language lexer, parser, and visitors

Language: Go - Size: 1.93 MB - Last synced at: about 1 month ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

EngineeringSoftware/wayout

Dynamically generate Python bindings for C++ libraries

Language: Python - Size: 122 KB - Last synced at: 25 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1

EngineeringSoftware/hdlp 📦

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

Language: Java - Size: 40.4 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 2

EngineeringSoftware/VeDebug 📦

Regression debugging tool for Java

Language: Java - Size: 453 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 6 - Forks: 1

EngineeringSoftware/ekstazipp

Regression Test Selection tool for C++

Language: C++ - Size: 50.8 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

EngineeringSoftware/ogo

Object Graph Programming

Size: 12.7 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

EngineeringSoftware/math-comp-corpus

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

Language: Common Lisp - Size: 117 MB - Last synced at: 25 days ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 1

EngineeringSoftware/codeowners 📦

Creates CODEOWNERS file for a give repo

Language: Shell - Size: 6.84 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

EngineeringSoftware/fine-starts

Language: Java - Size: 494 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

EngineeringSoftware/time-segmented-evaluation

Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.

Language: Python - Size: 75.2 KB - Last synced at: 25 days ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 1

EngineeringSoftware/rtscheck

RTSCheck: A framework for testing regression test selection tools

Language: Java - Size: 40.5 MB - Last synced at: 25 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 3

EngineeringSoftware/roosterize-vscode

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

Language: TypeScript - Size: 383 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0