Search Results for "frida-server"

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. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. ...

SOFA is a statistics, analysis, and reporting program with an emphasis on ease of use, learn as you go, and beautiful output.

A collection of pure Python algorithms and data structures

Arabeyes is a Meta project that is aimed at fully supporting the Arabic language in the Unix/Linux environment. It is designed to be a central location to standardize the Arabization process. Arabeyes relies on voluntary contributions.

SciGraphica is a scientific data visualization and analysis application, supplying many of the basic plotting features for 2D and 3D charts. It features opening several worksheets and plots to work with at the same time and PS output.

The Wolfram Machine project is an effort to create a set of documentation and useful modules (both hardware and software) for a computing architecture based on the mathematical theories presented in Steven Wolfram's book _A_New_Kind_of_Science_.

ĄHola!, for "Hordes of Little Atoms," is a project to develop a lean, modular, scalable toolkit for massive simulations of particle (molecular) dynamics. It is written in C and Python to get the best balance between programmer and run time.