Search Results for "flow based programming"

...MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.

The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

This project is for homebrew console development tools based on the gnu compiler collection with additional tools and libraries to aid programming each supported console. The windows variants are built with MinGW.

XTCC/Qscript revolves around two concepts: 1) Data collection : Qscript 2) Data analysis : XTCC Qscript enables Market Research companies to securely collect data using online and offline mediums such as web, tablets/mobile. Different products include: 1) Pen and Paper Survey Management Qscript enables faster and easier keyboard entry with real time logic and validation. It generates SPSS and IBM Quantum compatible data tabulation programs leading to significant time savings of up...

ferite is a modern, lighweight, portable, threadsafe scripting engine with a language that is very easy to pick up and leverage for any task. It\'s been designed for rapid deployment in other programs as well as stand alone use.

The XPS is a scalable platform for meta-programming and domain engineering. It provides a virtual machine, compiler, and runtime library that make it possible to efficiently develop, debug, and run programs based on XPL (eXtensible Programming Language)

LLVM is a unique compiler infrastructure designed for the optimization of programs from arbitrary programming languages. Compilation in C and C++ programs is supported using a parser based on GCC 3.4. Backends exist for X86, Sparc, PowerPC and "C".

A full development kit, based on XSCompiler. Multi-platform compiler and IDE, many libraries and examples. Uses an innovative programming language, an improved version of the standard and well-known C/C++.

Butterfly programming language. A bytecode compiled scriping language. Bytecode architecture with separate compiler and interpreter/disassembler. Platform-independant bytecode based stackmchine, which has a fine arithmitical/raw-computing performance. B

Open SPHiNX C-- Compiler is a set of compiler and libraries based on the "SPHiNX C--" programming language created by Peter Cellik.

XPL is the eXtensible Programming Language. XPL is an application of XML for interchange of computer programs.