Search Results for "llama-cpp-static"

FRAME3DD is a program for the static and dynamic structural analysis of two- and three-dimensional frames and trusses with elastic and geometric stiffness.

This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are provided. ...

Voxel CAD. Open source voxel editing and analyzing software. Edit and create multi-material voxel objects. Simulate the dynamics in a quantitative physics sandbox to test engineering designs or make moving creatures. www.voxcad.com for videos.

The project has moved to github https://github.com/EnFlexIT/AgentWorkbench Agent.GUI is a simulation framework and toolkit based on the JADE framework. It provides functionalities for time aspects, agent-environment interaction, visualization and load balancing, Furthermore, the included application focuses the usability for end users.

...It allows the user to define any optical setup (composed typically of laser sources, mirrors, lenses, electro-optical modulators and detectors) and to compute the static laser field at any point. It uses a Hermite-Gauss modal decomposition to simulate diffraction limited optics. This tool is being developed mainly for simulation of large scale interferometers with resonant cavities used for the detection of gravitational waves. Subscribe to the mailing list for updates and news. If you use MIST in your own simulation work, please cite is as G. ...

The solid and structural mechanics module for Netgen/NGSolve. It allows to solve linear and non-linear static and dynamic problems.

A graphical MatLab framework for estimating the parameters of, modeling and simulating static and dynamic linear and polynomial systems in the errors-in-variables context with the intent of comparing various estimation strategies.

A platform for developing mathematical models of static/dynamic physical systems, a simulation evironment for such models and a set of component libraries. It combines features from Simulink, Modelica or AMESim with unique features on its onw.

METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.

Fast instruction-set simulators for MIPS32. Includes an interpreter, static-compiled simulator builder, and a dynamic-compiled simulator that optionally uses multiprocessing. Runs statically-linked binary from cross-gcc. Supports GDB remote debugging.