Search Results for "llama-cpp-static"

...Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) - Clear software architecture, direct correspondence to the model architecture - Separation of reusable library code - Simplicity and uniformity of software interfaces (for testing etc.) The following features are supported by the Simulink/UCGN - Discrete single-rate Simulink models and libraries - Block library with 50+ standard Simulink blocks - Periodic, condition-driven Stateflow charts (including flowgraphs, loops) - Structured data types through bus objects - Simulink native enumer

Cppfunct implements run-time C++ function objects, with creation, invocation, manipulation, and combination. The function object concept abstracts ways to parameterise other classes beyond simple static values.

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

...Main features of the tool are as follows: - Generic Instantiation Files for storing information about generic instantiation. - Wizard for creating generic instantiation files. - Editor for generic instantiation files. - Static checker for generic instantiation files. - Performing generic instantiation by creating a new project based on a source project and generic instantiation files.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

Konzept is a small class diagram editor. Major design goal was usability. The project was inspired by the static diagram editor of the Toolkit of Conceptual Modelling. Konzept is a pure Qt application written in Python.

PHPCallGraph generates static call graphs for PHP source code using the CodeAnalyzer of the InstantSVC project and the DOT tool. The graphs can be leveraged to gain a better understanding of large software systems or even to debunk design flaws in them.

Sugar4j generates code without the use of external text files, templates, JSP and the like. The static and the dynamic parts are both contained in the same Sugar4j java file. Everything is java. publicc().classs("Sugar4j").empty();

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.

A C++ implementation of Eclipse Modeling Framework.

This project contains a set of tools for formal verification and static analysis of VHDL design.

sdf4j is a Java framework to manipulate Static Dataflow graphs (SDF).