GeezerVison is showing github.com — EngineeringSoftware
Popular repositories
Loading
Mutation analysis tool for Coq verification projects
Java
31
1
TeCo: an ML+Execution model for test completion
Python
31
5
Compiler Testing using Template Java Programs
Java
30
6
CoditT5: Pretraining for Source Code and Natural Language Editing
Python
29
3
Bash function library
Shell
23
5
Tool for suggesting lemma names in Coq verification projects
Python
22
5
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C++
Common Lisp
Cuda
Go
Java
Lean
LLVM
Python
Rust
Shell
TypeScript
Sort
Showing 10 of 44 repositories
EngineeringSoftware/rest's past year of commit activity
Lean
1
0
0
0
Updated Oct 29, 2026
eStore
Public
In-memory Object Graph Stores
EngineeringSoftware/eStore's past year of commit activity
Python
5
MIT
1
0
3
Updated Oct 18, 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 Oct 7, 2026
mgql
Public
First Lean 4 mechanization of the small-step semantics of ISO GQL
EngineeringSoftware/mgql's past year of commit activity
Lean
4
MIT
1
0
0
Updated Oct 6, 2026
prex
Public
Predicting Program Exit Code with LLMs and Programming Language Semantics
EngineeringSoftware/prex's past year of commit activity
Python
2
0
0
0
Updated Sep 29, 2026
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
5
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
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
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.