Search Results for "llama-cpp-static" - Page 4
Sort By:
Showing 831 open source projects for "llama-cpp-static"
View related business solutions-
AestheticsPro Medical Spa SoftwareAestheticsPro 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.
-
The most user-friendly sales commission software for revenue-focused teamsRated 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.
-
1
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... -
2
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. -
3
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. ... -
4
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. ... -
AI-powered SAST and AppSec platform that helps companies find and fix vulnerabilities.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.
-
5
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... -
6
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. ... -
7
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. ... -
8
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. -
9
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. -
Empowering Companies To Excel In Safety Data Sheet ComplianceEffortless setup and maintenance: Simplified management and seamless online access to safety data sheets for your team
-
10
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. -
11
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. -
12
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. -
13
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. ... -
14
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. ... -
15
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. -
16
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. ... -
17
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. -
18
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. ... -
19
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. -
20
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. -
21
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... -
22
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. -
23
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. ... -
24
VComponents
VComponents is a SwiftUI collection that contains reusable UI componen
VComponents is a SwiftUI collection that contains reusable UI components. -
25
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.
