JPE
JPE - is a partial evaluator for Java programs.
|
TermWare
TermWare is Term Processing System, which is to be embedded into Java applications.
|
| |
UAKGQuery
UAKGQQuery is a CORBA service for database access.
|
JavaChecker
JavaChecker - static analyzer of Java source code, based on TermWare technology.
|
| |
CASL
CASL - Cbroker Application Server Library.
|
ModCBroker
ModCBroker -WWW front-end for CORBA application.
|
| |
HostProcControl
HostProcControl - CORBA service, which represents OS remote control API.
|
GradC++ToolBox
GradC++ToolBox - C++ component set
|
| |
YaYacc
YaYacc - Yet Another Yacc
|
PIMR
PPIMR is abbreviation for Portable Implementation Repository.
|
| |
Matrix
Matrix software for generation of random signed sequences and associated data for usage in different applications, such as preaid card generators or e-commerce solutions.
|
|