Advertisement
Partition Logic
Partition Logic is a standalone partitioning tool for PC-compatible computers....
Tool standalone partitioning standalone partitioning partitioning tool
Logic Reasoner
Logic Reasoner is a theorem prover for first-order logic with equality....
calculus theorem prover formula representation subsumption resolution theorem
Math::Logic
Math::Logic is a Perl module that provides pure 2, 3 or multi-value logic....
mathematical Perl module multi-value logic mathematical values multi-value
Logic File System
The filesystem of discriminating hackers....
Free Logic Form
Free Logic Form is a system for generating logic forms of English sentences....
Fuzzy logic trees
Fuzzy logic trees are a machine learning method that applies the principles of fuzzy logic to standard logical decision trees....
Math::Logic::Predicate
Math::Logic::Predicate is a Perl module to manage and query a predicate assertion database....
query Perl module manage manage predicate assertion query predicate assertion
Advertisement
C::Analyzer
Generates C Call Control Flow tree for C source code...
Golf analyzer
Golf analyzer is a little programm that analyzes your golf play....
Fragmentation Analyzer
A standalone Java tool to analyze MS/MS fragmentation data...
analyzer data fragmentation fragmentation data analyzer spectra visualization
RPM-Analyzer
rpm-analyzer is a graphical tool to help you analyze rpm dependencies....
Dependency Analyzer
Dependency Analyzer is a utility for graphically visualizing Maven2 artifacts dependency graphs....
analyzer dependency Maven2 artifacts dependency graphs artifacts visualizer
Super Analyzer
iTunes music library analyzer...
SMB Traffic Analyzer
A tool for visualizing data flow on Samba servers...
Iso9660 Analyzer Tool
Iso9660 Analyzer Tool is a project that will detect the structure of CD images....
Java String Analyzer
Analyze flow of strings and string operations in Java apps...
analyzer Operations string string operations string analyzer
Practical Query Analyzer
Practical Query Analyzer produces HTML reports on query statistics....