Search Results for "llama-cpp-static"

== This project has been renamed to slang-lang/slang and moved to Github. == ObjectiveScript is an object orientated scripting language that tries to combine the speed of scripting with an object orientated syntax similar to Java and C++. The language offers native data types like bool, double, float, int and string as well as user defined object types and a system library with data types similar to the Java boxed types like Integer and String. Collections like List, Map, etc. can be used...

...It is designed to allow developers to embed Ruby-based scripting into applications such as emulators or other performance-sensitive software, providing flexibility without sacrificing efficiency. By leveraging mruby, emruby enables dynamic behavior, configuration, and extensibility within otherwise static systems. The project focuses on bridging native C or C++ environments with a scripting layer that can be used to control logic, automate workflows, or prototype features. It is particularly useful in contexts where traditional scripting languages would be too heavy or resource-intensive. The integration emphasizes minimal overhead and tight coupling with host applications, ensuring smooth execution within constrained environments.

...Terminal-BASIC: * suports real numbers, multidimensional arrays and Darthmouth BASIC-style matrix operations; * written in C++11; * has modular structure (can save uc storage, instantiating only used modules); * works through different i/o devices, using vt100 commands; * on systems with multiple i/O devices can work as simple time-sharing system; * static Linux build for playing and debug;

...Version without WebGL, and just as one file (+ include examples in text file): https://sourceforge.net/projects/karel-3d/ C++ version: https://sourceforge.net/projects/karel-3d-cpp/

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.

...Karel 3D from Version 8 is different from other Karels, can bulid a Bridges. WebGL version: https://sourceforge.net/projects/karel-3d-webgl/ C++ version: https://sourceforge.net/projects/karel-3d-cpp/

A general purpose, object-oriented script language that compiles into code for a register based virtual machine. The language is quite similar to object-oriented high-level languages like Java and C#. The library is entirely self-sufficient and ANSI C compliant. It's main purpose is to be embedded in any application to allow automation of that application through scripting. An integrated C++ binding code generator allows you to create bindings for your application's classes in seconds....

Avrora is a suite of tools for analyzing and debugging programs for AVR microcontrollers. It has support for a sensor platforms such as Mica2 and MicaZ, allowing wireless network simulation and allows dynamic instrumentation and static analysis.

METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.

Lienzo is a gtk-Canvas and Lua program to work in geometry. Unlike others like Cinderella, Cabri, DrGeo, etc... this one focuses in algorithms, not in static figures. the lua interface allows to work with programable objects.

RBML is similar to XML or ASP. It is a server-side tool for either generating static HTML pages or dynamic pages as CGI-BIN scripts. RBML is a macro expansion language. Text from the input file is written to the output file unmodified unless it is enclo

A static analyzer for Java programs that checks for design guidelines. The project is adopted from PDL (http://portal.acm.org/citation.cfm?id=1218571).

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.