This is an implementation of a completion engine that parses type safe programs incrementally, guaranteeing that intermediate outputs can be completed to type-safe programs. The completion enginge can ...

Abstract: Structured-mesh-based stencil computations are a common motif in many numerical algorithms, such as for solving PDEs. Recent work has shown promising runtime performance and energy ...

Abstract: Code generation has gained increasing attention as a task to automate software development by transforming high-level descriptions into executable code. While large language models (LLMs) ...

The purpose of this repository is to provide a few sample prompts used in order to create a simple Python GUI for the Linux desktop project. I created this repository and wrote these prompts on March ...