Search Results for "split"

This is a suite for numerically solving differential equations written in Julia and available for use in Julia, Python, and R. The purpose of this package is to supply efficient Julia implementations of solvers for various differential equations. The well-optimized DifferentialEquations solvers benchmark as some of the fastest implementations, using classic algorithms and ones from recent research which routinely outperform the “standard” C/Fortran methods, and include algorithms optimized...

This is a suite for numerically solving differential equations written in Julia and available for use in Julia, Python, and R. The purpose of this package is to supply efficient Julia implementations of solvers for various differential equations. The well-optimized DifferentialEquations solvers benchmark as some of the fastest implementations, using classic algorithms and ones from recent research that routinely outperform the “standard” C/Fortran methods, and include algorithms optimized...

mdl is a system of formal mathematics, which is split into 2 levels: a high-level language for human-readable representation of math and low-level language for trustworthy verification. Currently, as low-level language mdl uses metamath system.

bjsim is a blackjack simulator, designed to test various basic (noncounting, total, noncompositional) strategies under various conditions: number of decks, game rules (double after split, dealer hitting soft 17, etc.).

Pari-Distributed is a mostly Erlang framework that lets you split up trivially parallelizable loops in GP across multiple nodes. Its goal is to dynamically manage a list of active nodes and split up work units fairly across remote nodes.