Search Results for "model-builder"

Virtual T is a TRS-80 Model 100/102/200 emulator that runs on Windows, Linux, and Macintosh. The goal of Virtual T is to provide 100% hardware emulation so any existing programs will run. It also adds powerful development and debugging tools.

ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting.

...In fact, an Oberon program translated by Ofront+ can be expected to execute as fast and read as well as an equivalent hand-coded C program. Ofront+ is based on Ofront by Software Templ OEG. Here are two versions: 1. Ofront+ for Windows & Linux command line 2. Ofront+ for BlackBox Component Builder (runs as a subsystem)

FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. ...

...Interop is a core focus: Haskell functions can call into JavaScript and vice versa, making it feasible to combine Haskell logic with web APIs. Asterius aims to keep as much of Haskell’s runtime model as practical while delivering the portability and startup characteristics of Wasm. By bridging GHC and WebAssembly, it opens a path to reuse Haskell libraries on the client side without switching languages.

...It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and your thought processes with EiffelStudio. When ready to design, you build upon the model you just created, still with EiffelStudio. Then you implement with EiffelStudio. You never need to throw anything out and start over. You don’t need extra tools to go back and safely make changes in your architecture. ...

Freematics Arduino Builder is a fully standalone utility for viewing, compiling, configuring and uploading Arduino sketch or pre-compiled binary to Arduino board without need for any development environment setup. It currently supports AVR, ESP8266 and ESP32.

This project makes the compiler and tools for the Panini language available. A central goal of the Panini language is to make concurrent programming easier and less error-prone. The main new feature in Panini is called a capsule. A capsule is like an actor but better because it largely retains the traditional approach for reasoning about programs as a sequence of operations, abstracts away all details of thread creation and locking, and supports fully-automatic compile-time analysis of...

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.

Sisal is a unique parallel language that supports a clean, fully implicit parallelization model. The optimizing sisal compiler (sisalc) works on top of pthreads to give high performance on commodity SMP architectures.

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 nesC language was designed to support the TinyOS project. nesC provides several advantages over C: a component model based on bi-directional interfaces, whole-program compilation for performance and a simple concurrency model for embedded systems.

Model-based development environment for embedded projects. Features a clean and advanced language designed for embedded programming.

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.

Java Swing widgets and frameworks plus a UI builder.

A C/D/Java style programming language with built in support for concurrent programming (microthreads, actor model). It is implemented as a LLVM front end to allow for native X86 high performance code generation.

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.

MeMo (stands for Meta-Model) is planned as Generic Programming Language & IDE, as flexible & smart as it is possible for computer application, including adjustable syntax, algorithm reduction. Ideally, it has to contain AI for interacting with the user.

QVT-Parser parses QVT-Relations model-transformation specifications from textual syntax into EMF QVT-models. QVT defines a language for expressing model-to-model transformations. The parser is is built using ANTLR and EMF.

QVT-Rel2Op translates QVT-Relations model-transformation specifications to the imperative QVT Operational Mappings language. It is based on EMF, openArchitectureWare, ANTLR and the QVT-Parser project.

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.

The Java/RTR Project address the development of soft real-time code in Java, mainly using the RTR Model and the Java/RTR programming language. It uses the RTSJ specification as main API, and only works on plataforms that have support to it.

galsC is a compiler for a new language (based on nesC, which is based on C) to support the TinyGALS (Globally Asynchronous, Locally Synchronous) programming model. This compiler is designed to work with the TinyOS project.