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

View related business solutions
  • AestheticsPro Medical Spa Software Icon
    AestheticsPro Medical Spa Software

    Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

    AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
    Learn More
  • The most user-friendly sales commission software for revenue-focused teams Icon
    The most user-friendly sales commission software for revenue-focused teams

    Everstage is a trusted ICM for public companies and enterprises worldwide-across industries

    Rated as #1 sales compensation management software, Everstage helps businesses streamline commission administration, boost sales performance and improve ROI with actionable insights. Top features: No-code plan designer, detailed commission statements, advanced commission forecasting, quota management, queries & approval workflows, deferred commissions (ASC606), BI-powered reporting, and more.
    Learn More
  • 1
    Dear ImGui

    Dear ImGui

    Bloat-free Graphical User interface for C++ with minimal dependencies

    Dear ImGui is a bloat-free graphical user interface library for C++. It outputs optimized vertex buffers that you can render anytime in your 3D-pipeline enabled application. It is fast, portable, renderer agnostic and self-contained (no external dependencies). Dear ImGui is designed to enable fast iterations and to empower programmers to create content creation tools and visualization / debug tools (as opposed to UI for the average end-user). It favors simplicity and productivity toward this...
    Downloads: 44 This Week
    Last Update:
    See Project
  • 2
    Notoma

    Notoma

    Use Notion as your blogging editor, with any static gen blog engine

    Use Notion as your blogging editor, with any static gen blog engine. Notoma converts Notion pages to Markdown files. Convert contents of your Notion Blog database to a bunch of Markdown files. Watch Notion Blog database for updates and regenerate Markdown files on any updates. Create a new Notion database for your Blog with all required fields.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    pytype

    pytype

    A static type analyzer for Python code

    pytype is a static type analyzer that checks and infers types for Python code without executing it, catching errors at “compile time” and generating actionable diagnostics. It grew alongside Python typing at Google and can understand both inline annotations and unannotated code via powerful inference. The tool consumes stub files (.pyi) for the standard library and third-party packages (from typeshed and its own built-ins), enabling accurate checks even in large, mixed-quality codebases. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Node Modules Inspector

    Node Modules Inspector

    Interactive UI for local node modules inspection

    ...The idea is to help developers visualise the dependency graph, see which dependencies are installed, their sizes, types (ESM vs CJS), origins (catalog vs registry), and filter or build a static report of a project’s dependency tree. The project includes a web UI version that you can try at node-modules.dev, and a build command to generate a static output (folder .node-modules-inspector) for hosting. It supports configuration via node-modules-inspector.config.ts for customizing filters and display settings. Internally it uses a web version with WebContainer to run in-browser installations for live project visualisations. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • AI-powered SAST and AppSec platform that helps companies find and fix vulnerabilities. Icon
    AI-powered SAST and AppSec platform that helps companies find and fix vulnerabilities.

    Trusted by 750+ companies and performing 200k+ code scans monthly.

    ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix vulnerabilities.
    Learn More
  • 5
    Elixir Code Smells

    Elixir Code Smells

    Catalog of Elixir-specific code smells

    Elixir-Code-Smells is a research-driven catalog of code smells specific to the Elixir programming language. Unlike generic code smell lists, this project identifies issues emerging from Elixir’s functional, concurrent, and process-based nature. Initially compiled via grey literature (blogs, talks, forums), the catalog now includes 23 Elixir-specific smells plus 12 traditional smells adapted to Elixir. Each entry documents the name, category, problem, example, refactoring strategy, and...
    Downloads: 8 This Week
    Last Update:
    See Project
  • 6
    MkDocs

    MkDocs

    Project documentation with Markdown

    MkDocs is a fast, simple and downright gorgeous static site generator that's geared towards building project documentation. Documentation source files are written in Markdown, and configured with a single YAML configuration file. Start by reading the introductory tutorial, then check the User Guide for more information. There's a stack of good-looking themes available for MkDocs. Choose between the built in themes: mkdocs and readthedocs, select one of the third-party themes listed on the MkDocs Themes wiki page, or build your own. ...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 7
    CXX

    CXX

    Safe interop between Rust and C++

    ...The general idea of CXX is to define the signatures of both sides of the FFI boundary embedded together in one Rust module. CXX gets a complete picture from this of the boundary, and through it is able to perform static analyses against the types and function signatures, ensuring that both Rust's and C++'s invariants and requirements are upheld. CXX then emits the relevant extern "C" signatures on both sides through a pair of code generators. This is done together with any necessary static assertions needed for later in the build process to verify correctness. ...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 8
    GDScript Toolkit

    GDScript Toolkit

    Independent set of GDScript tools - parser, linter and formatter

    ...This project provides a set of tools for daily work with GDScript. At the moment it provides a parser that produces a parse tree for debugging and educational purposes. A linter that performs a static analysis according to some predefined configuration. A formatter that formats the code according to some predefined rules. A code metrics calculator which calculates the cyclomatic complexity of functions and classes. To install this project you need python3 and pip. Regardless of the target version, installation is done by pip3 command and for stable releases, it downloads the package from PyPI.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 9
    Prisma Client Python

    Prisma Client Python

    Prisma Client Python is an auto-generated and fully type-safe database

    prisma-client-py is an auto-generated Python ORM for Prisma schema files, bringing Prisma's developer experience to Python projects. It provides a type-safe, intuitive interface for interacting with databases like PostgreSQL and MySQL. prisma-client-py is ideal for Python developers who want static typing, code completion, and seamless integration with modern backend stacks.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Empowering Companies To Excel In Safety Data Sheet Compliance Icon
    Empowering Companies To Excel In Safety Data Sheet Compliance

    For any organization using chemicals that require Safety Data Sheets

    Effortless setup and maintenance: Simplified management and seamless online access to safety data sheets for your team
    Learn More
  • 10
    Squire

    Squire

    A library of static Eloquent models for common fixture data

    Squire is a library of static Eloquent models for fixture data that is commonly needed in web applications, such as countries, currencies, and airports. It's based on the concepts of Caleb Porzio's Sushi package. Squire includes a validation rule for each model installed in your app. These allow you to easily validate user input to ensure that it matches a record in a specific model.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    Semgrep

    Semgrep

    Lightweight static analysis for many languages

    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.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 12
    HTTP Server

    HTTP Server

    A non-blocking HTTP application server for PHP based on Amp

    ...Multiple requests can be served concurrently and the application bootstrapping only needs to happen once, not once for every request. Several advanced components are available in separate packages, such as a routing, static content and WebSocket component.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    AssemblyScript

    AssemblyScript

    A TypeScript-like language for WebAssembly

    AssemblyScript is a TypeScript-like programming language specifically designed to compile into WebAssembly, enabling developers to write high-performance code using familiar JavaScript syntax. It introduces static typing and low-level control while maintaining compatibility with existing JavaScript tooling and workflows. The language is optimized for generating efficient and compact WebAssembly modules, making it suitable for performance-critical applications in both browser and server environments. Its design bridges the gap between high-level scripting and low-level execution, allowing developers to achieve near-native performance without switching to languages like C or Rust. ...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 14
    Nuxt

    Nuxt

    The Intuitive Vue Framework

    Nuxt is a free, open‑source framework built on Vue.js that streamlines the development of type‑safe, high-performance full‑stack web applications and static sites, with an emphasis on developer experience, modularity, and extensibility. Simple, intuitive and powerful, Nuxt lets you write Vue components in a way that makes sense. Every repetitive task is automated, so you can focus on writing your full-stack Vue application with confidence. We highly recommend you take a look at the Nuxt documentation to level up. ...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 15
    tRPC

    tRPC

    End-to-end typesafe APIs made easy

    tRPC allows you to easily build & consume fully typesafe APIs, without schemas or code generation. As TypeScript and static typing increasingly become a best practice in web programming, the API presents a major pain point. We need better ways to statically type our API endpoints and share those types between our client and server (or server-to-server). We set out to build a simple library for building typesafe APIs that leverage the full power of modern TypeScript.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 16
    Alpine.js

    Alpine.js

    A rugged, minimal framework for composing JavaScript behavior

    Alpine.js is a lightweight JavaScript framework designed to bring declarative, reactive behavior directly into HTML markup, functioning similarly in spirit to Vue but with a much smaller footprint. It’s often described as “jQuery for the modern web,” enabling you to sprinkle interactivity onto static HTML without needing a full SPA framework. You use directives like x-data, x-bind, x-on, x-if, and others to attach reactive state, event listeners, and conditional rendering straight in the DOM. Because Alpine is so minimal, it avoids virtual DOM overhead and focuses on being incremental and composable; you can use it for small interactive components inside traditional server-rendered pages. ...
    Downloads: 9 This Week
    Last Update:
    See Project
  • 17
    Hutool

    Hutool

    A set of tools that keep Java sweet

    Hutool is a small but comprehensive Java tool class library. Through static method encapsulation, it reduces the learning cost of related APIs, improves work efficiency, makes Java as elegant as a functional language, and makes the Java language "sweet". The tools and methods in Hutool come from each user's meticulous attention to detail. It covers all aspects of the underlying code of Java development.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 18
    Soufflé

    Soufflé

    Datalog variant for tool designers crafting analyses in Horn clauses

    Rapid prototyping for your analysis problems with logic; enabling deep design-space explorations; designed for large-scale static analysis; e.g., points-to analysis for Java, taint-analysis, and security checks. Futamura projections/partial evaluation for effective translation to parallel C++; optimized staged compilation; specialized data-structures for logical relations. Efficient translation to parallel C++ of Datalog programs (CAV'16, CC'16) Efficient interpretation using de-specialization techniques (PLDI'21) Specialized data structure for relations (PACT'19, PPoPP'19, PMAM'19) with optimal index selection (VLDB'18) Extended semantics of Datalog, e.g., permitting unbounded recursions with numbers and terms. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Macaron

    Macaron

    Package macaron is a high productive and modular web framework in Go

    ...Unlimited nested group routers. Directly integrate with existing services. Dynamically change template files at runtime. Allow to use of the in-memory templates and static files. Easy to plugin/unplugin features with a modular design. Handy dependency injection powered by inject. Better router layer and less reflection make faster speed.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20
    Hawtio

    Hawtio

    Hawtio web console helps you manage your JVM stuff and stay cool

    ...Hawtio has plugins such as: Apache Camel and JMX (Logs, Spring Boot, Quartz, and more will be provided soon). You can dynamically extend Hawtio with your own plugins or automatically discover plugins inside the JVM. The only server-side dependency (other than the static HTML/CSS/JS/images) is the excellent Jolokia library which has a small footprint (around 300KB) and is available as a JVM agent or comes embedded as a servlet inside the hawtio-default.war.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21
    PHPStan Symfony Framework extensions

    PHPStan Symfony Framework extensions

    Symfony extension for PHPStan

    Symfony extension for PHPStan. Sometimes, when you are dealing with optional dependencies, the ::has() methods can cause problems. For example, the following construct would complain that the condition is always either on or off, depending on whether you have the dependency for service installed. You can opt in for more advanced analysis of Symfony Console Commands by providing the console application from your own application. This will allow the correct argument and option types to be...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 22
    AWS IoT Device SDK for C++ v2

    AWS IoT Device SDK for C++ v2

    Next generation AWS IoT Client SDK for C++ using AWS Common Runtime

    ...This SDK is built on the AWS Common Runtime, a collection of libraries (AWS-c-common, aws-c-io, aws-c-mqtt, aws-c-http, aws-c-cal, aws-c-auth, s2n...) written in C to be cross-platform, high-performance, secure, and reliable. The libraries are bound to C++ by the AWS-crt-CPP package.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 23
    Kemal

    Kemal

    Fast, effective, simple web framework

    ...By default Kemal gzips most files, skipping only very small files, or those which don’t benefit from zipping. Websocket support. Request/Response context, easy parameter handling. Middleware support. Built-in JSON support. Built-in static file serving. Built-in view templating via ECR. Documentation. Before filters are evaluated before each request within the same context as the routes. They can modify the request and response. Since Crystal does not allow using variables in macro literals, you need to generate another helper macro to make the code easier to read and write. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 24
    VComponents

    VComponents

    VComponents is a SwiftUI collection that contains reusable UI componen

    VComponents is a SwiftUI collection that contains reusable UI components.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 25
    Starlette

    Starlette

    The little ASGI framework that shines

    ...It is production-ready and gives you a lightweight, low-complexity HTTP web framework. WebSocket support. In-process background tasks. Startup and shutdown events. Test client built on httpx. CORS, GZip, Static Files, streaming responses. Session and Cookie support. 100% test coverage. 100% type annotated codebase. Few hard dependencies. Compatible with asyncio and trio backends.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB