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.
Start Free Trial
Go From AI Idea to AI App Fast
One platform to build, fine-tune, and deploy ML models. No MLOps team required.
Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
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.
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.
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.
Uranograph is a set of classes and methods written in Java for generating printable and viewable star charts based on different data sources. Currently the Lambert azimuthal equal-area projection is implemented. Output in SVG and PDF (with iText library)
Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.
Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
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.
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.
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.
The CHIP Cluster Generator attempts to create spatio-temporal cluster data in an automated fashion to help evaluate epidemic detection software. The spatio-temporal data will then be used to determine robustness of spatial detection algorithms.
Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
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.
A very basic, very simple Java based GPS tool. Reads NMEA from GPS device over serial port - and does a few usefull things with it. The goal is to have something that can run and be useful on a desktop, laptop and handheld device.
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.
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.
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.
The VilAug framework for visual linguistics! This gadget contains an IconNet with icons like WordNet and an IconMessenger as instant messenger. A new ontology is used, grammars for visual languages designed. A language with signs? Create it with VilAug.
SqW is a mathematical program for caculating and solving equations of type f(x)=0. It also builds simple graphs and has syntax analyser. Functions: sin(x), cos(x), tg(x), lg(x)... LEAVE YOUR RESPONSES ON FORUMS
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.
The Free Location Api is a free implementation of the JSR-179 Location API for J2SE.
It also extends the functionality to allow aggregating of multiple location technologies and seamlessly transitioning between them. (GPS, BT, WLAN,...)
Driver based data access layer writen in Java. With it you can execute SQL queries between data stored in different format, servers, ... if there is a driver to access them.
Micro-manager is software that controls your microscope. It orchestrates digital cameras, shutters, filter wheels, stages and other motorized components to let scientists/engineers acquire images from the microworld the way they want.