Ports 搜索

DFUI curses frontend. Allows a DFUI backend (such as a system installer) to communicate with the user with an addressable text screen-oriented ('curses') user interface.

Rvi is an interface to RCS. It attempts to make the process of using RCS simpler by wrapping common RCS commands around an editor.

The RVM persistent VM library. The RVM library is used by the Coda distributed filesystem. Project contact information below. EMAIL: coda@cs.cmu.edu

AIFAD stands for --Automated Induction of Functions over Algebraic Datatypes-- and improves decision tree learning by supporting significantly more complex kinds of data. This allows users to more conveniently describe the data they want to have learnt, which can improve accuracy and complexity of resulting models.

C++/QT Editor with highlight, project management. Written with Qt V4

INTRODUCTION --- WHAT IS NOWEB, ANYWAY? noweb is a literate-programming tool like FunnelWEB or nuweb, only simpler. A noweb file contains program source code interleaved with documentation. When noweb is invoked, it writes the program source code to the output files mentioned in the noweb file, and it writes a TeX file for typeset documentation. noweb is designed to meet the needs of literate programmers while remaining as simple as possible. Its primary advantages are simplicity, extensibility, and language-independence. noweb works ``out of the box'' with any programming language, and supports TeX, latex, and HTML (Mosaic) back ends. A back end to support full hypertext or indexing takes about 250 lines; a simpler one can be written in 40 lines of awk. The primary sacrifice relative to WEB is that code is not prettyprinted. If you're brand new to literate programming, check out the FAQ for the USENET newsgroup comp.programming.literate. There are also some resources available through the noweb home page:

The SMV (Symbolic Model Verifier) system is a tool for checking finite state systems against specifications in the temporal logic CTL (Computational Tree Logic). One specifies the finite state system (finite automaton, Mealy machine, full adder circuit, ..) as a Kripke structure in the SMV language and provides specifications in CTL. The model checking algorithm allows to determine if the Kripke structure fulfills the specifications.

Pas2Dox is a pre-processor addon for the Doxygen documentation generator. This allows the production of advanced documentation from Delphi/Kylix.

PCCTS - The Purdue Compiler Construction Tool Set PCCTS is a set of public domain software tools designed to facilitate the implementation of compilers and other translation systems. These tools currently include antlr, and dlg. In many ways, PCCTS is similar to a highly integrated version of YACC [Joh78] and LEX [Les75]; where antlr (ANother Tool for Language Recognition) corresponds to YACC and dlg (DFA-based Lexical analyzer Generator) functions like LEX. However, PCCTS has many additional features which make it easier to use for a wider range of translation problems.

pcre++ is a wrapper class around the pcre library (Perl Compatible Regular Expressions)