RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
ooc is an object-oriented programming language which is implemented with a source-to-source translator to pure C99. It supports classes, abstract functions, foreach, ranges, etc. It intends to be modern, modular, extensible, yet simple and fast.
Frag is a dynamic programming language, specifically designed for being a tailorable language, building Domain-Specific Languages (DSLs), supporting Model-driven Software Development, and for being easily embeddable in Java.
Property/configuration mechanism for high-performance C++ applications. Similar to but more flexible than Java properties. Property settings provide type safety, expressive error messages and full-featured expressions. Based on the Lua language.
Daileon (Domain Annotations Identifier and LEgacy annOtations arraNger) provides mechanisms for applications to implement domain annotations specifically using the Javalanguage.
Tepal was originally going to become an uber OO language, but during my tinkering I feel that it would be more appropriate for Tepal to become more of a meta language, allowing you to describe common development tasks in a simplified and common way.
Water: a fast, secure, dynamic OO language and database. Water is an all-purpose language (and meta-language) that runs Web applications in the browser or server-side. Water is compatible with .NET, Java, and C on Windows, Linux and Mac OS X system.
J2SE implementation of the Dictionary Server Protocol (DICT) that allows a client to access dictionary definitions from a set of natural language dictionary databases.
Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/
An architecture description language (DiaSpec) supports the description of components of a given distributed computing area. From these descriptions, DiaGen generates a dedicated programming framework to support distributed application development.
CUAHSI water1flow web service 1.0 api provide programming interface for water1flow web services. Api will expose to .net, java, php, javascript etc programming language. Developed by Joe hu at MapWindow software lab,Idaho State University
This educational software simulates an Ad-hoc network with AODV algorithm, it uses a high level view and only works in Routing layer. it has a user-friendly graphical user interface and has been written in javalanguage.
Javy is concept dynamically typed programming language of Cezve Programming Language Infrastructure. Cezve provides creating customizable new programming languages as fast as possible.
BITXml is an open xml based protocol for Machine to Machine communications. BITXml is both language and "transport" agnostic and covers all the requirements of a generic M2M telemetry & control application. For more info www.bitxml.org
JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/
The Tree Processing Language allows the specification of an object oriented tree structure, with strong seperation of concerns, which can be compiled into a type safe class hierarchy implementing the tree.