Search Results for "linux repair disk"

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...

MathScythe improves bundled calculations, so you can enter what you have (like triangle's sides) and you get the rest without a blackboard and a bucket of broken chalk. App includes modules to calculate triangle, disk and directed angle's properties and it's still evolving and gaining new stuff.

Console based notepad number cruncher makes calculations fast and simple, yet with ample features under the hood. With log turned on, you can record your session on-the-fly from any open instance of the program.

An RPN calculator for vectors of arbitrary dimension. Supports multiple undo/redo, programmable macros and variables. Saves/loads stack to/from disk. Lots of built-in scalar, vector, stack functionality.