Search Results for "llama-cpp-static"
Sort By:
Showing 58 open source projects for "llama-cpp-static"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
1
Google Translate PHP
Free Google Translate API PHP Package
A simple and effective PHP library for translating text using Google Translate without needing an API key. It allows developers to integrate real-time translation features into their applications with minimal setup and supports multiple languages, leveraging Google Translate’s unofficial endpoint. -
2
CARLA Simulator
Open-source simulator for autonomous driving research.
...In addition to open-source code and protocols, CARLA provides open digital assets (urban layouts, buildings, vehicles) that were created for this purpose and can be used freely. The simulation platform supports flexible specification of sensor suites, environmental conditions, full control of all static and dynamic actors, maps generation and much more. Multiple clients in the same or in different nodes can control different actors. CARLA exposes a powerful API that allows users to control all aspects related to the simulation, including traffic generation, pedestrian behaviors, weathers, sensors, and much more. Users can configure diverse sensor suites including LIDARs, multiple cameras, depth sensors and GPS among others. ... -
3
CADAM
CADAM is the open source text-to-CAD web application
CADAM is an open-source “text-to-CAD” web application that turns natural-language prompts into parametric 3D models, targeting a workflow where you describe what you want and the system produces editable geometry. It is designed around a browser-first experience, so users can iterate quickly without installing a heavyweight desktop CAD suite for every experiment. A key idea is that the generated output is parametric and scriptable, enabling repeatable edits and variations rather than a... -
4
The Missing Semester
The Missing Semester of Your CS Education
The Missing Semester is a course and repository that teaches the engineering skills often skipped in traditional computer science curricula: command-line fluency, shell scripting, editors, version control, debugging, data wrangling, and automation. It includes lecture notes, exercises, and sample solutions that encourage hands-on practice rather than passive reading. The curriculum demystifies tools like bash, vim, git, and make, showing how to combine them into efficient workflows that... -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
Napkin
An Infinitely Large Napkin
Napkin (also titled “An Infinitely Large Napkin”) is a lightweight, semi-formal introduction to higher mathematics, aimed at giving readers a bird’s-eye view over various mathematical fields. It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem statements, intuitive motivations, and informal sketches of why things work, with the goal of building conceptual understanding. The coverage spans undergraduate and early graduate topics, designed to show how... -
6
Swift Numerics
Advanced mathematical types and functions for Swift
Swift Numerics is a foundational library that extends the Swift standard library with essential numerical protocols, types, and functions needed for scientific and systems programming. It defines generic abstractions over real and complex numbers so algorithms can be written once and work across concrete floating-point types. The package includes RealModule utilities and a full Complex type with the expected arithmetic and transcendental functions, bridging a long-standing gap for numerics... -
7
ElectronBot
ElectronBot is a mini desktop robot
...The project features six degrees of freedom (rotational axes) for arms, neck, and body, allowing expressive motion beyond simple head-tilt or arm-wave. It includes USB communication and a built-in display, enabling it to respond to host computer inputs and act as an interactive peripheral rather than just a static automaton. The creator provides full source materials—mechanical (3D printed or CNC parts), electronics (PCBs, custom boards), firmware and drivers—so someone can build or modify the robot themselves. The platform also integrates computer vision or gesture sensing (for example, keypoint detection of human pose) so the bot can respond dynamically to a person’s presence or movement. -
8
Structural Analysis Program for Civil Engineering.Can evaluate structures for static or dynamic seismic analysis. Dynamic analysis is made by accelerograms. Any analysis can be linear or non linear.
-
9
SPINA
Structure parameter inference approach for endocrine feedback control
...A second version has been established for insulin-glucose homeostasis. It delivers the secretory capacity of pancreatic beta cells (SPINA-GBeta), an estimate for the insulin receptor amplification (SPINA-GR) and a static disposition index as a measure for the loop gain of the feedback loop (SPINA-DI). Both implementations of SPINA have been validated in more than 50 clinical studies based on large cohorts. -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
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... -
11
calc: C-style arbitrary precision system
Calc: arbitrary precision C-like arithmetic & calculator
Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions. -
12
refbase - Web Reference Database
Online bibliographic manager for research groups. Zotero-compatible.
refbase is a web-based bibliographic manager which can import and export references in various formats (including BibTeX, Endnote, MODS XML, and OpenOffice). It can make formatted lists of citations and offers powerful searching, rich metadata, and RSS. -
13
Frame3DD
Static and Dynamic Structural Analysis of 2D and 3D frames.
FRAME3DD is a program for the static and dynamic structural analysis of two- and three-dimensional frames and trusses with elastic and geometric stiffness. -
14
Perceptron
The birth of modern video feedback art.
Perceptron is a video feedback engine with a variety of extraordinary graphical effects. Perceptron is an endless flow of transforming visuals. Perceptron * recursively transforms images and video streams in realtime and produces a combination of Julia fractals, IFS fractals, and chaotic patterns due to video feedback * evolves geometric patterns into the realm of infinite details and deepens the thought * records animations (movies) * saves and opens presets... -
15
Extended Java WordNet Library
extJWNL is a Java library to handle dictionaries in WordNet format.
...The library features support for creating, editing and writing dictionaries; dictionary encodings, including UTF-8; Java generics; huge dictionaries; instance dictionaries and static singletone dictionary; Maven and more. -
16
openPOWERLINK
An Open Source POWERLINK Stack
openPOWERLINK is an Open Source Industrial Ethernet stack for communication in hard real-time. It can be operated as both, Managing Node (master) and Controlled Node (slave). With version 2.0, the source code has been cleanly split into an application-oriented user library and a time-critical stack driver. The latter may be moved to a dedicated communication processor or into a kernel module to deliver enhanced performance while still keeping the API in user space. A full documentation... -
17
ScaffCC
Compilation and optimization framework for the Scaffold language
ScaffCC is a compiler and scheduler for the Scaffold programing language. It is written using the LLVM open-source infrastructure. It is for the purpose of writing and analyzing code for quantum computing applications. ScaffCC enables researchers to compile quantum applications written in Scaffold to a low-level quantum assembly format (QASM), apply error correction, and generate time and area metrics. It is written to be scalable up to problem sizes in which quantum algorithms outperform... -
18
Cppfunct implements run-time C++ function objects, with creation, invocation, manipulation, and combination. The function object concept abstracts ways to parameterise other classes beyond simple static values.
-
19
codelyzer
Static analysis for Angular projects
A set of tslint rules for static code analysis of Angular TypeScript projects. (If you are using ESLint check out the new angular-eslint repository.). You can run the static code analyzer over web apps, NativeScript, Ionic, etc. Note that by default all components are aligned with the style guide so you won't see any errors in the console. Codelyzer supports any template and style language by custom hooks. -
20
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) -
21
haikuVM
A Java VM for ARDUINO and other micros using the leJOS runtime.
HaikuVM has been started for hobbyists who develop applications for ARDUINO to open the world of JAVA and leJOS. Yes, you can program an ARDUINO with JAVA! HaikuVM is so small that it even runs on an atmega8 (and the ASURO robot). And yes, you can program an ASURO robot with JAVA! And since version 1.4.0 the RCX lego brick. -
22
JBotSim is a multipurpose dynamic network simulator that allows to quickly prototype a distributed algorithm and test its behavior on a set of static or mobile nodes. If mobile, the nodes can be controlled by the mouse or by program.
-
23
SCRAM
Probabilistic Risk Assessment Tool
SCRAM is a free and open source probabilistic risk analysis tool. The tool is under development to include fault tree, event tree, common cause, and other standard analyses. -
24
abumpack
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are provided. ... -
25
kalman-cpp
Implementation of the Kalman filter and Extended Kalman filter in C++
Implementation of the Kalman filter and Extended Kalman filter in C++
