Showing 47 open source projects for "llama-cpp-static"

View related business solutions
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 1

    XJML

    XJML 1.0 is a platform for Verification and Validation of Java classes

    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)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    NUnit.Extensions is a collection of classes which assist with unit testing of .net code using NUnit. Please note that this is not part of the NUnit framework and is in no way endorsed or supported by the people who develop and support the NUnit frame
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The java library based on Mockito wich extends it with the ability to mock private/static/final methods, getting and setting the values for private fields and to substitute the date and time for testing purposes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    C/C++ SFML
    Essais en SFML avec le C/C++.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 5
    SUDS is a software bug detection research infrastructure that has support for both dynamic instrumentation and static analysis.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A spring utility that makes developing with spring a little easier by enabling, with minimal code, runtime wiring, static ApplicationContext access, easy spring application creation and FitNesse-Spring integration
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A language-validation testing harness for Java (and Java-like) compilers & other language tools. Provides a framework for verifying whether static/runtime errors occur when running collections of test programs (benchmarks) described by "jlbench" files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    This project contains a set of tools for formal verification and static analysis of VHDL design.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • 10
    PowerMock allows you to unit test code normally regarded as untestable. For instance it is possible to mock static methods, remove static initializers, allow mocking without dependency injection and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Mock framework for c# which deal with static, non-virtual methods and sealed class.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    EJB3checker is a static code analyzation suite for the EJB 3.0 technology. It checks the correct combination of annotations and declarations for entity and session beans.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    This tool tests COBOL source code, using the SSA (Single Static Assignment) form as intermediate representation to obtain varibles definition-use chains under different criteria.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    A very simple but effective framework to build Mock Objects (static) with Delphi and FreePascal for EndoTesting purposes. It comes with its own tests and it's used in InstantObjects project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Testsweet is a unit testing tool to ensure that all tests in a project are being run, by either auto generating unit test suites at runtime, or ensuring that all tests in a project are included in a static suite at build time.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Free ttcn3 compiler. (cpp code generator)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    torque - Automation Testing Tool

    torque - Automation Testing Tool

    Automation unit testing tool for C & C++ on Linux platform

    ...Two major sections of the testing area like memory management and code coverage is accomplished by open source tools, such as, • Valgrind -- Memory Management • Lcov -- Code Coverage • splint -- Static Code Analysis 2. Supported Platform • Linux operating system on Intel x86 architecture • Linux operating system on Intel x86_64 architecture
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    PHP pUnit

    A small testing framework for PHP.

    A small testing framework for PHP based off some of .net's nUnit contracts. It uses a static assertion class rather than protects/public methods on an extended class.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    BP-Tools

    BP-Tools

    Set of useful tools for payment service development

    The BP-Tools set consist from applications supporting EFT testing, benchmarking and transaction service development. BP-Tools suite currently consists of following three components: - BP-CCALC: Cryptographic Calculator - BP-CardEdit: Thales P3 Input/Output file editor - BP-EMVT: EMV Tool - BP-HCMD: Thales HSM Commander
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB