Search Results for "programming c++ library"

...Although it is possible to interact with the library directly in C (that is what the adg-demo program is doing), the canvas is expected to be used from higher level languages, much in the same way as what done in the GNOME stack. Lua bindings based on LGI are already provided out of the box. The adg-lua project, downloadable from the "Files" section, provides Lua programs and demos that leverages these bindings.

Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.

An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.

Trad4 is a fully concurrent, thread safe, graph-based programming language that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk.

The software resents an executable specification language based on deterministic finite automata, this allows the user to perform tests of word recognition in the state machines that are defined by it. Moreover, it’s possible for the user to assign snippets of code to be executed every transition automaton, these snippets can be described in Lua or PHP programming language. To test that were conducted in the language, was developed a compiler that recognizes words and generates object code.

* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol

A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.

SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.

MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection

System Designer is a software framework for domain specific languages based on model-driven generative programming. DSPE is one of the development environment based on System Designer. Audio n-Genie is a specialization of DSPE for the audio domain.

CASE tool

The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.

The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducing the accidental cost of programming. http://github.com/h4ck3rm1k3/

ObjectBuilder is a C++ CASE tool (CASE, refactoring, documentation generator). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction.

KML is a knowledge base with support of logical modeling. Advanced model is used to represent knowledge as a set of statements similar to natural language sentences. This project hosts a set of model storage library and server (vrb-ols) and clients.

The fastest XML/HTML/XHTML tag parsing library, it is suitable in the case you don't need all the features of a complete tag parsing. Allows the most basic input from an XML source and can automatically parse doctype entites.

Generates and simulates realistic traffic patterns. Focuses on detailed zone model & simplistic characters living at designated zones. Easy-to-use plugin for city and traffic simulators. Demo uses Ogre 3D.

The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.

This project aims at providing Open Source tools for the development and the verification of SystemC/TLM (Transaction Level Modeling) IP models, and at promoting their use by embedded software developers on SoC (System-On-Chip).