General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Try 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.
Articulated arm (Mitshubishi's RV-M1 Movemaster) support for Cyberbotics' Webots simulation package. Offers seamless control of simulated arm via TCP/IP, and adequate client-side bridges for simulation (TCP/IP) and live robot (RS232).
Virtual interactive experiments (vexp) is a framework to promote the developmentand use of cooperative e-learning experiments over the internet. Interactive scientific experiments which can be controlled by various users synchronously.
Ontologies managed and created by the Marine Metadata Interoperability Initiative (MMI), http://marinemetadata.org. Most of the ontologies are applicable in general for Earth Sciences.
TRANSFOG DAS (Translational and Functional Onco-Genomics Distributed Annotation System) is an XML-based annotation system to allow the discovery and analysis of candidate genes potentially involved in cancer onset and progression.
Manuelito is a Java tool for decrypting posttranslational modification (PTM) patterns of proteins based on MALDI mass spectrometry spectra. It was built for analysing the 'histone code' but it can be applied to any other highly modified protein.
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.
jGABL (the Java Graph Algorithm Base Library) is a java library for the implementation of graph algorithms. It covers a hierarchy of graph concepts, various graph implementations, and algorithm animation.
EMT is an application to draw and test turing machines intended to help Formal Languages and Automata students to understand how turing machines work and test their own turing machines.
ballotbox is a java library consist of 36 algorithms derived from 23 Social Choice Rules (Voting Methods). Uses jgrapht graph theory project and it is own Preference class to represent preferences. Includes preference similarity algorithms.
A graphical data manipulation and processing system including data import, numerical analysis and visualisation. The software is written in Java and built upon the Netbeans platform to provide a modular desktop data manipulation application.
Pulga is a program for numerical simulation of dynamical systems designed to provide students and researchers an easy way to model and qualitatively analyse their systems on a computer without the difficulty of traditional computer programming languages.
JXML2OWL Project is divided in two sub projects: JXML2OWL API, a library for mapping XML schemas to OWL Ontologies on the JAVA plaform. JXML2OWL Mapper, an easy to use standalone application with a graphical user interface using the JXML2OWL API.
Avian Freeware Suite (AFS) provides two things: Developers with libraries for Java Swing Widgets, XML handling, Fortran95 and Pascal; End users (Medical students, doctors, scientists) with productivity tools they can use (quizzes, XML databasing & PDF)
BioMa is a specimen based Biodiversity database Manager. It is designed to store, organize, and manipulate biodiversity-related scientific data, either for the purposes of museums, scientific collections, or research projects.
This if calculator for complex numbers. It works with algebraic and trigonometrical form and has multiple memory slots. There are many mathematical functions like sin, cos and etc.
COB editor is a collaborative editor for biological ontology (e.g., Gene Ontology) building. Building on the idea of modular ontology from KR research, it supports multiple people to work on the same ontology.
GridPlan is an open source capacity planning and simulation tool for Grid Computing. GridPlan estimates the cost and performance of Grids comprised of Processor, Storage, Router and Switching nodes.
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.
Trip Tracker is a position tracking client-server system. A real time tracking environment can be set up with a GPS receiver and a tracking server. The map client can show the map position of the GPS client in real time.