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

AWK~plus is the next generation script practice environment. The AWK Language specifications and a main extension of GNU GAWK. Combination of Dynamic and Static typing. Parallel computing that a lock is free, and is thread safe at a language level.

This platform provides a Python based killboard backend supporting common tasks such as interfacing with the EVE API to fetch killmail logs, interact with EDK killboards to fetch killmails from them and parse manually logged killmails. The database layer is generic thanks to SQL Alchemy so any dbms can be used. Static data and schemas for PostgreSQL and MySQL are provided. Aggregates exist along with code to maintain them to enable high speed reports for summarized data. A point calculation system is included as is support for parsing German and Russian kill mail text. Caching exists in two forms, a basic in memory dict based caching system suitable for single process tasks and integration with uwsgi's powerful and fast built in cache. ...

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.

PyChecker is a static analysis tool for finding bugs in Python source code. It finds problems that are typically caught by a compiler for less dynamic languages, like C and C++. It is similar to lint.

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

Analyzes Cpp code for unused public functions, public functions which are candidates to be private functions and duplicate implementation of public functions.

Goal of oraschemadoc is to provide detailed documentation for all objects in schema covering Oracle specific features. Result of execution of oraschemadoc is set of static xhtml files. There are more features under development...

fgen is a free command line tool that facilitates cross platform c++ development, including header generation, cpp file generation, makefile generation, unit test framework generation, etc.

NPL is a programming language designed to ease code visualisation. It visualises the static and dynamic aspects of a program along with it's semantics, thus making reading code easier.

RTL-Check is a framework for static analysis of programs from a safety and security perspective. It performs analysis on RTL, which is the low-level intermediate representation generated by GCC

"Static linker" for small helper Python libraries. Links a script and its helper libraries into self-contained Python executable.

CVS-Summary is a program that generates an HTML summary of CVS activity, very similar to that provided by the popular ViewCVS script. CVS-Summary differs from ViewCVS in that it dumps the summary information to static HTML files which can be served by n

Clint is a testbed for static source-code checking techniques. It is currently designed to check C++ for common programmer errors and suggest improvements.

The aim is to develop a framework to translate UIML (User Interface Markup Language) description of UI into a number of plaforms (wxPython, HTML, etc.). Dynamic and "static" (into a program) rendering implied.

A C++ file security filter driver example implemented with EaseFilter File Security Filter Driver SDK. EaseFilter Comprehensive File Security SDK is a set of file system filter driver software development kit which includes file monitor filter driver, file access control filter driver, transparent file encryption filter driver, process filter driver and registry filter driver. In a single solution, EaseFilter Comprehensive File Security SDK encompasses file security, digital rights...