Search Results for "llama-cpp-static"

Static analysis at ludicrous speed. Find bugs and enforce code standards. Find and prevent security issues in Terraform, Docker, Kubernetes, nginx, and AWS configs before they go into production. Go beyond application code and protect the entire stack with a breadth of scanning capabilities. Don't leak secrets, scan every commit and ensure secrets don't make it to production.

It’s easy to make great things in PHP, but bugs can creep in just as easily. Psalm is a free & open-source static analysis tool that helps you identify problems in your code, so you can sleep a little better. Psalm helps people maintain a wide variety of codebases, large and small, ancient and modern. On its strictest setting it can help you prevent almost all type-related runtime errors, and enables you to take advantage of safe coding patterns popular in other languages.

== This project has been renamed to slang-lang/slang and moved to Github. == ObjectiveScript is an object orientated scripting language that tries to combine the speed of scripting with an object orientated syntax similar to Java and C++. The language offers native data types like bool, double, float, int and string as well as user defined object types and a system library with data types similar to the Java boxed types like Integer and String. Collections like List, Map, etc. can be used...

For C (and CPP obviously): Include a fast and tiny RAM-tracing feature for Real-Time (RT) debugging purposes. >> ONLY FOR DEBUGGING << Very much faster than printf-debugging, which may result in unforseen results in an RT environement.

...Robust is an Android HotFix solution with high compatibility and high stability. Robust can fix bugs immediately without publishing apk. Support fixing at method level,including static methods. Support add classes and methods. Support ProGuard,including inline methods or changing methods' signature. AutoPatch will generate patch for Robust automatically. You should modify inner classes' private constructors to public modifier. Classes added in patch should be static nested classes or non-inner classes,and all fields and methods in added class should be public.

A cross-platform implementation of a mutex, that automatically checks for everything, you might be doing wrong: - DeadLocks - Invalid mutex leave order - Thread Shutdown, while still holding mutex locks - Destroying a locked mutex - (Un)Locking a destroyed mutex - UnLocking an unlocked mutex - UnLocking an mutex locked by another thread - Locking a non-recursive, locked mutex - Not destroying all mutexes before application termination Every abnormal produces a console...

Jlint will check your Java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis on the code and building the lock graph. Jlint is fast, easy to learn, and requires no changes in the class files to be checked.

The Logging Framework supports stream-like usability, extensibility, portability, type-safety, allows enabling/disabling certain parts or fully at compile time and dependent on the configuration also at runtime and avoids macro-related pitfalls.

Avrora is a suite of tools for analyzing and debugging programs for AVR microcontrollers. It has support for a sensor platforms such as Mica2 and MicaZ, allowing wireless network simulation and allows dynamic instrumentation and static analysis.

Log any javascript or php variables and it's back stack into file like php function debug_backtrace done. View the variables value and it's back stack info in web browser, and browser will synchronize with the log file using ajax.

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.

ThinFlashDebug (TFD) is a simple and lightweight debug tool. It uses a LocalConnection to log messages from your Flash application to a standalone debug window. It uses only static functions and no includes are necessary.

Mock framework for c# which deal with static, non-virtual methods and sealed class.

Java Class and Byte Code verifier. Verifies static class file structure, external references, analyzes operand stack and local variables through byte code execution emulation. Includes CLDC standard verfication.

Orome is a tool for automating System or Acceptance tests (also Unit test though this is not the focus) for web-based systems. Orome takes a set of static HTML pages defining a walkthrough of (part of) the systems and tests it against the running system.