EngineeringSoftware

All

33 repositories

sqllogictest
Public
List of resources related to sqllogictest
testing sql database db slt sqllogictest
1•0•0•0•Updated Nov 25, 2024Nov 25, 2024
inlinetest
Public
Tests that check correctness of a single statement
testing inline tests statement methodology single
Python
•
MIT License
•3•12•0•0•Updated Nov 25, 2024Nov 25, 2024
python-hpc-frameworks
Public
List of Python frameworks for developing HPC applications
python hpc
1•10•0•0•Updated Nov 23, 2024Nov 23, 2024
yalla
Public
C++
•0•6•0•0•Updated Nov 15, 2024Nov 15, 2024
llvm-project-yalla
Public
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Other
•12k•0•0•0•Updated Nov 9, 2024Nov 9, 2024
CoditT5
Public
CoditT5: Pretraining for Source Code and Natural Language Editing
machine-learning software-engineering pretrained-language-model
Python
•
MIT License
•3•28•0•0•Updated Oct 23, 2024Oct 23, 2024
gobash
Public
Bash function library
bash library libraries functions structs methods gobash
Shell
•
BSD 3-Clause "New" or "Revised" License
•4•23•0•0•Updated Aug 27, 2024Aug 27, 2024
finerts
Public
More precise regression test selection via reasoning about semantics-modifying changes
testing semantic regression-testing test-selection
MIT License
•0•1•0•0•Updated Aug 24, 2024Aug 24, 2024
fine-ekstazi
Public
Java
•
Apache License 2.0
•2•1•0•0•Updated Aug 24, 2024Aug 24, 2024
fqs
Public
fqs - Command line tool for writing file queries
cli queries sql file fqs
Rust
•
BSD 3-Clause "New" or "Revised" License
•0•0•0•0•Updated Aug 8, 2024Aug 8, 2024
rustlang-coverage-study
Public
Compare performance of coverage tools for Rust and C++
rust coverage cpp
Python
•0•0•0•0•Updated Jul 28, 2024Jul 28, 2024
lejit
Public
Java
•
Apache License 2.0
•0•1•0•0•Updated Jul 23, 2024Jul 23, 2024
predictiverts
Public
ML-based regression test selection
testing machine-learning ml rts regression-test-selection
Python
•1•4•0•0•Updated Jul 11, 2024Jul 11, 2024
teco
Public
TeCo: an ML+Execution model for test completion
testing machine-learning ml4se test-completion
Python
•
MIT License
•5•29•2•0•Updated Jun 16, 2024Jun 16, 2024
exli
Public
Automatic extraction of inline tests (from unit tests)
testing test-automation test-generation inline-tests
Python
•
MIT License
•1•3•0•0•Updated Jun 15, 2024Jun 15, 2024
codeditor
Public
Multilingual Code Co-Evolution Using Large Language Models
code evolution co-evolution large-language-models llm
Python
•
MIT License
•2•12•1•0•Updated May 27, 2024May 27, 2024
tempo
Public
Programming and execution model for parallel bounded exhaustive testing
programming model execution bounded-exhaustive-testing
Cuda
•
BSD 3-Clause "New" or "Revised" License
•0•6•0•0•Updated May 10, 2024May 10, 2024
gocgo
Public
C language lexer, parser, and visitors
c go parser lexer visitors
Go
•
BSD 3-Clause "New" or "Revised" License
•0•1•0•0•Updated May 10, 2024May 10, 2024
VeDebug
Public archive
Regression debugging tool for Java
debugging gui evoution
Java
•
Apache License 2.0
•1•6•0•0•Updated May 1, 2024May 1, 2024
jog
Public
Pattern-Based Peephole Optimizations with Java JIT Tests
java compiler test optimization pattern jit openjdk jit-compiler shadow peephole
Java
•
Apache License 2.0
•0•7•0•0•Updated Apr 25, 2024Apr 25, 2024
ogo
Public
Object Graph Programming
programming declarative paradigm heap cypher imperative
0•2•0•0•Updated Apr 21, 2024Apr 21, 2024
jattack
Public
Compiler Testing using Template Java Programs
java testing template compiler jvm jit-compiler
Java
•
Apache License 2.0
•6•26•0•0•Updated Jan 15, 2024Jan 15, 2024
fine-starts
Public
Java
•
Other
•1•0•0•0•Updated Sep 11, 2023Sep 11, 2023
ekstazipp
Public
Regression Test Selection tool for C++
cpp rts ekstazi
C++
•
MIT License
•0•2•0•0•Updated May 2, 2023May 2, 2023
roosterize-vscode
Public
VSCode extension for Roosterize, a tool for suggesting lemma names in Coq
machine-learning deep-learning coq code-summarization vscode vscode-extension
TypeScript
•
MIT License
•0•3•0•3•Updated Mar 2, 2023Mar 2, 2023
rtscheck
Public
RTSCheck: A framework for testing regression test selection tools
testing regression selection
Java
•
MIT License
•3•4•0•1•Updated Nov 26, 2022Nov 26, 2022
wayout
Public
Dynamically generate Python bindings for C++ libraries
python cpp bindings automatic
Python
•1•4•0•0•Updated Oct 26, 2022Oct 26, 2022
time-segmented-evaluation
Public
Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.
machine-learning deep-learning evaluation ml4code code-summarization comment-generation time-segmented-evaluation method-naming dataset
Python
•
MIT License
•1•10•0•0•Updated Sep 6, 2022Sep 6, 2022
math-comp-corpus
Public
Corpus of Coq code related to MathComp including several machine-readable representations
coq machine-learning-dataset mathcomp serapi
Common Lisp
•
Other
•1•10•0•0•Updated Sep 6, 2022Sep 6, 2022
roosterize
Public
Tool for suggesting lemma names in Coq verification projects
machine-learning deep-learning coq pytorch neural-networks name-generation mathcomp serapi
Python
•
MIT License
•5•18•2•0•Updated Sep 6, 2022Sep 6, 2022