Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
Jostraca is a general purpose code generation toolkit for software developers, using a syntax similar to JSP. Jostraca can be extended to generate code in any language, using any language, while placing no restrictions on software design.
The MCLA Robotics project comprises a Java based platform for robotics application development. It is being developed by the physics department at the Massachusetts College of Liberal Arts in North Adams, Massachusetts.
PileWorks provides the organizational structure for coordinating several different projects which approach some aspect of Pile Technology. PileWorks defines a set of interfaces and implements some basic infrastructure for Pile engines and agents.
A framework in which IHE's XDS, ATNA, CT and PIX profiles work together. ATNA, CT and PIX Profiles are implemented and the open source implementation of IHE XDS Registry and Repository http://sourceforge.net/projects/iheos is customized.
The goal of the Jupiter project is to investigate scalable Java Virtual Machine (JVM) architectures. Jupiter is released under GPL, A modified version of GNU Classpath is used under GPL with Exceptions http://www.gnu.org/software/classpath/license.html
Powerful PHP IDE/Editor. Automatically generates code for your scripts, based on our own PHP Framework. Can create projects, full class/function breakdown. Supports PHP 5x. Under active alpha development (as of Feb 06), subversion repository for latest.
This profiler (JRE 1.5.0 only) uses JVMTI and native bytecode instrumentation for the analysis of the heap, reachable objects, execution time, garbage collection efficiency, code coverage and thread contention. No preparation steps required in build.
ctypes is a Java library allowing one to create and manipulate C data types in Java. These can then be passed to C-functions loaded from dynamic link libraries. This is based on the ctypes python module.
The treexpr library is a Free Software library that applies regular expression concepts to tree structures. It it written in C and has a JNI binding to Java.
CCCC is a tool which analyzes C++ and Java files and generates a report
on various metrics of the code. Metrics supported include lines of code, McCabe's
complexity and metrics proposed by Chidamber&Kemerer and Henry&Kafura.
This was originally an OSdev group, but since as members disbanded, I'm continuing to provide various implemenatitions of software, hardware, operating systems, libraries, and some stuff related to math and physics.
The Lazybones project is a server and a collection of clients. It allows one person to voice control multiple machines. Designed for software developers and sys admins, Lazybones speeds up redundant and/or complex tasks.
Sakura is a Knowledge Navigator and User Interface for UNIX, which implements HyperMedia and its own windowing and packing system, both in the main program and in an extensive API for Tcl and other languages.
LMY image codec and tools for small, 16-bit (or higher) displays on devices with limited resources. Image file size and quality rival GIF, PNG, and JPEG, but decompression is much less complex. Used commercially by Lower Mars. C/C++ and Java/j2ME include
CANNOT - Coyote Annotation.
This framework was developed in JAVA and its API's facilitates to the reuse of code and the sharing of information through to the architecture in layers and standard ISO MPEG-7 used for the Digital Video Content Annotations..
JC is a Java virtual machine implementation that converts class files into C source files using the Soot Java bytecode analysis framework, compiles them with GCC, and loads them using a built-in ELF object loader. JC uses GNU Classpath's class library.
GrubC is a platform independent C/C++ graphic and GUI library with an object-oriented approach based on a Java Virtual Machine. By now AWT GUI functionality, 2D drawing and turtle graphic is supported.
The Network Security Response Framework (NSRF) allows for testing different computer security response engines and methodologies. It supports simulated and real: Intrusion Detection Systems (sensors), Attacks, and Responses.
CAMA (Context-Aware Mobile Agents) is a middleware for supporting mobile agents coordination. It is based on Linda-style coordination and provides numerous extentions for interoperability and fault-tolerance. It supports portable platforms such as PDAs.
JPortForwarder Project
JPortForwarder is a multithreaded TCP Port Forwarder application.
The following feature have been developed:
- Generic TCP Port Forwarging. Listen for a port and forward to an ip:port.
- Multihoming TCP Port Forwarding.