Search Results for "system linux" - Page 14

Zeta is the name of a project to create a virtual platform to port linux to.

A C++ port (a redesign implementation actually) of the CLIPS expert system . This will be done along the lines of the Java port Jess, but full CLIPS backwards compatability will be maintained (even to the API level where possible).

CCSH is provides a way of using C programs in the way you use shell scripts. This allows the user to only have to manage 1 file (the source file). This is also useful in heterogenious environments. The code is compiled upon execution. In the fu

Jint is an experimental scripting language for Java environments. It is itself based on Java and has many features commonly found in scripting languages.

OS for embedded and mobile devices based on tiny byte-code interpreter and FORTH language compiler (into platform-independent byte-code). In other word its smallest programming language realization works on any type computer with any OS

This provides an interactive, programmer-friendly interface to VMware's VProbes facility. VProbes is a safe, dynamic technology for instrumenting software running in virtual machines, and the software stack itself.

The goal of EnerWare is to design and create language primitives and/or extensions that enable the support and provision for energy awareness in resource-constrained systems such as embedded sensors and large-scale servers.

The main goal of BASIC foundry on SourceForge is to gather all developers that works something related to BASIC programming language in order to help creation of fast, stable, cross-platform, OPEN SOURCE BASIC compiler.

SHELLEY Software HardwarE Light LanguagE Yep !

shgen is a profile compile that allows for modular, automatic generation of shell environments. It is intended to permit system administrators to allow users to easily tailor their own shell environments. Designed for clusters and other multiuser systems.

Picode is the ultimate VHDL picode 16 to 32 bits controller. It is described in only one entity and is implementable in standard FPGAs. It has it own compiler. Picode is designed to take only one or two clock cycle duration per instruction.

Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about...

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.

PLCduino is an open hardware alternative for industrial and home automation. It uses the well known ATmega chips as main processor, the same used on Arduino. This means that PLCduino is code-compatible with all arduino sketches.

Le projet Atlantis est une collection de composants et de bibliothèques pour Lazarus. The Atlantis project is a collection of components and libraries for Lazarus.

What is a domain-specific language intended for constructing web services on top of ordinary web pages, or otherwise automate web-related tasks. Using a powerful pattern matching sublanguage, What strives to be for XML/HTML what Perl is for text analysis

libnaru is a library written in C that supports you to define a type system for a programming language. It is thought to be another lego piece beside lexical and syntax analysis in a compiler project.