Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
Try Auth0 for Free
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
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.
Nevada is a tool for interactive visualization of dynamic networks. Unlike other dynamic network visualization tools it's focussing on visualizations preserving the user's mental-map. Import of Pajek files is supported.
JFlightLog is a FREE, graphical pilot log for Ms Windows and others(it's java). Saves as Excel XLS, PDF, CSV or TXT. Imports CSV from other logbook programs or spreadsheets. Prints entries directly. Auto-creates charts for visualizing flight times.
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.
KEManager models Knowledge Based Systems following a methodological approach ( Knowledge Engineering) for academical purposes of CommonKADS and IDEAL. It supports the viability test, some knowledge acquisition techniques and conceptual modeling.
A platform for setting up autonomic services in a distributed environment. Provides service discovery, service provisioning / usage, autonomic adaptation to the context, mobility, support for supervision and service aggregation, and more.
New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.
Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
GuiTAR stands for "General-purpose Tool for Anaphora Resolution".
It was developed in Java at Essex University.
(see http://dces.essex.ac.uk/research/nle/GuiTAR/)
Goal of our project CSX (City Stats X) is to program a generic interface to visualize and present social data about a city. We will present this on the example of the city of Linz in Austria.
The application „StockNews“ is to offer the possibility to the user to find out about the interaction between news, analyst opinions and stock exchange rates. Statistics and other relevant data about enterprises are available.
Java package to study a clustering model described in the paper \"Novel Clustering Algorithm Based Upon Games on Evolving Network\" by Q. Li, Z. Chen, Y. He and J-P. Jiang (in arxiv: http://arxiv.org/pdf/0812.5064v1), generalizations and similar issues.
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
Datamixer generates mock data values for various datatypes, including integer, floating precision, datetime, and string. It can generate complex sequences, based on functions and permutations of the basic data series.
A bioinformatics package to analyse ESTs (Expressed Sequence Tags) easily. It contains functionalities of ESTs for EST submission, Batch BLAST and BLAST result parser, etc. easiEST contains JAVA GUI applications for analysing ESTs or other sequences
AliCS is a cognitive software whose main goal is to improve the visibility of information by eliminating the troubles created by the redundancy of symbols.
Scan, the Semantic Content ANnotator, is a semantic pipeline that helps connecting information extraction tools to semantic database. UIMA-based, it allows easy plugin-writing: information extraction, ontology control, store in RDF Repositories.
DiscriAlign implements a novel algorithm that aligns a set of biological interaction networks.It identifies both functionally conserved and dissimilar regions.
Draw 2D: function chart, data points chart, statistical bar chart. It's possible to combine all 3 types of chart into one. This is powerfull and easy tool, as it gives ability to manage many charts parameters. This may often compete with Gnuplot and oth
Provides a GUI interface to grammatical structure and relations (as parsed by the Stanford Parser) of any text.
Contains grammatical relation editor to modify, import, export grammatical relation definitions (tregex patterns and features).