Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start 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.
Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.
Calculation of camshafts - allows to define a camshaft profile on the set trajectory which should provide the given mechanism. The trajectory can be set graphically, co-ordinates or function.
A tool for visualization and analysis of logs as sequence diagrams
MSCViewer is a tool intended for debugging of control flows in concurrent, distributed systems.
The tool loads logs generated by various entities in the system and visualize a sequence diagram chart for events and interactions. The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments.
MSCViewer features integration with a Python interpreter which allows writing Python scripts...
Conzilla is a concept browser. It browses and edits 'context-maps', a construct similar to conceptual models, UML diagrams or mind-maps. Conzilla uses RDF to describe and distribute such models.
GSH builder is a free Galois Sub-Hierarchy visualization tool.
The algorithm for calculating GSH is called Pluton and the present
Java realization is based on two articles.
"Efficiently computing a linear extension of the sub-hierarchy of a
Concept Lattice" by Anne Berry, Marianne Huchard,
Ross M. McConnell, Alain Sigayret and Jeremy P. Spinrad.
"Performances of Galois Sub-hierarchy-building algorithms" by
Gabriela Arevalo, Anne Berry, Marianne Huchard,
Guillaume Perrot and...
Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse
SYSTEM FOR DESIGNING AND SIMULATE CONCURRENT AND DISTRIBUTED PROGRAMS IN CLUSTER ARCHITECTURE Provides graphical interface for configuring relationships between cooperating, abstract processes and simulate it in real cluster environment, using MPI.
Join thousands of influencers in showing off your influence to brands.
For brands and businesses seeking a solution to collaborate with influencers and content creators
With Afluencer, you can find the ideal collaborations for your niche. Search by interests, requirements, channels, and more! Join thousands of influencers in showing off your influence to brands. Plus, our “influencer spotlights” are widely read and followed. We have 283 active collab opportunities waiting for you, right now! We help brands find уоu so that you’ll receive invitations to collab, too. Exchange direct messages with Brands and explore new partnership opportunities in the chatroom. Describe yourself and your influence. Include channels, interests, following, etc. Brands can find your profile based on their requirements, and apply to see if they are a match. Use Afluencer to keep track of invitations, relationships, and more in one single platform. We help you find awesome merchants with unique products to partner with. The best influencer programs can provide you with great ways to monetize your social media following, content, and your business.
Clothes - sewing CAD for creation of models of clothes.
Based on the new concept of the automated designing of clothes with use of parametrical model. Creates a base design of model of clothes and allows to change it depending on necessity of updating.
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.
MEM Net - Mote EMulator Network.
This project will focus on:
1) MEM - Wireless Sensor Node (mote) emulator
2) MEM Net - network of emulated motes
So far, the only released package is visual-sim-slides.
More comming next !
A UML-based spec (implemented in Java and soon in C++) for managing geometric/geographic objects. See <a href="http://geobject.org">geobject.org</a> (<a href="http://geobject.org/GeobjectPublicLicenseV1_0.htm">Geobject Public License 1.0</a>)