Search Results for "llama-cpp-static"
Sort By:
24 projects for "llama-cpp-static" with 1 filter applied:
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
Caddy
Powerful, enterprise-ready, open source web server w/ automatic HTTPS
...Everything you would require in your infrastructure, from TLS certificate renewals and OCSP stapling, to reverse proxying and ingress, Caddy simplifies it all. Its modular architecture lets you do more with just a single static binary that compiles for any platform. Caddy is the only web server that uses HTTPS automatically and by default. It automatically renews TLS certificates, staples OCSP responses and more. Though used mostly as an HTTPS server, Caddy can be used to run Go applications, offering automated documentation, graceful on-line config changes via API and more to these apps. ... -
2
Cosmopolitan
Build-once run-anywhere c library
...Cosmopolitan can be compiled from source on any Linux distro. GNU make needs to be installed beforehand. This is a freestanding hermetic repository that bootstraps using a vendored static gcc9 executable. No further dependencies are required. -
3
libgit2
A cross-platform, portable, linkable Git implementation library
...Libgit2 is developed with CMake, and this is be the easiest way to build a binary from the source. The CMake build system provides lots of options to configure the libgit2 build for your particular needs. It’s highly recommended that you build libgit2 as a static library for Xcode projects to simplify distribution significantly. libgit2 is used for powering Git GUI clients, such as gmaster and GitKraken and on Git hosting providers such as GitLab, Azure, GitHub, DevOps, among others. By clicking "merge pull request", we perform the merge. It is licensed under the GPLv2 license, so you can link it in its unmodified state with any type of software without releasing its source code. -
4
Biber is a sophisticated bibliography processing backend for the LaTeX biblatex package. It supports a unsurpassed feature set for automated conformance to complex bibliography style requirements such as labelling, sorting and name handling. It has comprehensive Unicode support.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
bars3d
linear and nonlinear static analysis of 3-dimensional frames
Sour*eforge.net has become inaccesible to me because of Cl*udflare. The latest versions of the programs will be on my site: https://matei.one/. Linear and nonlinear (from version 2.0.0) finite element analysis of 3-dimensional frames, trusses and other such structures, designed for use in civil engineering. SDL 1.2 or 2 can be used for graphics and an executable file for Window$ is included in version 2.1.0, as well as a program for analysing 2-dimensional structures, written in Sinclair... -
6
BMDFM
Binary Modular DataFlow Machine (BMDFM)
Binary Modular DataFlow Machine (BMDFM) is a software package that enables running an application in parallel on shared memory symmetric multiprocessing (SMP) computers using the multiple processors to speed up the execution of single applications. BMDFM automatically identifies and exploits parallelism due to the static and mainly dynamic scheduling of the dataflow instruction sequences derived from the formerly sequential program. The BMDFM dynamic scheduling subsystem performs a symmetric multiprocessing (SMP) emulation of a tagged-token dataflow machine to provide the transparent dataflow semantics for the applications. No directives for parallel execution are needed. ... -
7
RedtDec
RetDec is a retargetable machine-code decompiler based on LLVM
...Generation of call graphs, control-flow graphs, and various statistics. Detection and reconstruction of C++ class hierarchies (RTTI, vtables). Signature-based removal of statically linked library code. Static analysis of executable files with detailed information. We currently support Windows (7 or later), Linux, macOS, and (experimentally) FreeBSD. An installed version of RetDec requires approximately 5 to 6 GB of free disk space. -
8
Code-warrior
Just another manual code analysis tool and static analysis tool.
Just another manual code analysis tool and static analysis tool. https://github.com/CoolerVoid/codewarrior -
9
websocketd
Turn any program that uses STDIN/STDOUT into a WebSocket server
...Each inbound WebSocket connection runs your program in a dedicated process. Connections are isolated by process. Available for Linux, OSX, Windows, FreeBSD, OpenBSD and Solaris. Serves your static HTML, JavaScript, etc. Route different URLs to different programs. Dynamic generate content over HTTP too. Out-of-the-box support for serving content using HTTPS and WSS. Restrict which pages can make WebSocket connections. Interact with your WebSocket programs before you've built your frontend. -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
10
icmp4j
ICMP ping for Java
ICMP4j is an ICMP ping implementation for Java with a simple and clean API. Linux/Mac/Solaris/Windows are supported natively. If you can provide other native implementations, please contact the author! -
11
C++ BigInt class
C++ BigInt class enables to work with arbitrary precision integers
C++ BigInt class that enables the user to work with arbitrary precision integers. Latest Version: 10.3 (2019-03-06) -
12
Serendipity PHP Weblog System
A reliable, secure & extensible PHP blog | Not mainstream since 2002
...PHP blog with all the common features (comments,track/pingbacks,RSS) plus cool extras:Click'n' blog admin,extensible event-driven plugin API,easy styling, multiuser,image management,static pregeneration and a nifty installer: unpack, open in browser! -
13
Network Tracking Database
Track your ARP/MAC table changes and so much more
The Network Tracking Database (NetDB for short) tracks all changes to the MAC address tables on your switches and the ARP tables on your routers over time stored in MySQL. It supports extensive switch, VLAN and vendor code reports from a CLI or Web App. NetDB can generate CSV reports, track the usage of static IP addresses, record neighbor discovery data and much more. There is now a VM "appliance" with easier upgrades available in the Files section. See the http://netdbtracking.sourceforge.net for more details. -
14
doorGets CMS - Responsive/Bootstrap PHP
doorGets CMS PHP offers a free, Open-source Website solution
...20 Included languages English, Français, Deutsch, Español, Polski, Український, Pусский, Türk, Português, Svenska, Italiano, Italiano, Slovenčina, Indonesia, हिंदी, 日本の, 한국의, ภาษาไทย, 中国, עברית, العربية 17 Themes responsive With the default bootstrap integration in all themes to simply create a responsive website that incorporates all the new features of the moment. 16 Modules & Widgets Page Static, Static Multi-Page, Landing Page, Blog, News, Sharing links, Video gallery, Image gallery, FAQ, Partners, Contact Form, Redirection link, Block Static, Form, Survey, Carousel. -
15
CuteReport
Qt based report solution
CuteReport is a report solution like Jasper Report, Crystal Reports or FastReport, but based on Qt framework. It can be easily used with any Qt application. In general, CuteReport consists of two parts: core library and template designer. Both are totally modular and theirs functionality can be easily extended by writing additional modules. It's totally abstract of used data and can use as storage: file system, database, version control systems, etc. The project's goal is to provide... -
16
bolt
The C++ framework for everything and more
-
17
notion
Tabbed, tiling window manager.
Notion is a tiling, tabbed window manager for the X window system: * Tiling: you divide the screen into non-overlapping 'tiles'. Every window occupies one tile, and is maximized to it * Tabbing: a tile may contain multiple windows - they will be 'tabbed' * Static: most tiled window managers are 'dynamic', meaning they automatically resize and move around tiles as windows appear and disappear. Notion, by contrast, does not automatically change the tiling. You're in control. Features include: * Workspaces: each workspace has its own tiling * Multihead: the mod_xinerama plugin provides very nice dual-monitor support * RandR: mod_xrandr expands on mod_xinerama and picks up changes in the randr configuration without the need for restarting Notion * Extensibility: Notion can be extended with lua scripts. -
18
BGINFO4X - BGINFO for X and for Windows!
Shows desktop information on your screen
BGINFO for X, also called BGINFO4X, is a clone of the popular program BGINFO for Microsoft Windows created by Sysinternals. BGINFO4X is designed for pretty print useful information (CPU model, Hostname, IP address, OS version, Office version, and much more ...) on your desktop background or wallpaper. See the screenshots to see BGINFO4X in action. BGINFO4X is Multi Platform (Windows, MacOSX, Linux, BSD). BGINFO4X is Highly Customizable. BGINFO4X is Open Source. BGINFO4X comes... -
19
High-performance electronic cart platform foreign electricity suppliers system high load high concurrency, high efficiency, high-speed, distributed, high-performance electronic cart systems With these various techniques and optimization, then do not worry for the lost one; using this system you can sit back and relax boss Monetize your friends! Core features are as follows: Database separate read and write speed memcached buffering speed HTML static pages acceleration Images watermarked image server separation image support CDN DNS round robin mirror server Multi-language support multi-currency support Orders report statistical analysis, product price concessions deal Page layout can be flexibly configured, multi-server load balanced layout Safety reliability, all the details of the optimization process Demo Reception: http://www.hecart.com/ Demo backstage account: demo Demo backstage Password: demo Demo Background: http://admin.hecart.com/
-
20
dhcp-gen
dhcpd.conf generator
dhcp-gen is a perl script that was written by me and Trond Erik Dalho to simplify editing dhcpd.conf for adding static ip to computers and equipment on our school. It also made it easier to do manage the network by limiting some computers access to the local network only. Creating closed networks. And it also worked as a database over all our computers and equipment, making it easier to keep track of everything. All information about equipment is stored inside csv files which are comma separated. -
21
A specialized stripped down Super High performance web server designed to function as a co-server for high volume static content. It uses a Single process, single threaded design where Data is preloaded into RAM first. Logs are binary (5 bytes per hit).
-
22
Wordform is personal content management system/weblogging tool based on PHP/MySQL. In addition to providing traditional weblogging tool functionality, Wordform also provides a rich metadata interface, static pages, as well as application extensibility.
-
23
The program implements a demo application which demonstrates using C++ stream-compatible sockets developed by Maciej Sobczak http://www.msobczak.com/
-
24
- Previous
- You're on page 1
- Next
