All

38 repositories

ogo
Public
Object Graph Programming (OGO)
programming declarative paradigm
programming declarative paradigm heap cypher imperative
C++
•
MIT License
•0•4•0•0•Updated Apr 15, 2026Apr 15, 2026
jittery
Public
Performance bugs in Java JIT compilers
java testing performance
java testing performance jit bugs
Python
•
MIT License
•0•3•0•0•Updated Mar 5, 2026Mar 5, 2026
python-hpc-frameworks
Public
List of Python frameworks for developing HPC applications
python hpc
python hpc
1•10•0•0•Updated Nov 17, 2025Nov 17, 2025
PLSemanticsBench
Public
The first benchmark to evaluate LLMs' usability as programming-language interpreters
semantics programming-languages execution
semantics programming-languages execution interpreters pl llms
Python
•0•12•0•0•Updated Oct 8, 2025Oct 8, 2025
exLong
Public
exLong: Generating Exceptional Behavior Tests with Large Language Models
nlp testing ml
nlp testing ml exceptions generation exlong
Python
•
MIT License
•2•8•0•0•Updated Jun 25, 2025Jun 25, 2025
use-arrow-adbc
Public archive
Use ADBC
examples explore adbc
examples explore adbc
Rust
•0•0•0•0•Updated May 11, 2025May 11, 2025
eStore
Public
0•0•0•0•Updated Apr 24, 2025Apr 24, 2025
CoditT5
Public
CoditT5: Pretraining for Source Code and Natural Language Editing
machine-learning software-engineering pretrained-language-model
machine-learning software-engineering pretrained-language-model
Python
•
MIT License
•3•28•0•0•Updated Jan 16, 2025Jan 16, 2025
llvm-project-yalla
Public
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM
•
Other
•17k•2•0•0•Updated Dec 26, 2024Dec 26, 2024
yalla
Public
C++
•0•8•0•0•Updated Dec 10, 2024Dec 10, 2024
codeditor
Public
Multilingual Code Co-Evolution Using Large Language Models
code evolution co-evolution
code evolution co-evolution large-language-models llm
Python
•
MIT License
•3•14•1•0•Updated Dec 8, 2024Dec 8, 2024
exli
Public
Automatic extraction of inline tests (from unit tests)
testing test-automation test-generation
testing test-automation test-generation inline-tests
Python
•
MIT License
•4•5•0•0•Updated Dec 7, 2024Dec 7, 2024
sqllogictest
Public
List of resources related to sqllogictest
testing sql database
testing sql database db slt sqllogictest
2•1•0•1•Updated Nov 25, 2024Nov 25, 2024
inlinetest
Public
Tests that check correctness of a single statement
testing inline tests
testing inline tests statement methodology single
Python
•
MIT License
•4•14•1•2•Updated Nov 25, 2024Nov 25, 2024
gobash
Public
Bash function library
bash library libraries
bash library libraries functions structs methods gobash
Shell
•
BSD 3-Clause "New" or "Revised" License
•5•22•0•1•Updated Aug 27, 2024Aug 27, 2024
finerts
Public
More precise regression test selection via reasoning about semantics-modifying changes
testing semantic regression-testing
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•2•0•0•Updated Aug 24, 2024Aug 24, 2024
fqs
Public
fqs - Command line tool for writing file queries
cli queries sql
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
rust coverage cpp
Python
•0•0•0•0•Updated Jul 28, 2024Jul 28, 2024
lejit
Public
Framework for testing Java JIT compilers
java testing templates
java testing templates jit fuzzing compilers
Java
•
Apache License 2.0
•0•3•0•0•Updated Jul 23, 2024Jul 23, 2024
predictiverts
Public
ML-based regression test selection
testing machine-learning ml
testing machine-learning ml rts regression-test-selection
Python
•3•4•0•0•Updated Jul 11, 2024Jul 11, 2024
teco
Public
TeCo: an ML+Execution model for test completion
testing machine-learning ml4se
testing machine-learning ml4se test-completion
Python
•
MIT License
•5•31•2•0•Updated Jun 16, 2024Jun 16, 2024
tempo
Public
Programming and execution model for parallel bounded exhaustive testing
programming model execution
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
c go parser lexer visitors
Go
•
BSD 3-Clause "New" or "Revised" License
•0•2•0•0•Updated May 10, 2024May 10, 2024
VeDebug
Public archive
Regression debugging tool for Java
debugging gui evoution
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
java compiler test optimization pattern jit openjdk jit-compiler shadow peephole
Java
•
Apache License 2.0
•0•11•0•0•Updated Apr 25, 2024Apr 25, 2024
jattack
Public
Compiler Testing using Template Java Programs
java testing template
java testing template compiler jvm jit-compiler
Java
•
Apache License 2.0
•6•27•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
cpp rts ekstazi
C++
•
MIT License
•0•3•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
machine-learning deep-learning coq vscode vscode-extension code-summarization
TypeScript
•
MIT License
•0•3•0•3•Updated Mar 2, 2023Mar 2, 2023

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

EngineeringSoftware

All

All

38 repositories

ogo

jittery

python-hpc-frameworks

PLSemanticsBench

exLong

use-arrow-adbc

eStore

CoditT5

llvm-project-yalla

yalla

codeditor

exli

sqllogictest

inlinetest

gobash

finerts

fine-ekstazi

fqs

rustlang-coverage-study

lejit

predictiverts

teco

tempo

gocgo

VeDebug

jog

jattack

fine-starts

ekstazipp

roosterize-vscode

All

All

Repositories list

38 repositories