Search Results for "graph tool"

CodeLocator is a developer tool designed to help analyze, navigate, and understand large Android codebases — especially useful when working with obfuscated code, many dependencies, or when you don’t have full context (e.g. in large apps or reverse-engineering contexts). It provides capabilities to quickly locate references, method calls, resource usages, and dependency paths across the project, which can dramatically speed up understanding code flow, tracing bugs, or auditing code. By giving...

CRGREP searches for matching text in databases, various document formats, archives and other difficult to access resources. A command line tool for name and content text matching in database tables, plain files, MS Office documents, PDF, archives, MP3 audio, image meta-data, scanned documents, maven dependencies and web resources. CRGREP will search resources within resources of any arbitrary combination or depth, so text within a document within a zip archive, and so on. Here you...

IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);

A java-swing application that provides a tree-view of a jena rdf-graph. This is a tool for developers utilizing jena or pellet who wish to see what is going on within their jena-model when inference occurs.

TooCoM, a Tool to Operationalize an Ontology with the COnceptual graph Model. TooCoM allows the user to edit, test, operationalize and use in an inference engine an heavy-weight ontology in a graphical way by using the Entity-Relationship paradigm.