Search Results for "llama-cpp-static"

HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random walk simulation with each firing steps.

With the help of the ProgramNet the user can develop plug-ins(called units) which can be connected with other units forming a net. The net has a form of a flow diagram. The resulted net can be executed in the ProgramNet for testing purposes or independently in the target platform as a final release. In order to execute a net the ProgramNet uses the kernel. The kernel executes automatically each unit in a separate thread and manages the data exchange between the units.

Head First Design Patterns translated to C++. Three separate translations are planned: 'Bronze' is literal; minimal (syntax) changes only. 'Silver' is semantic; more C++ idioms + leftover patterns. 'Gold' is (forthcoming and) modern; template based

C++ SimpleTable is a class which enables the developer to create tables and detect design errors in compile-time

Static analysis tool for C & C++ source code. Object browser, source viewer and preprocess demistificator. Dependecy solver and hierarchy ilustrator.