Search results
Results From The WOW.Com Content Network
An open-source tool designed to find faults in the Linux kernel. Splint: 2007-07-12 (3.1.2) Yes; GPLv2 — C — — — — — An open-source tool statically checking C programs for security vulnerabilities and coding mistakes. StyleCop: 2016-05-02 (2016.1.0) Yes; Ms-PL — C# — — .NET — — Analyzes C# source code to enforce a set of ...
CPAchecker: an open-source software model checker for C programs, based on the CPA framework; ECLAIR: a platform for the automatic analysis, verification, testing, and transformation of C and C++ programs; FDR2: a model checker for verifying real-time systems modelled and specified as CSP Processes
The classic path addition method of Hopcroft and Tarjan [1] was the first published linear-time planarity testing algorithm in 1974. An implementation of Hopcroft and Tarjan's algorithm is provided in the Library of Efficient Data types and Algorithms by Mehlhorn, Mutzel and Näher.
graph plotter to use on websites Orange: GUI, Python scripting: GPL: Yes 1996: September 3, 2017 / 3.5: Linux, Windows, Mac OS X: A visual programming data-flow software suite with widgets for statistical data analysis, interactive data visualization, data mining, and machine learning. Origin: GUI, COM, C/ C++ and scripting: proprietary: No ...
Cypher is a declarative graph query language that allows for expressive and efficient data querying in a property graph. [1]Cypher was largely an invention of Andrés Taylor while working for Neo4j, Inc. (formerly Neo Technology) in 2011. [2]
NebulaGraph is a free software distributed graph database built for super large-scale graphs with milliseconds of latency. [1] NebulaGraph adopts the Apache 2.0 license and also comes with a wide range of data visualization tools.
Microsoft.MSAGL.dll, a device-independent graph layout engine; Microsoft.MSAGL.Drawing.dll, a device-independent implementation of graphs as graphical user interface objects, with all kinds of graphical attributes, and support for interface events such as mouse actions; Microsoft.MSAGL.GraphViewerGDI.dll, a Windows.Forms-based graph viewer control.
It is an open-source project hosted on GitHub. It was developed primarily by Leonardo de Moura while employed by Microsoft Research and now Amazon Web Services, and has had significant contributions from other coauthors and collaborators during its history. Development is currently supported by the non-profit Lean Focused Research Organization ...