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.
Try free now
Automate contact and company data extraction
Build lead generation pipelines that pull emails, phone numbers, and company details from directories, maps, social platforms. Full API access.
Generate leads at scale without building or maintaining scrapers. Use 10,000+ ready-made tools that handle authentication, pagination, and anti-bot protection. Pull data from business directories, social profiles, and public sources, then export to your CRM or database via API. Schedule recurring extractions, enrich existing datasets, and integrate with your workflows.
A platform for modelling influenza-like epidemics and containment
The Global Epidemic Simulator is a platform for modelling directly transmissible human diseases such as influenza, and testing intervention policies that may reduce the duration or severity of an outbreak of such a disease. Building on previous work, this model is spatial and individual-based, using various geographical and demographic data sources to place households at absolute locations, populated with individuals of specific ages who each attend schools or workplaces situated in their...
libCL is an open-source library for high performance computing in OpenCL. The goal is to provide a comprehensive repository of parallel algorithms and data structures for visual-centric computing.
This open source software benchmarks the queries per second of an Apache Lucene index. It is an Java implementation and uses MultiFieldQueryParser to form a query.
A framework built on Berkley's Ptolemy. Runs a variety of bit width optimization algorithms and suggests bit widths. Includes parsers for simulink and system generator.
This library supports interoperability between components written for different verification methodologies such as VMM and OVM. This is maintained by the Accellera Verification Intellectual Property Technical Subcommittee.
The Quantitative Finance Framework (QFF) supports the development of software libraries in mathematical finance. The main field of applications are the pricing of derivatives and the management of financial risks.
SARGE - Search And Rescue Game Environment is a multi-player training game for robot operators which also supports agent based robot control for simulation work via TCP.
Rezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.
netcdf-tools is a set of tools for creating netCDF files. It supports command line use on both Windows and Unix as well as use directly as a Java library. Written by CSIRO Australia and funded by the ANDS Australian Research Data Commons Project
Carbon Effective Supply Chain Simulator (CESCS) is a software package for simulating green supply chain. A unique approach is taken to help achieve the optimal balance between carbon footprint, supply chain cost, service level, and product quality.
VT-Layer is a Java library for discrete-event simulation modeling. VT-Layer allows you to create, visualize, and analyze high-performance discrete-event simulations.
Mircrogrid market is a proof-of-concept implementation of a combinatorial heat and power double auction exchange.
With this platform energy consumers and producers can buy or sell heat and power resources on demand for certain times of the day.
MOTO (Moving Objects Trace generatOr) is a trace generator for the moving objects application domain. Its main strength is scalability for large networks and many moving objects.
Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.
Container for robot/environment simulation. The container simulates an environment, and gives to the robots living in it access to sensor views.
The goal of this project is to provide the open source community a tool for robot behavior test and challeng
Mupisim is a simulator for distributed, mobile systems. Its primary purpose is the study of mobile processes (e.g. mobile agents) and their communication mechanisms. It may also be used to evaluate the efficiency of a given process migration scheme.
A Java-based mesoscopic, intermodal traffic simulator (MITS), providing a tool to evaluate scenarios (consisting of a road/rail/waterway network topology and load allocation) in terms of throughput, average speeds/travel times, congestion prediction.