Ports 搜索

SIVP stands for Scilab Image and Video Processing toolbox. SIVP intends to do image processing and video processing tasks. SIVP is meant to be a useful, efficient, and free image and video processing toolbox for Scilab.

STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. STP has been used in many research projects at Stanford, Berkeley, MIT, CMU and other universities. It is also being used at many companies such as NVIDIA, some startup companies, and by certain government agencies. The input to STP are formulas over the theory of bit-vectors and arrays (This theory captures most expressions from languages like C/C++/Java and Verilog), and the output of STP is a single bit of information that indicates whether the formula is satisfiable or not. If the input is satisfiable, then it also generates a variable assignment to satisfy the input formula.

The TiMBL software package is a fast, decision-tree-based implementation of k-nearest neighbor classification. The package includes the IB1, IB2, TRIBL, TRIBL2, and IGTree algorithms, and offers various weighting metrics.

CRlibm is an efficient and proven mathematical library, which provides implementations of the double-precision C99 standard elementary functions, correctly rounded in the four IEEE-754 rounding modes, and sufficiently efficient in average time, worst-case time, and memory consumption to replace existing libms transparently. The distribution includes extensive documentation with the proof of each function (currently more than 100 pages), as well as all the Maple scripts used to develop the functions. This makes this library an excellent tutorial on software elementary function development. CRlibm also includes a lightweight library for multiple precision, scslib (Software Carry Save Library). This library has been developed specifically to answer the needs of the CRlibm project: precision up to a few hundred bits, portability, compatibility with IEEE floating-point standards, performance comparable to or better than GMP, and a small footprint. It uses a data-structure which allows carry propagations to be avoided during multiple-precision multiplications, and supports addition, subtraction, multiplication, and conversions.

xgraph is a program that will help you draw graphs. It is pretty old (based on X11R3!) and required lots of hacks to make it compile. Tell me if it does something odd.

The program xspread is a public domain spreadsheet which runs under X Window system or ascii terminals. Xspread uses the X Window system if available or curses and term[cap/info] for ascii displays.

This is a fairly complete CPU identification utility. It has been tested on several Intel, AMD and Cyrix CPUs. If the Pentium III serial number misfeature is present and enabled, this program will display it.

Countrycodes is an ISO 3166 country code finder. It is mainly used to know the country a domain name belongs to. It also allows searching by 2 or 3 letters codes, country number and country name.

AnsiWeather is a Shell script for displaying the current weather conditions in your terminal, with support for ANSI colors and Unicode symbols. Weather data comes from the OpenWeatherMap free weather API.

This plugin puts a lock and shoot button on your GKrellM 2, It uses ImageMagick for screen capture and can be configured for your screen saver program. Known to work with either Xlock or xscreensaver.