Search Results for "llama-cpp-static" - Page 3

Spreadsheet Template for Structural Engineering (FEA Analysis for beams, trusses, 2D-frames). It makes possible to create your own parametric models.Templates for engineering calculation (fatigue, concrete plates, etc)

...The ISO/IEC Programming languages — C spec, C11, now includes the bounded APIs in Appendix K, "Bounds-checking interfaces". This latest upload supports building static library, a shared library and a linux kernel module.

This lightweight dynamic component framework, implemented in Java in a first time uses no code generation at all but uses only contracts. Contracts are expressed using simple software mechanism as interfaces and/or reflection (from middleware to application). A single small jar hosts the code dedicated to data, event and services management over the network, using contracts, reflection and generics. The main goal of the Java Dynamic Component Framework (jdcf) is to simplify the writing...

This is a plugin written for Google Sketchup to perform structural analysis. Currently the plugin is limited to pin jointed trusses but the fully developed version of the plugin will include rigid jointed 3d frames with various loading conditions

A library analog to those included in Matlab without the need of external libraries; just right for embedded or static linking. MTL was used to build a 3d Scanner. MTL consists of pars B - Basic Functions, Matrices, Images, Hypermodels (3d Models and up) N - Numeric Functions ranging from linear regression over nonlinear optimization to singular-value computation I - Image filters and Image enhancement H - Hardware related (optional part), does require additional libraries and is only useful on certain hosts. ...

A cpp class for manage matrix. Support the calculus of the determinant with the Lagrange's algorithm and the Gauss' method. From the revision 11 are avaiable new functions, like crop and cat of matrixes, and the LU decomposition algorithm.

Feedisto is your personal newspaper. Your newspaper is collocted from rss feeds, parsed by a bayesian filter to rate its relevance and served as a static html page or on a webserver to train the filter. Writing plugins is very easy.

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

The final build of this software now is distributed in R, embedded in "RedeR': an R/Bioconductor package for hierarchical and nested network analysis... more about RedeR: http://bioconductor.org/packages/2.9/bioc/html/RedeR.html

Software for modeling pH and buffer capacity in static and dynamic systems.

Headrand is a static library wrote in c that contains functions to simulate complex systems or make statistical analysis with a new approach called "random function computing"

Simple static viewer of abnormal read pairs in second-generation alignment data.

LSGTL means LLX’s Static Graph Template Library which is a light-weighted header-only template library developed mainly for static graph analysis. LSGTL is expected to be used in laboratories for research purposes mostly.

Tsunami is an open-source high performance computing language. With it you can write streaming data-parallel algorithms that utilize GPGPUs for orders-of-magnitude speed-up with the ease of writing sequential algorithms.

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.

GraphCAD is a pseudo 3D Computer Aided Design (CAD) program to modeling dinamic and static objects, basics on graph theory. GraphCAD may be used as GIS, Medical Disgnostic, Engineering, Education and Mathematical modeling tool.

This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.

Javabean for Oracle Forms that allows the display of a static Google map within a forms module. This module is compatible with Jinitiator and SUN JRE.

The library currently consists of an implementation of collision detection of static/moving ellipsoids that exploits frame-coherence using separating planes. Please visit http://www.cs.hku.hk/GraphicsGroup/cd.html for paper references.

A java/swt application that can control up to a six axis robotic arm using common serial servo controllers. The application can be run in client/server mode to enable the robot to remain in a static, wired location while controlled by a wifi laptop.

This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.

smem-map is a tool used to profile a process's virtual memory to identify address ranges who's contents remain static.

This Tiny Vector and Matrix template library uses Meta and Expression Templates to evaluate results at compile time, thus making it fast for low-end systems. Temporaries are avoided because of this. The dimensions are static and bounded at compile time.

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.