399 projects tagged "Windows"
Updated 10 Jun 2011
Platform Independent Petri Net Editor
| Pop | 90.07 |
|---|---|
| Vit | 6.84 |
Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
Updated 18 Sep 2006
sfind
| Pop | 89.92 |
|---|---|
| Vit | 2.57 |
sfind is a highly portable and fully POSIX.1-2001 compliant implementation of the "find" utility. It implements features like "-ls" and "-exec program [argument ...] {} +" (the latter is the POSIX built in "xargs"). It has no limitations on path length. Directory loops caused by hard-linked directories are handled gracefully.
Updated 09 Jun 2006
libsmbios
| Pop | 89.54 |
|---|---|
| Vit | 2.82 |
Libsmbios is a cross-platform library intended to be used to obtain common information available in a BIOS. Major features include the ability to update the BIOS on Dell systems (in conjunction with the Dell RBU Linux kernel driver), programmatic access to information in SMBIOS tables, and the ability to obtain Dell system-specific information such as the Dell System ID number, service tag, and asset tag. Future plans include APIs for $PIR and mptable mapping. There is a C API for some of the more commonly used functions, and example binaries to show off most of the facilities.
Updated 09 Jan 2005
uCON64
| Pop | 88.69 |
|---|---|
| Vit | 5.70 |
uCON64 is a tool to backup all kinds of video games (cartridges and CDs). It supports most available backup units for cartridge-based consoles. It also performs many other tasks, like ROM hacking and conversion of proprietary CD images for use with cdrecord.
Updated 19 Sep 2004
Parchive
| Pop | 88.81 |
|---|---|
| Vit | 1.85 |
Parchive is a tool to apply the data-recovery capability concepts of RAID-like systems to the posting and recovery of multi-part archives on Usenet.
Updated 27 Apr 2006
Natural Language Toolkit
| Pop | 88.27 |
|---|---|
| Vit | 2.68 |
NLTK, the Natural Language Toolkit, is a suite of Python libraries and programs for symbolic and statistical natural language processing. NLTK includes graphical demonstrations and sample data. It is accompanied by extensive documentation, including tutorials that explain the underlying concepts behind the language processing tasks supported by the toolkit.
Updated 10 Jan 2013
Bridge Calculator
| Pop | 88.50 |
|---|---|
| Vit | 17.23 |
Bridge Calculator is program that solves problems in the Bridge card game. It quickly solves the double dummy problem, has both graphical and console-based user interfaces, and imports deals from PBN, BBO .lin files, and files generated by the KoPS program.
Updated 15 Jan 2010
FreeOTFE4PDA
| Pop | 87.22 |
|---|---|
| Vit | 2.84 |
FreeOTFE4PDA is an "on-the-fly" (OTFE) transparent disk encryption program. Using this software, you can create one or more "virtual memory cards" on your PDA. Anything written to one of these cards will be automatically and securely encrypted before being stored. A PC version is also available, allowing data encrypted on your PC to be read/written on your PDA, and vice-versa.
Updated 06 Feb 2008
RNV
| Pop | 86.78 |
|---|---|
| Vit | 4.43 |
RNV is an implementation of Relax NG Compact Syntax validator. It is written in ANSI C and the command-line utility uses Expat. It is a part of an on-going work, and the current code may have bugs and shortcomings; however, it validates documents against a number of grammars.
Updated 28 Jan 2008
FrAid
| Pop | 87.29 |
|---|---|
| Vit | 2.98 |
FrAid (Fr[actal] Aid) is a programming language that is appropriate for mathematical computations, visualization, batch processing, and more. It features both a standalone application that provides a programming environment for the language and a system for integrating the language with Java. The Java interface allows mathematical equations and formulas to be used with Java code, making it easier to process numerical computations, symbolic computations, imaging, CAD, and more.
