Your top-rated shield against malware and online scams | Avast Free Antivirus
Browse and email in peace, supported by clever AI
Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
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.
A Java library that simplifies thread development. It has support for continuations, fork/merge, signals, thread and process serialization, event picker (similar to BPEL's pick element), among other features.
MelaJò Portal Framework is a framework to develop Java Enterprise/J2EE/MVC based applications rapidly and easily.
It's based on Finite State Machine concept. It's used for years
to create real business web applications with J2EE architecture.
A generic finite state machine (FSM) API for the Java platform. The API enables creating a performing FSM at runtime and with type safety. Project also includes a non-blocking context scheduler for running FSMs over multiple contexts.
SimpleWebTest is an web auto test framework, which can simplify your coding auto test script. It supplies capturing web page element tool called UI Map.
You can implement auto test script for ajax web site agilely, maintenance just spend little time.
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.
Finite automation,developed by java and it's open source.input the RE,can produce RG,NFA,DFA,MinDFA,Draw the corresponding transition diagram and show the details of transition.
FSMGenerator is a turn-key solution for FSM (Finite State Machine) automatic generation and integration within user`s software. Please, register to get fast personalized support. Feedbacks, feature requests and bug reports are greatly appriciated.
Chemical Calculator that can calculate various aspects of compounds.
The programs main features are:
* Get information about an element
* Calculate the amount of moles of an element
* Calculate the Empirical and Molecular formulas of a compound
This project aims to provide libraries in a few languages which allow for NORAD general perturbation element sets to be used in calculating the position and velocity of space objects.
Fastly's edge cloud platform delivers faster, safer, and more scalable sites and apps to customers.
Ensure your websites, applications and services can effortlessly handle the demands of your users with Fastly. Fastly’s portfolio is designed to be highly performant, personalized and secure while seamlessly scaling to support your growth.
Java library for matching XML documents with templates. Features: Regular Expressions on element level, Javascript-based assertions, tolerances, patterns, and more. Designed for automated validation of APIs that produce rich XML data.
AjaxTop provides a way to process XML on the Client. It provides a framework for mapping each XML element to a JavaScript object. It provides a way to extend HTML and interact with the server through AJAX.
Visualization of finite state machines as a network graph. Accepted input files at the moment are: net files exported from xfst (Xerox Finite-State Tool) and lexc files (Finite-State Lexicon Compiler).
Set of plugins for jQuery JavaScript library: (1) Pingchange plugin for observing changes: DOM-element properties, css, even calculated values. Plus cross-browser IE-like CSS expressions.
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
soapgateway is a software element for the integration of clients and servers in a SOA environment. Roughly, it redirectes SOAP requests targeted to it, to the real webservers that offer the services, applying load-balance and authentication policies
XOB (XMLObjectBinder) is Java package that is an alternative to JAXB. It lets you define interfaces representing XML tags and have them automatically implemented runtime through the use of reflection giving you an object representation of your XML files.
jFAST is a simple finite automata (FA) graphical simulation utility; it is designed to feature simple mechanisms for creating, editing, and simulating FA. jFAST is ideal for use by students, instructors, and self-guided explorers alike.
musicomp is a program which most important element is an evolutionary algorithm which uses data mining methods as a fitness function to generate monophone melodies.
Denebola is a Java EE view template system, which works like DHTML in server-side. Javascript (and other scripting languages) is used to manipulate 100% pure (X)HTML templates via CSS2 Selector style element filters to produce data-driven web pages.
Simple library written in Java to allow the creation of Excel files based on a Java Collection. Each element of the collection goes in a row and the columns are based on the properties you define through an XML config file.
This plugin is a tool, which allow to browse the selected element directly in an external programm (i.e. on windows machines the explorer). Alternatively, you can copy the absolute path to the clipboard.
The ADFC code is a computational fluid dynamics (CFD) C++ solver for incompressible viscous flow over 2D and 3D geometries. It uses finiteelement and the characteristic method on unstructured meshes to solve Navier-Stokes equations.