Search Results for "llama-cpp-static" - Page 24
Sort By:
Showing 821 open source projects for "llama-cpp-static"
View related business solutions-
Forever Free Full-Stack Observability | 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.
-
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.
-
1
Python Embed C++
Embed C++ in Python source code, dynamically compile and access data
Moved to http://github.com/ftrias/pyembedc Python module to embed C/C++ code within Python source code and scripts. Automatically compile and dynamically link the code. Transparently allow native access to python data from C code and vice versa. Module provides all the "glue" to dynamically convert data types, arrays and structures. -
2
Dev-C++ for Homeworks
Orwell Dev-Cpp with author authentication for homeworks
...In addition, paste in authenticated files is only allowed from one's own files. The CheckHash.exe tool checks the hash and reports the authentication status of of all .cpp files in the current directory. This tool is intended for teachers. How to install: simply download a Setup Release and install it. Alternatively, it is possible to just overwrite devcpp.exe in the original Dev-Cpp installation folder with the one in the zip release, and also add Auth.dll in the same folder. Dev-C++ for Homeworks is based on Orwell Dev-C++ software. ... -
3
JsonRpc-Cpp is an OpenSource implementation of JSON-RPC protocol in C++. JSON-RPC is a lightweight remote procedure call protocol similar to XML-RPC.
-
4
Web Application Protection
Tool to detect and correct vulnerabilities in PHP web applications
...WAP detects the following vulnerabilities: - SQL injection using MySQL, PostgreSQL and DB2 DBMS - Reflected cross-site scripting (XSS) - Stored XSS - Remote file inclusion - Local file inclusion - Directory traversal - Source code disclosure - OS command injection - PHP code injection WAP is a static analysis tool that performs taint analysis to detect vulnerabilities, tracking malicious users inputs and checking if they reach calls of sensitive functions. It has a low rate of false positives because has implemented a data mining module to predict false positives when detects vulnerabilities. The output of the tool is: - shows the vulnerabilities found and how they are corrected - new files with the corrections -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
debug_mutex
c/c++ debug-mutex library
A cross-platform implementation of a mutex, that automatically checks for everything, you might be doing wrong: - DeadLocks - Invalid mutex leave order - Thread Shutdown, while still holding mutex locks - Destroying a locked mutex - (Un)Locking a destroyed mutex - UnLocking an unlocked mutex - UnLocking an mutex locked by another thread - Locking a non-recursive, locked mutex - Not destroying all mutexes before application termination Every abnormal produces a console... -
6
oovcde
C++ analysis IDE with auto class, sequence, zone, dependency, diagrams
...The Oovcde project is a C++ IDE for Windows or Linux with an automated multi-tasking build system, cross compiler support, an analysis tool based on CLang that creates UML class, component, sequence as well as zone and portion diagrams from C++ source, static analysis and test coverage. The diagrams allow navigation through the source code, and can be edited manually and saved as .SVG files. It creates CMake files and can be built using Eclipse or CMake. Export to SQLite is supported. -
7
Event-B Generic Instantiation
A Rodin Platform Plug-in for Generic Instantiation
...Main features of the tool are as follows: - Generic Instantiation Files for storing information about generic instantiation. - Wizard for creating generic instantiation files. - Editor for generic instantiation files. - Static checker for generic instantiation files. - Performing generic instantiation by creating a new project based on a source project and generic instantiation files. -
8
ChkSem
A static source code analyser for Fortran 90 and C++
ChkSem is a static Fortran 90 and C++ source code analyser. Fortran codes are analysed to find potential problems and dead code. This project allows ( for the moment ) to find useless includes and to find missing direct includes for helping programmers to clean C++ codes. This can potentially reduce building time from small programs to huge solutions. -
9
Gulp Boilerplate
A boilerplate for building web projects with Gulp.js
...It is strongly recommended that you instead use my Build Tool Boilerplate. Concatenate, minify, and lint JavaScript. Compile, minify, autoprefix, and lint Sass. Optimize SVGs. Copy static files and folders into your dist directory. Automatically add headers and project details to JS and CSS files. Create polyfilled and non-polyfilled versions of JS files. Watch for file changes, and automatically recompile build and reload webpages. Gulp Boilerplate makes it easy to turn features on and off, so you can reuse it for all of your projects without having to delete or modify tasks. -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
10
Kickstart
Kickstart is a CSS library designed for modularity and fast page
...This means you only use the CSS you need instead of slowing down your site with a complete UI library. Look how easy it is to create this Navbar. Most components in Kickstart require only one mixin to bring markup to life. For users preferring a static CSS file, simple CSS classes are available to quickly write up components. The Kickstart documentation can be toggled between static- and mixin-usage. Kickstart has a lot of components, but it's also extendible. -
11
Material Ripple Layout
Android L Ripple effect wrapper for Views
Ripple effect wrapper for Android Views. -
12
C/C++ Program Perfometer
The program enables to get performance of C/C++ program for any metric
The program enables to get performance of C/C++ program and separated pieces of code for any metrics (for instance : time, memory, metrics defined by user etc.). The measurement results are represented in detailed/summary reports. Latest Version: 2.10 -
13
JCLILIB
A Java 7 library for parsing command lines.
...Keys may optionally be repeated with multiple arguments. Values may be specified as String, Boolean, Integer, Long or Double. Unused arguments are returned in an array of strings. A static method is provided to parse arguments with glob-style wildcards (such as "*.bak") and return all matching files. -
14
-
15
libpop3
a lightweight ANSI C library for handling POP3 mailboxes
...libpop3 is written in pure ANSI C89 without any external dependencies, thus it can be compiled and used on anything, anywhere. Since it is very light, it is designed to be used as a static library (but you could just as well incorporate its code right into your project). -
16
Anduin
A scripting language for industrial software
Anduin aims to replace perl, python, tcl, and others as the workhorse language in industrial programming projects. It places emphasis on enabling the interpreter to perform compile-time static code analysis as a means of closing the development loop faster and letting fewer bugs get to the user. -
17
plato
JavaScript code visualization, static analysis, and complexity tool
plato is a JavaScript source code visualization, static analysis, and complexity tool. Visualize JavaScript source complexity with plato. -
18
libnifty
Nifty pthread modules for C programs
...libnifty modules are based on a common core that implements reference-counted objects that are accessible via handle-based APIs. This core is extensible in object-oriented style via single inheritance, with strong static type checking and runtime type checking. -
19
Linux Kernel Programming IDE (LinK+)
A Simple 'IDE'A for Linux Kernel Developers
LinK+ IDE is a simple IDE for Linux Kernel Developers and Lovers. It is based on Eclipse IDE customized for Linux kernel programming. It reduces the development time and executes code in an elegant fashion. This IDE supports Linux kernel configuration, compilation & emulation, system call development and device driver development. LinK+ IDE includes various templates in the category of character, block and network device driver subsystems for device driver development. It includes... -
20
DummyXmlParser
Java XML parser / binder
...Code sample: import javax.xml.bind.annotation.XmlElement; import dummyxmlparser.XmlBinder; public class Foo { @XmlElement public String counter; public static void main(String[] args) throws Exception{ Foo foo= XmlBinder.fromXml(Foo.class, "<Foo><counter>42</counter></Foo>"); assert foo.counter.equals("42"); } } -
21
...It has been optimized for speed and memory utilization. Developers can use the API to query all IP2Location™ binary databases for applications written in C or supporting static/dynamic library.
-
22
YSignalSlot
Header only c++ signal slot mechanism implemantation
... - If slot which emitted is disabled or its return type is void, “emit” function returns “NULL” pointer. - It works with member slot functions. - It uses meta programming methods for “static for loop” and “static if”. - Signals can be used nested. - Receivers can be “this” pointer. - It is free and LGPL licensed. - It uses C++11 features. -
23
Dashing
Dashboard framework in Ruby and Coffeescript
...Dashboards, one .erb file for each dashboard that contains the layout for the widgets. Jobs, your ruby jobs for fetching data (e.g for calling third party APIs like twitter). Lib, optional ruby files to help out your jobs. Public, static files that you want to serve. A good place for a favicon or a custom 404 page. Widgets, all the html/css/coffee for individual widgets. Widgets use batman bindings in order to update their contents. Whenever the data changes, the DOM will automatically reflect the changes. Dashing uses gridster.js to create a layout for your widgets. ... -
24
AdLint
Open source and free source code static analyzer
AdLint is a source code static analyzer. It can point out insecure or nonportable code fragments, and can measure various quality metrics of the source code. It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly ISO C99. AdLint is written in Ruby. So, it is available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms supported by Ruby. -
25
ESSPEE - Penetration Testing & Forensics
(Android Forensics & Malware Analysis Included)
ESSPEE - Extreme Security Scanning Penetration testing & Exploitation Environment Ubuntu 12.04 LTS (Precise Pangolin) is purposefully selected as the base Operating System to obtain supports from Ubuntu for a long duration (till Apr 2017). It is packed with featured security tools with very less resource consumption and higher degree of stability. Thanks to Back Track, Blackbuntu, CAINE and DEFT and many others for inspiration. Being a sole developer to this distro, I wish it...
