Search Results for "java-legacy" - Page 12

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.

The Framebuffer Character Generator is written in Java an it produces C code for embedded systems! This tool converts any system font to a usable format for a pixel based framebuffer or another embedded pixel based lcd controller.

Tpl makes it easy to serialize your C data using just a handful of API functions. The data is stored in its native binary form for maximum efficiency. C, Perl and XML supported. Data is portable across CPU types and OS's from Unix to Mac to Windows.

Thank you for your interest in Speedy Composer. Speedy Composer is an automated application for composing melodies for Speedy Net members. We recently made changes to the source code of Speedy Net, and converted it into the Python language and Django framework. Since Speedy Composer was originally written in PHP, it is not adapted to work with Speedy Net in its current form. So unfortunately we were forced to temporarily close the app Speedy Composer. But don't worry, we kept backups of all...

Avis is a multicast event bus. It provides a fast, publish/subscribe event routing service compatible with the commercial Elvin implementation developed by Mantara Software.

DKU is an embedded parallel language, or "piggy-back" language that uses function calls to invoke the language's execution model. It tunes task-size to the hardware while hiding hardware details for high performance portability of parallel code.

A suite of source and binary programs to test the capabilities of code analysis tools. A reference implementation of x86 binary analysis in C# is also included.

UGL is Java to OpenGL adapter library: designed to be used in scientific applications; works on wide range of host systems: Windows, Linux, Solaris, AIX, IRIX, HP-UX and Mac OS X; supports Java from 1.1.8 to 1.6

...The package-item can be written in any language that is supported by the Programming-Language-Micro-Kernel support. It even supports running multiple programming languages in a single piece of software. Supported Languages are: (C,C++,C#,VB.NET,Java,Python,Ruby,Perl,PHP,Tcl or GO) > Strategy: It takes 4 years to write a programming-language, but it only takes 4 weeks to insert a micro-kernel. The package-item is connected to one another via a pipe or a socket and is based on packets .

Java OpenCL Process Virtual Machine. Spring IoC based framework for complex data analysis with OpenCL computing.

C/C++/Java XML parsers benchmarking toolset. Supported parsers: LibXML2, Xerces, Oracle XDK, Expat, RXP, QT, Sun Crismon. Benchmark Fields: Parsing (Native,SAX,DOM), DOM Manipulation, Schema Validation, XSL Transformation, XML Signature & Encryption.

A fully customizable, extensible, scalable computational engine pluggable with various statistical and mathematical engines (R, Matlab, Octave, scilab...) The main focus and datatype considered is timeseries: the project contains also a portable and effi

This software is a Bluetooth software to do some remote Bluetooth operations (via a j2me enable device mobile) like lock/unlock/power off computer, control Winamp (play/pause/id3 info,etc) and it´s in constant development at the moment.

The ANA Project aims at exploring novel ways of organizing and using networks beyond legacy Internet technology.

Jina, A tiny web server for embedded Application written in Java

An implementation of "k-Way Merging" as described in "Fundamentals of Data Structures" by Horowitz/Sahni. NOTE: This project has been moved to http://code.google.com/p/kway/

Log4Cocoa is an Objective-C based port of the popular Java based logging package Log4J. Additionally, Log4Cocoa plans to provide pure C based bindings as well. Log4Cocoa is not affiliated with the Apache Jakarta project in any way.

Survey coffeeBeans are Swing based JavaBeans for easy component based MVC application development

Eclipse Plugin to generate code. Comments within your source files are used to control the generator scripts (BSH, JS). They can insert code after the comment or in separate files. On change of the comment the code is updated automatically.

The CoreLibrary is a multiplatform object library for C++ (Linux, Win32, MacOSX, PocketPC). It provides many of the common objects found in Java (Strings, Threads, Collections, etc.) and has the ability to send objects across the network like CORBA.

Cheetah is a template engine and code generation tool, written in Python. Web development is its principle use, but Cheetah is very flexible and is also being used to generate C++ game code, Java, sql, form emails and even Python code.

An implementation of the Open Group's Application Response Measurement (ARM) Version 4 standard. The ARM standard describes a means of breaking an application down into it's constituent transactions, and measuring response time across multiple tiers.

SuperWaba is a Virtual Machine for handhelds. Runs in PalmOS, Windows CE, Win32, and is fully emulated under JDK/browser. Supports Exceptions, has a complete set of UI controls (Palm/WinCE), double and long, grayscale/color, sockets/serial/IR/Bluetooth

The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.

ECB is a file/code browser for Emacs. It can be used to browse any type of file and supports parsing of Java, C, C++, Elisp and some other code like perl, TeX, LaTeX. All browsing windows are within one frame and they are deletion-protected (eg by C-x 1)