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.
SMC takes a state machine stored in an .sm file and generates the state pattern classes in fourteen programming languages. Its features include default transitions, transition arguments, transition guards, push/pop transitions, and Entry/Exit actions. It requires Java SE 1.6 or better.
Redet is a tool for developing and executing regular expressions using any of more than 50 search programs, editors, and programming languages, intended both for developing regular expressions for use elsewhere and as a search tool in its own right. For each program in each locale, a palette showing the available constructs is provided. The properties of each program are determined by runtime tests, which guarantees that they will be correct for the program version and locale. Additional features include persistent history, extensive help, a variety of character entry tools, and the ability to change locale while running. Redet is highly configurable and fully supports Unicode.
Maria is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of Petri nets) as its modelling formalism. It is implemented as a pack of software tools that perform reachability analysis and check safety and liveness properties of distributed system models. The models can be constructed either by hand or automatically from other formalisms, such as the CCITT Specification and Description Language (SDL).
Elmer allows Python code to run from C or Tcl as if it was written in C or Tcl. Elmer generates "glue" code that embeds an interpreter for one type of language into an extension for another. Elmer allows function calls and various data types, both native and custom, to pass transparently between the two languages.
pgdiff compares the structures of two PostgreSQL databases and returns the differences as a sequence of SQL commands which can be fed to psql to transform the structure of the first to be identical to the second (analagous to diff and patch). There is an advanced Web interface that makes testing and exploration easy. Database schemas can come from live databases, SQL files, or direct input.
Clig uses a simple description file to create C-code to interprete the typical *NIX command line as well as an up-to-date usage-message and a manual page skeleton. It supports Flag, String, Int, Long, Float and Double types, with ranges, defaults, and more. The generated C-Code is ANSI but has been reported to work with C++. It is self contained code which does not depend on any library other than libc. Included is a TCL-only TCL-package to instrument your TCL scripts the same way as your C-programs.
Mktclapp is a tool for combining C/C++ code with Tcl/Tk to build a standalone executable that will run on machines without Tcl/Tk installed. Developers can use C/C++ for speed-critical code and Tcl/Tk for the user interface. The resulting sources will compile without change on both Unix and Windows98/NT. Embedded Tcl/Tk scripts can be shrouded so that they are unreadable by end users.