Search Results for "llama-cpp-static"

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. ...

Dynamic and static analysis with Sandboxie for Windows, including EDR, ClamAV, YARA-X, custom machine learning AI, behavioral analysis, NLP-based detection, website signatures, Ghidra, Suricata, Sigma, and much more than you can imagine

cowbel is a minimalist experimental programming language. It features strict types, static compilation into real machine code (via C), an object oriented system based on interfaces and composition, generics, no null, and a global garbage collector. It is intended to produce fast, tight code for use in systems programming, and to show that you don't need a complex language to be expressive and usable. We've moved! Go to http://cowlark.com/cowbel instead.

Tsunami is an open-source high performance computing language. With it you can write streaming data-parallel algorithms that utilize GPGPUs for orders-of-magnitude speed-up with the ease of writing sequential algorithms.

Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.

Picture Gallery viewable with HTML web browsers. All dynamics is implemented at client-side in JavaScript. This approach is useful when the server side is able to provide only static contents, or if the gallery is stored on CDROM or other media.

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).

Description language based on XSD and rules stored in a centralized directory intend to allow development of applications from static descriptions.