EngineeringSoftware repositories

42 repositories

Crocodil
Public
CROCODIL: Cross-Model Code Editing with LLMs
code editing cross-model
code editing cross-model llm llms
Python
•
MIT License
•0•5•0•0•Updated Sep 5, 2026Sep 5, 2026
pkdb
Public
Interactive Debugger for Performance Portable Python HPC Kernels
python debugging hpc
python debugging hpc pykokkos interactive-debugging
Python
•
MIT License
•0•4•0•0•Updated Sep 4, 2026Sep 4, 2026
excoder
Public
Retrofitting Code Using LLMs to Support Exceptional Behavior
exceptions codex llms
exceptions codex llms
Python
•0•1•0•0•Updated Sep 4, 2026Sep 4, 2026
PLSemanticsBench
Public
The first counterfactual PL semantics dataset for evaluating rule-conditioned reasoning in LLMs
semantics programming-languages execution
semantics programming-languages execution interpreters pl counterfactual counterfactual-reasoning llms
Python
•
MIT License
•0•18•0•0•Updated Aug 30, 2026Aug 30, 2026
eStore
Public
In-memory Object Graph Stores
queries declarative heap
queries declarative heap cypher object-graph
Python
•
MIT License
•0•5•0•0•Updated Aug 25, 2026Aug 25, 2026
mgql
Public
First Lean 4 mechanization of the small-step semantics of ISO GQL
query gql formalization
query gql formalization lean4
Lean
•
MIT License
•0•3•0•0•Updated Jul 24, 2026Jul 24, 2026
inlinetest
Public
Tests that check correctness of a single statement
testing inline tests
testing inline tests statement methodology single
Python
•
MIT License
•4•15•1•0•Updated Jun 3, 2026Jun 3, 2026
ogo
Public
Object Graph Programming (OGO)
programming declarative paradigm
programming declarative paradigm heap cypher imperative
C++
•
MIT License
•0•4•0•0•Updated Apr 26, 2026Apr 26, 2026
jittery
Public
Performance bugs in Java JIT compilers
java testing performance
java testing performance jit bugs
Python
•
MIT License
•0•6•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
exLong
Public
exLong: Generating Exceptional Behavior Tests with Large Language Models
nlp testing ml
nlp testing ml exceptions generation exlong
Python
•
MIT License
•2•9•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
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•29•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
•19k•2•0•0•Updated Dec 26, 2024Dec 26, 2024
yalla
Public
C++
•0•7•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
gobash
Public
Bash function library
bash library libraries
bash library libraries functions structs methods gobash
Shell
•
BSD 3-Clause "New" or "Revised" License
•5•23•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•3•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

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

Navigation Menu

EngineeringSoftware

All

42 repositories

Crocodil

pkdb

excoder

PLSemanticsBench

eStore

mgql

inlinetest

ogo

jittery

python-hpc-frameworks

exLong

use-arrow-adbc

CoditT5

llvm-project-yalla

yalla

codeditor

exli

sqllogictest

gobash

finerts

fine-ekstazi

fqs

rustlang-coverage-study

lejit

predictiverts

teco

tempo

gocgo

VeDebug

jog

Repositories list

42 repositories