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
MongoDB Atlas runs apps anywhere
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
HardCoder - A powerful software for conducting online exams/competitions on C/C++/Java/C#. The software can compile, run, test and judge winners of code written in either of C, C++, Java or C# programming languages, all by itself.
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.
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.
This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.
SoFi (Solution Finder) is an extensible Java framework that facilitates rapid development of instructional applications to demonstrate common search and problem solving methods in the field of Artificial Intelligence.
Gumpire is designed to be used as an educational aid in a programming class. It will allow students to program game clients that can participate in a competition without needing to write a complicated interface to a server.
Applications that use and display SignWriting symbols. Applications are based on a library of common operations instead of recreating the same logic for each app. The library is built on the portable wxWindows cross-platform application framework.
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.
java-based complete Agent (Artificial Intelligence) Framework with all the features you might expect in an Agent Framework: Mobility, Autonomy, Distributed communication, Agents can be written in Java, Jython, or Beanshell.
stdnet - original: C++ networking class library; simple event-driven interface
stdnet2 - revamp: C++ class library for java-like programming; networking; etc.
stdnetj - TODO: Java version of stdnet2
An implementation of the language described in "Karel the Robot: A Gentle Introduction to The Art of Programming" by Richard Pattis et al. Both Java and C/Unix versions are available.
An automarking framework for Java programming assignments.
This Jython based package simplifies creation of automarkers
for assignments. Handles unimplemented methods, private methods,
exceptions, detects all infinite loops and more.
This project is aimed at developing an iconic programming language (IPL) which compiles to Java in order to help pre-CS students build stronger models of programming concepts. Project has moved to http://code.google.com/p/jubjub/