GitHub

danielrosehill/AI-Dev-Prompts-Example

This approach has been effective in tools like Roo Code. For example, create modes for development from prompts, debugging from prompts, or editing from prompts. Then, write a mode prompt for each ...
GitHub

Quanser SDK Examples

The Quanser SDK Examples repository provides C and Python examples utilizing the Quanser HIL API (Hardware Interfacing Layer) and Quanser Stream API (for communications). The Quanser SDK Examples are ...
IEEE

Function Call Graph Context Encoding for Neural Source Code Summarization

Abstract: Source code summarization is the task of writing natural language descriptions of source code. The primary use of these descriptions is in documentation for programmers. Automatic generation ...
IEEE

Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems

Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...