FazBrowse GitHub Viewer | Trending | | Home

Tools: [Original HTTPS Page]

EngineeringSoftware · GitHub

EngineeringSoftware

An SE group at UT Austin

22 followers
Austin

Overview
Repositories
Projects
Packages
People

Popular repositories Loading

mcoq mcoq Public

Mutation analysis tool for Coq verification projects

Java 31 1
teco teco Public

TeCo: an ML+Execution model for test completion

Python 31 5
CoditT5 CoditT5 Public

CoditT5: Pretraining for Source Code and Natural Language Editing

Python 29 3
jattack jattack Public

Compiler Testing using Template Java Programs

Java 29 6
gobash gobash Public

Bash function library

Shell 23 5
roosterize roosterize Public

Tool for suggesting lemma names in Coq verification projects

Python 22 5

Repositories

Type Language Sort

Crocodil Public
CROCODIL: Cross-Model Code Editing with LLMs

EngineeringSoftware/Crocodil's past year of commit activity

Python 5 MIT 0 0 0 Updated Sep 5, 2026
pkdb Public
Interactive Debugger for Performance Portable Python HPC Kernels

EngineeringSoftware/pkdb's past year of commit activity

Python 4 MIT 0 0 0 Updated Sep 4, 2026
excoder Public
Retrofitting Code Using LLMs to Support Exceptional Behavior

EngineeringSoftware/excoder's past year of commit activity

Python 1 0 0 0 Updated Sep 4, 2026
PLSemanticsBench Public
The first counterfactual PL semantics dataset for evaluating rule-conditioned reasoning in LLMs

EngineeringSoftware/PLSemanticsBench's past year of commit activity

Python 18 MIT 0 0 0 Updated Aug 30, 2026
eStore Public
In-memory Object Graph Stores

EngineeringSoftware/eStore's past year of commit activity

Python 5 MIT 0 0 0 Updated Aug 25, 2026
mgql Public
First Lean 4 mechanization of the small-step semantics of ISO GQL

EngineeringSoftware/mgql's past year of commit activity

Lean 3 MIT 0 0 0 Updated Jul 24, 2026
inlinetest Public
Tests that check correctness of a single statement

EngineeringSoftware/inlinetest's past year of commit activity

Python 15 MIT 4 1 0 Updated Jun 3, 2026
ogo Public
Object Graph Programming (OGO)

EngineeringSoftware/ogo's past year of commit activity

C++ 4 MIT 0 0 0 Updated Apr 26, 2026
jittery Public
Performance bugs in Java JIT compilers

EngineeringSoftware/jittery's past year of commit activity

Python 6 MIT 0 0 0 Updated Mar 5, 2026
python-hpc-frameworks Public
List of Python frameworks for developing HPC applications

EngineeringSoftware/python-hpc-frameworks's past year of commit activity

10 1 0 0 Updated Nov 17, 2025

View all repositories

People

Top languages

Loading…

Most used topics

testing machine-learning coq deep-learning java

Back | FazBrowse Home | New Git URL