Search Results for "qbasic language compiler"

MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. ...

AutoBE is an AI backend builder that turns natural-language requirements into a working TypeScript backend application. It analyzes what the user wants, creates specifications, designs database structure, defines API documentation, writes end-to-end tests, and generates implementation logic. The project is aimed at moving from prototype to production more quickly while keeping generated code buildable and verifiable.