Racket (formerly PLT Scheme) is a programming language suitable for implementation tasks ranging from scripting to application development, including GUIs, Web services, etc. It includes the DrRacket programming environment, a virtual machine with a just-in-time compiler, tools for creating stand-alone executables, the Racket Web server, extensive libraries, documentation for both beginners and experts, and more. It supports the creation of new programming languages through a rich, expressive syntax system. Example languages include Typed Racket, ACL2, FrTime, and Lazy Racket.
MIB Smithy is an application for SNMP and COPS developers, MIB and PIB designers, and Internet-draft authors. It provides a GUI-based environment for designing, editing, and compiling MIB and PIB modules according to the SMIv1, SMIv2, and COPS-PR-SPPI standards. It accelerates the development process by providing an easy-to-use GUI-based environment for developing the specifications without the syntax and formatting concerns of editing the modules by hand. It includes a number of built-in basic SNMP management tools, XML support, and (with MIB Smithy Professional) support for custom compiler output formats.
MIB Smithy SDK is a dynamic extension to Tcl/Tk (8.4+) that allows development of custom scripts for controlling SNMP agents, manipulating SMI definitions, doing conversions, and more. It is based on the core of Muonics' MIB Smithy, and the SDK supports SMIv1 and SMIv2, as well as SNMPv1/v2c/v3 with HMAC-SHA-96 and HMAC-MD5-96 authentication and DES/CBC and AES128/CFB privacy. It also provides complete read-write access to all elements of SMI/MIB Module definitions, unlike similar extensions that provide only read access to a limited subset. The SDK allows multiple discrete SMI databases and SNMP sessions, and provides all of the built-in validation and error recovery capabilites of the full product, without the visual MIB development environment.
Excelsior JET is a Java VM enhanced with an Ahead-Of-Time (AOT) compiler and deployment toolkit. It is certified Java Compatible on Windows and Linux on Intel x86 hardware. The 64-bit version is in the works. Excelsior JET Optimizer transforms your classes and JARs into high-performance binary executables. Excelsior JET Runtime includes a licensed Sun implementation of the Java API and Excelsior's proprietary JVM, which is responsible for Java memory management, threading, synchronization, security, and JIT compilation of classes that could not be precompiled. The Excelsior JET Installation Toolkit makes it possible to prepare your optimized application for deployment to end-user systems.
coNCePTuaL is a domain-specific programming language for rapidly generating programs that measure the performance and/or test the correctness of networks and network protocol layers. A few lines of coNCePTuaL code can produce programs that would take significantly more effort to write in a conventional programming language.
The XDS product line facilitates software development in the Modula-2 and Oberon-2 languages. It includes native compilers for Intel x86 and "via C" cross-compilers that produce ANSI C source, allowing you to target virtually any platform. The TopSpeed Compatibility Pack add-on aids porting programs written in the TopSpeed Modula-2 dialect to XDS.