Search Results for "llama-cpp-static"
Sort By:
Showing 50 open source projects for "llama-cpp-static"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
scriptc
TypeScript-to-Native Compiler
...A coverage command explains which statements compile statically and identifies unsupported constructs with precise diagnostics. Optional dynamic mode embeds QuickJS for npm dependencies and loosely typed code while validating values that cross into static code. The supported surface includes major language features, standard collections, many Node APIs, networking, TLS, fetch, streams, and asynchronous programming. Differential tests compare native output with Node.js, while sanitizer testing checks memory safety and documented divergences. -
2
TypeScript
Application-scale JavaScript
TypeScript is an open source programming language that is a typed superset of JavaScript. It adds optional static typing to JavaScript, which can support tools for large-scale JavaScript applications for any browser, host and OS. TypeScript compiles to clean, simple JavaScript, and uses existing JavaScript code and libraries. It also offers support for the latest and evolving JavaScript features, such as async functions and decorators. -
3
gluon
A static, type inferred and embeddable language written in Rust
Gluon is a static, type inferred and embeddable language written in Rust. Gluon is a small, statically-typed, functional programming language designed for application embedding. Static typing makes it easier to write safe and efficient interfaces between gluon and the host application. Type inference ensures that types rarely have to be written explicitly giving all the benefits of static types with none of the typing. -
4
Cython
The most widely used Python to C compiler
Cython is an optimizing static compiler for both the Python programming language and the extended Cython programming language (based on Pyrex). It makes writing C extensions for Python as easy as Python itself. Write Python code that calls back and forth from and to C or C++ code natively at any point. Easily tune readable Python code into plain C performance by adding static type declarations, also in Python syntax. -
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.
-
5
Webpack Encore
A simple but powerful API for processing and compiling assets
Symfony ships with a pure-JavaScript library, called Webpack Encore, that makes it a joy to work with CSS and JavaScript. You can use it, use something else, or create static CSS and JS files in your public/ directory directly and include them in your templates. Webpack Encore is a simpler way to integrate Webpack into your application. It wraps Webpack, giving you a clean & powerful API for bundling JavaScript modules, pre-processing CSS & JS, and compiling and minifying assets. Encore gives you a professional asset system that's a delight to use. ... -
6
Scala 2
Scala 2 compiler and standard library
Scala combines object-oriented and functional programming in one concise, high-level language. Scala's static types help avoid bugs in complex applications, and its JVM and JavaScript runtimes let you build high-performance systems with easy access to huge ecosystems of libraries. Scastie is Scala + sbt in your browser! You can use any version of Scala, or even alternate backends such as Dotty, Scala.js, Scala Native, and Typelevel Scala. -
7
The Ballerina programming language
The Ballerina Programming Language
Ballerina is an open-source programming language for the cloud that makes it easier to use, combine, and create network services. Network primitives in the language make it simpler to write services and run them in the cloud. Structural types with support for openness are used both for static typing within a program and for describing service interfaces. Type-safe, declarative processing of JSON, XML, and tabular data with language-integrated queries. Explicit error handling, static types, and concurrency safety, combined with a familiar, readable syntax make programs reliable and maintainable. Easy and efficient concurrency with sequence diagrams and language-managed threads without the complexity of asynchronous functions. ... -
8
ncc
Compile a Node.js project into a single file
...For testing and debugging, a file can be built into a temporary directory and executed with full source maps support. Some packages may need some extra options for ncc support in order to better work with the static analysis. See package-support.md for some common packages and their usage with ncc. -
9
Transcrypt
Python 3.7 to JavaScript compiler
...Also, code can be tested from the command prompt using stubs. Lightning-fast JavaScript 6 code: call caching, for-loop optimization, in-line JavaScript etc. Integrated static typechecking and minification at the tip of a command-line switch. Also runs on top of node.js. Extensive documentation with many code examples. Apache 2.0 license. Pip-install and go! Seamless integration with the universe of high-quality web-oriented JavaScript libraries, rather than the desktop-oriented Python ones. -
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
FMOCPP
Eclipse C/C++ MinGW MSYS2
The project aims to simplify the combined use of Eclipse, MinGW, and MSYS2 by providing a more accessible solution for preparing the development environment, compiling source code, and running C/C++ applications. In this way, students can focus on learning the fundamentals of programming, computational logic, and software solution development, while reducing the initial technical difficulties related to system paths, compilers, terminals, and dependencies. -
11
Gleam
A friendly language for building type-safe, scalable systems!
Gleam's powerful static type system helps find and prevent bugs at compile time, long before it reaches your users. It also serves as a productive refactoring tool, enabling programmers to confidently make large changes to unfamiliar code, quickly and with low risk. For problems, the type system can't solve (such as your server being hit by a bolt of lightning) the Erlang virtual machine provides well-tested mechanisms for gracefully handling failure. -
12
BSC
Bluespec Compiler (BSC)
BSC is the open source compiler toolchain for Bluespec SystemVerilog, a high-level, rule-based hardware design language. It translates Bluespec descriptions into synthesizable Verilog, letting developers bring typed, modular abstractions into mainstream FPGA/ASIC flows. The compiler performs scheduling of atomic rules, elaborates parameterized modules, and enforces interface contracts, producing predictable RTL that integrates with existing EDA tools. A companion simulator enables fast... -
13
Ow
Function argument validation for humans
Ow is a TypeScript-based JavaScript library for validating function arguments and other runtime values with expressive predicates. It complements static TypeScript checking by catching invalid data that reaches an application after compilation. Developers can validate strings, numbers, objects, arrays, and many other values through a readable chainable API. Built-in predicates cover common constraints, while custom validators can handle application-specific requirements. Failed checks produce descriptive errors intended to make debugging easier than relying on later runtime failures. ... -
14
roblox-ts
A TypeScript-to-Luau Compiler for Roblox
roblox-ts is an attempt to bridge the abilities of TypeScript to work in a Roblox environment. We break down your code into an abstract syntax tree and emit functionally similar structures in Luau so that the code behaves the same. -
15
GCCE4Symbian
Provide latest GNU toolchain for Symbian developers
Provides bleeding-edge GNU toolchain for Symbian. GCC still supports Symbian therefore project active. All thanks for me and my hard-work GCC still supports Symbian. Benefits: moderm libraries require new compiler features and languange standarts. More software will be coming to small old phones! Binutils and GDB stop support Symbian and last provided versions are 2.29.1 and 10.2 -
16
4tH compiler
A friendly Forth compiler with a little difference
4tH is a Forth compiler with a little difference. Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes... -
17
HydraDragonAntivirus
Open Source Antivirus/XDR for Windows operating system
Dynamic and static analysis with Real Time Malware Analysis with Antivirus for Windows, including open-source XDR (3 EDR projects), ClamAV, YARA-X, machine learning AI, behavioral analysis, Unpacker, Deobfuscator, Decompiler, website signatures, Ghidra, Suricata, Sigma, Kernel, Hypervisior based protection and much more than you can imagine. -
18
MoonLang is a lightweight static programming language built with C++ and LLVM, featuring dual syntax styles (`: end` and `{ }`). Supports Windows, Linux, macOS and embedded platforms (ARM/RISC-V/ESP32), compiles to only 15KB-300KB, build full-stack applications from MCU to desktop.
-
19
Gnu Tools
Unix Tools For Windows
CodeBlocks With A full development environment. Took a while but CodeBlocks is now upto speed and in sync with the current release version. New version of CodeBlocks supports XML based configuration, so users can do specialized compiler support if needed. Changed away from the old Msys in favor of Msys2 which has better support for a lot of things like miktex. Old package is still there if you still need it but wont be developed on anymore. Loads of modifications compared to the... -
20
build-FreshGCC-OldMinGW-w64
Automatic build of fresher gcc compiler and older MinGW-w64
Automatic build of fresher gcc compiler and older MinGW-w64. There are various kinds of build of GCC. For example, GCC 14.1.0 is built with shared option enabled, and some are static versions. -
21
pascal p5c
fast, portable Pascal compiler using gnu c as intermediate code
...This makes it very fast since it uses gcc to generate native code. p5c is multi platform - it is easy to get up and running since you only need gcc to start. Using gcc enables extra tools like a static analyser and code coverage analyser. Execution profiling described in the blog here -> https://sourceforge.net/p/pascal-p5c/blog/2017/07/how-to-use-profiling-to-speed-up-p5c-pascal-programs It extends p5 by adding arbitrary set limits and conformant arrays. The project also contains p5x - pascal with extensions to the standard pascal language (underscores allowed in identifiers, otherwise in case statement, constant expressions, etc) -
22
Ezapiya C++ IDE
Ezapiya C++ easy to use C,C++ IDE with GCC compiler and debugging. it
...Ezapiya C++ is very useful for beginners of C and C++ Language, its light wait and fast. Ezapiya C++ provides easy debugging facility for beginners of programming in C and C++. Why Use Ezapiya C/CPP IDE? Easy to use Ezaipya C++ is easy to use IDE for C and C++ programming language, it provide useful menu and toolbar with most of the it commands. Ezaipya C++ IDE give us GUI which is help full for managing multiple files. Lightweight Ezaipya C++ is lightweight it size is small compare to other IDE, also Ezaipya C++ compile and run program faster In build GCC Compiler Ezaipya C++ Come with GCC Compiler which is best and free compiler for C and C++ programming language. ... -
23
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. -
24
C++ Compiler for VS Code
C++ MinGW Compiler for VS Code
C++ Compiler for VS Code Its installation program that setup your computer to use VS Code text editor to program with C++ language. Inside vsc++.exe we have: - MinGW version - gcc version 9.2.0 (MinGW.org GCC-6.3.0-1) - vsc++ icon - 2 CMD commands that adds envirement variables for you - 2 VSCode exensions installation commands -
25
Dev-C++
Open Source C & C++ IDE for Windows
Dev-C++ is a full-featured Integrated Development Environment (IDE) for Win32. It uses GCC, Mingw or Cygwin as compiler and libraries set. It supports Windows 98, NT, 2000 & XP. This is the original Dev-C++ software as published by Colin Laplace and this repository is frozen to version 4.9.9.2. For more recent versions of Dev-C++, please check the following forks: - Embarcadero Dev-C++: https://sourceforge.net/projects/embarcadero-devcpp/ (last update: March 2021) - Orwell...
