Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
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 traslator from BPEL4WS processes to YAWL workflows that works with translation patterns. It takes a BPEL document in input and creates a YAWL workflow that rapresents it.
TACS (Trust Ant Colony System) is a Trust model for P2P, Ad-hoc and Wireless Sensor networks (also valid for multi-agent systems) based on the bio-inspired algorithm ACS (Ant Colony System).
SSG-Generator (formerly Scheduled Sequencing Graph Generator) is a simple, open-source, academic software written to understand fundamentals of High Level Synthesis of system design.
Lathe is used to cut-off metal. Various machining process can be done by using it. SmartLathe is used to increase productivity. Inputs are technical drawing, tools, and other databases, while the output are machining parameters and machining cost.
Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
"Java Artificial Intelligence Markup Language PAD" is a tool that manages ProgramD AI (on local or remote machines) and AIML files with real-time previews and it provides a network support to test AI capabilities over many network protocols.
Automatic Conversion Tool for Accessible Web (ACTAW) is a project that tries to improve the Web Accessibility in an automatic way. ACTAW applies the WAI guidelines 1.0 defined by the World Wide Web Consortium (W3C). Developed in Java.
Equivalence checking for two netlists of ORCAD schematic designs. Check out whether two netlists may generate the idendical PCB in later design stage, even if they are derived from different design procedures with different part-ref and siganl-name.
Tracking and reporting system for the processing, monitoring, and enforcement of permits issued by the Oklahoma State Department of Environmental Quality. Features web access, CDX gateway for the EPA, and an automatic document assembly system for Word.
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Evidence-based Guideline and Decision Support System. Provides patient specific point of care reminders in order to aid physicians provide high quality care. Input/output in the form of HL7 CDA Level 2 documents. Knowledge is encoded using Arden Syntax.
Qualiweb aims at providing semantic web metrics for modeling a website visitors needs according to a given taxonomy or document classification. Web metrics provided by Qualiweb give an indication of how successful each of the website topics have been.
MASQOT-GUI is an open-source, platform-independent application for two-channel microarray spot quality control. Included is a set of tools for gridding, segmentation, quantification, multivariate spot quality assessment and data visualization.
FishLAB is an easy-to-use program for tracking aquarium water chemistry. With FishLab you can monitor pH, hardness, NH4, NO2, NO3, Fe, CO2 (the software converts units where needed). The graph function warns you of bad trends in water quality.
Blubber system is an Eclipse RCP application for distributed systems modeling. Designed for university researches and inlcudes: task graph editor; graph transformation tools; graph modelling on distributed system; real-time modelling on GerdaFramework.
FormatCheck screens flat files looking for violations in the format of the data. It uses a set of XML files that define the rules for each file format. The Swing front-end allows the user to run the verification, view and print the errors.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
QA-distri contains a set of ImageJ plugins for QA in digital radiology. The plugins are created in LUCMFR, University Hospitals, Leuven, by Frank Rogge. He's works currently at AVN as medical physicist.
mcuStudio is a development environment for Microcontrollers. It's based on Eclipse (plugin). The aim is to provide a high quality development environment for electronics. First editions will target Microchip Pic mcu's. Other mcu will be supported later.
BZbyte reports is a fully web based reporting solution created to provide a commercial quality cross platform professional open source alternative to expensive reporting packages such as Crystal Reports(tm), and others. Visit: http://www.bzbyte.com
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.
neochip is a collection of algorithms for high-density oligonucleotide microarrays. The current version contains heuristic algorithms that attempt to improve the quality of arrays by re-designing their layout (the location of the probes on the chip).