Search Results for "llama-cpp-static"
Sort By:
Showing 24 open source projects for "llama-cpp-static"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Application Monitoring That Won't Slow Your App DownFull APM with errors, performance, logs, and uptime monitoring. 99.999% uptime SLA on the platform itself.
-
1
PHP Insights
Instant PHP quality checks from your console
The perfect starting point to analyze the code quality of your PHP projects. Analysis of code quality and coding style. Beautiful overview of code architecture and it's complexity. Designed to work out-of-the-box with Laravel, Symfony, Yii, WordPress, Magento2, and more. Contains built-in checks for making code reliable, loosely coupled, simple, and clean. PHP Insights was carefully crafted to simplify the analysis of your code directly from your terminal, and is the perfect starting point... -
2
cppcheck
Static source code analysis tool for C and C++ code
Static analysis of C/C++ code. Checks for: memory leaks, mismatching allocation-deallocation, buffer overrun, and many more. The goal is 0% false positives. See http://cppcheck.sourceforge.net for more information. -
3
QtProjectTool
QtCreator plugin for some command line tools over a Qt (.pro) project.
qpt (Qt Project Tool) understands Qt C++ projects (.pro) and allows to pass this information to command line tools as "Code Counters" and "Static Analysis tools". It also can used inside QtCreator to act as a plugin for "Static Analysis tools" putting reported issues into QtCreator issues pane. -
4
SQL Server Expert Helper
Command line utility for gathering SQL Server information
Change connection string in configuration file and start utility to gather static and statistical information on SQL Server, databases and queries. Short example of using: https://www.arbinada.com/en/node/1522 -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
CodeNarc is a static analysis tool for Groovy source code, enabling monitoring and enforcement of many coding standards and best practices. CodeNarc applies predefined and/or custom rules to each Groovy file, and generates an HTML or XML report. This project has been moved to https://github.com/CodeNarc/CodeNarc.
-
6
ansvif
An advanced cross platform fuzzing framework suited to find code bugs.
ansvif, or A Not So Very Intelligent Fuzzer, suited to find bugs in code by throwing garbage arguments, files, and environment variables at the target program, that you may or may not have the source code to. It supports many features, such as buffer size, randomization of the buffer size, random data injection, templates, and much more. The purpose of this project is to identify bugs in software, specifically bugs that can induce a segmentation fault under various conditions. This aids... -
7
AutoReplacerPlus
Automatic correction of software bugs and grammar mistakes
Automatic correction of software bugs announced in compilers (clang, gcc) / Static Code Analysis tools (cppcheck, FindBugs) and grammar/style errors like in LanguageTool. Usage: use tool (e.g. cppcheck) and store results in a text file. Afterwards call: autoreplacerplus mytextfile -
8
TODOs
Search TODO, FIXME and similar comments in project files.
TODOs is a small command-line utility to search TODO, FIXME and similar comments in project files. It is written in Python 3 and licensed under the terms of GNU GPL 3 license. Supported output formats are TXT, HTML and XML. -
9
Geeklog Plugins, Static Pages and Blocks
Multilingual FAQ and other addons for the Geeklog CMS
This is a plugin project for the Geeklog CMS, providing plugins, static pages and blocks. The main project is MultiFAQ - a multilingual FAQ that lets each user see the FAQ in their chosen language. -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
10
Eclipse Plug-In that determines the Minimal Access Modifier of Java types and methods project and computes the software metrics Inappropriate Generosity with Accessibility of Types (IGAT) and Inappropriate Generosity with Accessibility of Methods (IGAM). The Minimal Access Modifier of a Java type or type member is the most restrictive access modifier that is able to allow all actual usages of the particular type or member from inside a given code base (normally the entire source code of...
-
11
The GroovyStAr ("Groovy Static Analyzer") project describes a new extensible SCA tool for Java and Groovy. The extensibility is reached through a customizable set of Groovy-scripts, each representing a static source code query against the created AST.
-
12
The ability to assemble software by "plugging" it together has been a goal of software engineering. This project aims to provide tools related to this goal such as: "pins" as component connectors. static reasoning about software. Use of state machines.
-
13
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
-
14
Analyzes Cpp code for unused public functions, public functions which are candidates to be private functions and duplicate implementation of public functions.
-
15
Code Distance Visualizer is a static program analyzer. It learns patterns in user defined faulty and correct code instances and using visualization indicates which fragments in a program’s source code are the most similar to these instances.
-
16
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.
-
17
Highly customizable CASE-Tool for static code analysis based on software metrics with additional support for easy interpretation and Agile Development (evolutionary design).
-
18
cite-effect helps understand, validate and refactor programs through static analysis. After building a database, it reports variable's accesses within call tree(s), in a text format suitable for integration into editors (like jEdit or Emacs).
-
19
SecurityCoach is an extensible software security auditing system that integrates with Eclipse, seamlessly performs static analysis of the source code in the background and warns a developer about potential software security vulnerabilities.
-
20
The SoSART (Software Static Analysis Reliability Toolkit) is intedned to aid developers in assessing the reliability of existing Java source code through the usage of Static Analysis.
-
21
Tests executed in different environments often rely on environment-specific static properties. EZPZ enables ths use of parameter-driven XML files to provide these properties, and provides hooks for you to generate non-static properties.
-
22
Enerjy is a static code analyzer for Java that integrates seamlessly with Eclipse. In addition to scanning your source code for stylistic problems, bugs and inefficient code, Enerjy also calculates your Enerjy Index Score.
-
23
The Open Code Quality Project offers Static Code Analyses as an free Online-Service for Open Source Code. Simply send your code, start the scan, receive the results.
-
24
CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.
- Previous
- You're on page 1
- Next
