General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Try Free
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Waters - the Waikato Analysis Tool for Events in Reactive Systems.
This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.
SimQubit is a GUI quantum circuit simulator, written on top of the Q++ (sourceforge.net/projects/qplusplus) quantum templates. It allows editing of quantum circuits and applying them to quantum states, with multiple ways to view the output probabilities.
... visualizes EBNF (Extended Backus Naur Form). Therefore an .ebnf File is required, which contains rules written in EBNF. The program parses the rules, visualizes them as syntax diagrams and is able to generate .gif and .emf files for further use.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
zimg generates png / jpeg images from arbitrary formatted 2-D ascii or binary data. zimg is a command line tool and suitable for rendering large amounts of 2-D data. zimg is highly configurable via command line switches and dynamically loadable objects.
graphite: a portable graphics library, written in Java, JOGL and Postscript that allows rapid generation of high-quality graphs using an efficient, compact Java engine.
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
MobileMath is a software written by using J2ME technolology. It turns mobile into calculator supporting many operations such as : evaluate expression, plotting, differentiate & integrate expression... It can run on any mobiles supporting Java.
Nested pie chart is for tree visualization. Each node of the tree has a size and color attribute, enabling the chart to be used as a heatmap. Linear arrangement of the nodes in decreasing order of size is an advantage over rectangular heatmaps.
NrdbView is GIS (Geographic Information System) for displaying and editing of spatial data stored in .shp shapefiles( M, Z and Multipatch). NRDB View Use FreeImage lib to display georeferenced images. Actually MFC c++ but working on WxWidget migrating.
The Crosswise project is a web-based community event calendar that adds modular data analysis and visualization, and communication methods, to provide community organizations with a powerful event planning, collaboration and analysis tool.
Nmdepend is a lightweight 'link-time' dependency analyzer for C++. It uses object files and libraries instead of source-code as input. It can help to manage 'cross-directory' dependencies. Dependencies can be visualized in combination with Graphviz.
Flow4J-Eclipse is a plugin for the eclipse IDE that enables the modelling of process flows in a drag and drop manner. Building a Flow4J project creates the flow\'s java source code and is then compiled by the JDT plugin. Uses the eclipse-gef framework.
Graph handling and layout software developed for helping scientific research. The interface uses Perl, the algorithms are in C++. Creates and shows 3D and 2D graph layouts (several algorithms). Has a scripting interface for graph handling.
LWCAD is a cross-platform 2D/3D CAD system working on Linux and Windows. It is released under GPL. LWCAD provides comprehensive 2D drafting features and powerful 3D modeling capabilities.
Java3D 3DS FileLoader for platforms supporting JDK1.4 and Java 3D
Highly functional, multiplatform 3DS File format loader
Supports:
Heirarchical animation
Cameras
Point Lights
Directional Lights
Textures
Smooth Groups
and other features
msgnet is a library that implements a simulation framework with visualisation for message passing networks.
This might be useful for teachers and students of distributed systems courses.
Thea, Tools for High-throughput Experiment Analysis, is an integrated information processing system dedicated to the annotation of data issued from classification systems with biological information coming from a knowledge base.
vtkContainers is a complete set of container types for use with VTK. Though the standard vtkCollection is an excellent general purpose container, vtkContainers offers distinct advantages for many object access patterns.
Easy-to-learn interactive 2d plot program. Can overlay images, xy-data, and mathematical functions. Function parameters can be tuned with sliders; functions can also be automatically fitted to data. Written in Python, cross-platform, but currently broken
Set of tools and libs for
managing structured data
in a very flexible way:
Imp./Exp. ASCII, XML, SQL,
PS, Tex/LaTex, RTF
GUI: X-Windows, MS-Windows
Interface to C++, DBs, Perl,
PHP, Java, TCP/IP
LISP-like interpreter
written in C++ using C-LIB
MicroArray Genome Imaging and Clustering Tool (MAGIC tool) is a platform-independant java program for analyzing MicroArray data (.tiff scans & .txt godlists) via graphs and clustering operations (including QT-clustering). http://www.bio.davidson.edu/magic