Search Results for "definitions"

Ox is an attribute grammar compiling system that augments Lex and Yacc specifications with definitions of synthesized and inherited attributes written in a combination of Ox and C/C++ syntax. From these augmented specifications, Ox generates ordinary Lex and Yacc specifications that build and decorate attributed parse trees. The user can specify parse-tree traversals for easy ordering of side effects such as code generation.

This extension uses not only smartctl (smartmontools) but other available tools to determine the existance of an HDD and as much as possible of its status. As a Zabbix "auto-discovery" process, these results can reflect changes in available HDD in near-to-real-time.

...Designed for Unix / Linux systems, using a National Instruments GPIB board. There are programs * 'vna' to save Touchstone files. * 'calkit' to upload calibration kit definitions to the VNA, including the properties of the shorts, opens and thrus. This is alpha software, and has little documentation. Contact the author, Dr. David Kirkby at https://www.kirkbymicrowave.co.uk/ drkirkby@kirkbymicrowave.co.uk for help.

This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.

The OVAL Interpreter is a freely available reference implementation that demonstrates the evaluation of OVAL Definitions. Based on a set of OVAL Definitions the interpreter collects system information, evaluates it, and generates a detailed OVAL Results file. Developed to demonstrate the usability of OVAL Definitions and to ensure correct syntax and adherence to the OVAL Schemas by definition writers, it is not a fully functional scanning tool nor an enterprise scanning tool. ...

Please note that the OVAL Test Content has been migrated to GitHub. You may now find the latest version of the OVAL Test Content at https://github.com/OVALProject/Test-Content. The OVAL Test Content is a set of OVAL Definitions that provides a simple way to test the capability of OVAL Definition Evaluators. After running the OVAL Test Content through an OVAL Definition Evaluator, the OVAL Results will show the user which tests are properly supported by that tool. This allows users to perform unit testing of tools against the OVAL Language. Over time, the OVAL Test Content will cover the basic behavior of all tests and capabilities in the OVAL Language.

DBOW is a database compiler-compiler or front-end. It takes table definitions in a relatively high-level language and prepares C, C++, PHP, Perl (etc) functions for manipulating the database. It will also produce SQL table data for MySQL.

Form4j is a java package to handle interactive GUI Forms for Java (Swing) Clients. Data and Form Definitions are XML based. Primary Purpose: Forms for Java Clients in an XML Environment.

Type-safe Java/C# messaging framework for TIBCO/ActiveMQ JMS, TIBCO/RV, etc. protocols. Generates Java/C# classes from XML definitions - field-level constraints, complex field types (arrays, hashtables, nested message objects) are fully supported.

ABIcheck is a tool for checking an application's compliance with a library's defined Application Binary Interface (ABI). It relies on ABI definition information contained in the library. Example definitions are given for GNOME and glibc.

Onaima is a Wiki Clone intended for storytelling - from geneological histories to process definitions - and to facilitate my own path to the Wiki way. Grafted from Dolphin Wiki, with constant refactoring.