Awesome GitHub RepositoriesGeometric Problem Solving

LogicStack-LeetCode is a curated repository of solved algorithm problems and data structure implementations, primarily drawn from the LeetCode platform. Its core identity is a structured collection of solutions designed to support technical interview preparation and competitive programming practice, with each solution accompanied by complexity analyses to help engineers understand performance trade-offs. The repository distinguishes itself through its breadth of coverage across fundamental algorithmic patterns and data structures. It includes implementations for array manipulation, string pro

AlphaGeometry 是一个神经符号 AI 系统，设计为自动几何求解器和定理证明器。它将大型语言模型与形式化证明引擎集成，从给定的前提中推导出几何结论并生成分步形式化证明。 该系统通过将符号演绎引擎与神经驱动的辅助构造相结合而脱颖而出。这种架构使用语言模型来提出额外的点或线以弥补证明中的空白，而演绎数据库和代数推理系统则根据严格的公理验证每一步的数学正确性。 该项目通过迭代证明搜索和符号-神经混合循环涵盖形式化数学验证和符号几何推理。

This project is a comprehensive library of fundamental computer science algorithms and data structures implemented in Kotlin. It serves as a toolkit for software engineering proficiency, providing a collection of standard computational techniques designed to operate on any data type through the use of language-level generics. The library distinguishes itself by emphasizing educational clarity and type-safe implementation. It utilizes interface-based abstractions to decouple algorithmic logic from specific data structures, while employing recursive problem decomposition and immutable state pat