Implementation of Combinatory Reduction Systems (CRS) with experimental extensions, in Java. CRS is a formalism for higher-order rewriting invented by J.W.Klop in 1980. For further details see the Project/Web Site.
New Linux Based OS primarily for smart devices and PDA's, laptops, and eventually desktops. It offers an alternative to the "embedded" approach. All OS versions and applications will be hosted and then made available to the subscribers of cloud svs
Eclipse-based plugin for HRT-HOOD and HRT-UML design for Hard Real Time Systems
TM stands for TranslationManager. TM/2 originates from IBM TranslationManager/2 tool and is now available to the open source community. TM/2 is a computer-assisted translation system for translators. See http://www.opentm2.org for more information.
Accelerated Open-Source Neuromorphic Computing
///////// NOTICE We have migrated to GitHub: https://petavision.github.io To clone an updated repository of the PetaVision codebase, please go to our page on GitHub. ///////// PetaVision is an open source, object oriented neural simulation toolbox optimized for high-performance multi-core, multi-node computer architectures. PetaVision is intended for computational neuroscientists who seek to apply neuromorphic models to hard signal processing problems; both to improve on the performance of existing algorithms and/or to gain insight into the computational mechanisms underlying biological neural processing. Installation instructions and documentation is available at <https://petavision.github.io/doxygen/index.html>. Additional information on the project and its members can be found on our home page at <https://petavision.github.io/>. Please report any bugs to: pv_debug at rfd.newmexicoconsortium.org
Real time micro benchmark multi-lingual suite (RTMB) provides a good way to measure the deterministic quality of hardware, an operating system, or a Java Virtual Machine. RTMB consists of benchmarks in C, C++ and Java
An XOCL (ECore + OCL) based implementation of the Gurevich ASMs
XASM and XOCL consolidate the mathematical language ASM and imperative extensions to the OMG standard OCL. In XOCL we now have update annotations, which allow to create with OCL one set of updates. We consequently will create a prototype of XASM as a language that allows to calculate XASM Style fix points over updates. It will have the same language design as the original XASM by Matthias Anlauff
Yali is "Yet Another LCN Interface". "Local Control Network" (LCN) is a building control and automation system, a trademark of Issendorff GmbH. Yali opens the door for MAC and Linux users to control their LCN installation via LAN.
Collect readings of Smart Meters for mailing and processing.
This project enables you to collect readings from smart meters using an inexpensive mobile device built on open hardware, process and store the readings and bulk-mail the corresponding owners about the current readings.
The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.
Soco is a distributed social software which based on the eclipse and P2P technique. Seco will facilitate the communication of people. Based on this platform, people can share file, BBS, chat, send email,play games, make friends and so on.