Search Results for "simulation model library"

The Rust Programming Language is a language that empowers you to build reliable and efficient software. It runs blazingly fast and is memory-efficient, so it can power performance-critical services and run on embedded devices. It has a rich type system and ownership model, ensuring both thread and memory safety. Consisting of a standard library, great documentation and a friendly compiler, plus a top-notch build tool, package manager, auto-formatter and many other great tools, it’s the language of choice for increased productivity. Hundreds of companies the world over are using Rust to power an amazing range of cross-platform solutions. ...

Important: Groimp migrates to Gitlab. You can find the latest code at "https://gitlab.com/grogra/groimp/". The version on Sourceforge will not be updated anymore. The modelling platform GroIMP is designed as an integrated platform which incorporates modelling, visualisation and interaction. It exhibits several features which makes itself suitable for the field of biological or ALife modelling: The “modelling backbone” consists in the language XL. It is fully integrated, e.g., the...

An Open Source IEC 61131-3 Integrated Development Environment, providing PLCOpen SoftPLC programming, CanOpen IO's, and SVG based HMI.

Grumpy is a Python-to-Go transcompiler and runtime designed as a near drop-in replacement for CPython 2.7 that compiles Python source to Go, then to native code. Instead of executing Python bytecode in a VM, Grumpy translates modules into Go code that calls a Go runtime library emulating Python semantics, which can yield performance and deployment benefits in Go ecosystems. The approach integrates with Go’s toolchain, enabling static binaries and potentially easier distribution in...

xSTreamC is a streaming language developed by STMicroelectronics to support the mapping of data intensive streaming applications on distributed multiprocessor SoCs. A compiler and a simulation library are provided.

THIS REPOSITORY IS DEPRECATED. Please use the Heptapod repository instead: https://foss.heptapod.net/zilf/zilf ZILF is a set of tools for working with the ZIL interactive fiction language, including a compiler, assembler, disassembler, and game library.

RECODER is a Java framework for Java program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references, and it supports transformation rollbacks and incremental model updates.

The SuperWikia Alpha 1.0 application is an IDE specifically developed for 3D and graphic content. Its built upon the Unity foundation and incorporates various libraries from Komodo IDE, wxDevC++, CodeBlocks, QT Creator and other applications. Its Realtime purpose is an IDE (codesmith developer access), its Runtime (U/I) function is as a space building simulator, operating in conjunction with the SuperWikia 'Navigator' user interface to simulate space economics and fleet operations. It...

This library assembles machine instructions (e.g. x86-64) represented as managed .NET objects. It provides an intuitive object model that can be manipulated and emitted to various object file formats (e.g. bin, elf) from C# and other .NET languages.

pyxser stands for python xml serialization and is a python object to XML serializer that validates every XML deserialization against the pyxser 1.0 XML Schema. pyxser is written entirely in C as a python extension.

Mixed Analog/Digital Simulator framework - parser and elaborator for Verilog and Verilog-AMS, and an extended C++ (ParC - http://parallel.cc) to be used as the simulation engine.

Compose* is a project that aims at enhancing the modularization capabilities of component- and object-based programming. In particular, Compose* offers aspect-oriented programming through the composition filters model.

A data parallel scientific programming model. Compiles efficiently to different platforms like distributed memory (MPI), shared memory multi-processor (pthreads), Cell BE processor, Nvidia Cuda, SIMD vectorization (SSE, Altivec), and sequential C++ code.

A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.

"TemplateMaschine" is a tool which processes templates with an ASP.NET like syntax written in C#. It's perfectly suitable for Model Driven Software Development (like MDA) and can be used for a variety of applications of code generation.

An implementation of the Model-View-Controller (MVC) design pattern based on the Jakarta Struts Framework. Includes a core library (Horizon), a servlet container (Stratus), and a Server Pages Engine (Phase). Resembles the J2EE web container environment.

EGG is a development tool for fast and easy realization of XML to plain-text tranformations. It's similar to XSLT, Velocity or JSP but emphasises source-code generation in a model-driven, generative development-process. For Windows or Unix with Java.

Kew is a small and simple programming object-oriented language that offers as many advanced features as possible, including reflection, powerful collections and streams APIs, closure-forming blocks, a full security model, a packaging system and more.

This project is an attempt to design strongly typed langauge like C# or Java using capability security model. This is an reseach project. This project is also a temporary home for async-objects projects which is prototype of classes for asynchronous inte

JEC is a Java Expression Compiler library (a JAR) that allows bidirectional expression evaluation and assignation (like book.pages[selectedPage].text). It was designed for mapping HTTP parameters to class fields in the model for a Java web controller.

Recoder.C# is a Java framework for C# program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references and supports transformation rollbacks and incremental model updates.

Quint is an executable specification language with delightful tooling, designed for distributed systems and based on the temporal logic of actions (TLA). Write specifications you can run, simulate, and verify, so subtle bugs get caught before reaching production. Quint is open source (Apache 2.0) and developed by Informal Systems. Source code and documentation live on GitHub and quint.sh.