Search Results for "parallel language"

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

...Currently, the main focus of these is computational quantum mechanics, analysis and simulation of molecular spectra, and general-purpose approximants. The package provides the most reliable modern strategies for linear and non-linear model optimization, regularization, and hypothesis tests. Parallel computing is supported.

popt4jlib is an open-source parallel optimization library for the Java programming language supporting both shared memory and distributed message passing models. Implements a number of meta-heuristic algorithms for Non-Linear Programming, including Genetic Algorithms, Differential Evolution, Evolutionary Algorithms, Simulated Annealing, Particle Swarm Optimization, Firefly Algorithm, Monte-Carlo Search, Local Search algorithms, Gradient-Descent-based algorithms, as well as some well-known network flow and other graph algorithms. ...

Hrothgar is a parallel minimizer and Markov Chain Monte Carlo generator by Andisheh Mahdavi of San Francisco State University. It has been used to solve optimization problems in astrophysics (galaxy cluster mass profiles) as well as in experimental particle physics (hadronic tau decays). It is probably adaptable enough to be applied to your merit function if you can write it in C.

Octave interface to the finite elements library Libmesh. Under the scientific interpreted language Octave, Octmesh allows using the Libmesh characteristics for the numerical simulation of partial differential equations on serial and parallel platforms.

LOOP (Language Object Oriented Parallel) is a visual programming language project dedicated to creating a full suite of components for simulation of hierarchical dynamical systems in discrete time.