Secure File Transfer for Windows with Cerberus by Redwood
Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.
Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
Try for 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.
Put a Map in your App! MyMaps makes it easy for Java developers to add maps to Swing applications. With access to WMS, Shapefile, Tiger and other free formats, you can add maps while avoiding the restrictive Terms of Use of those online mapping sites.
A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.
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.
Oscilloscope Virtual is a simulator orientated to the education but that allows his professional use. It has a very realistic and very interactive interface that simulates perfectly the behavior of a real osciloscopio of double draw.
WikiVis is a tool to analyze Wikipedia based on several aspects. The main objective is to visualize the conclusions of this examination, which focusses on the editing frequency and relevance of articles and categories as well as the activity of users.
Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
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.
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)
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.
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.
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.
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.
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)
Project MOVED to Codehaus New location is http://esper.codehaus.org The Esper project aims to provide a general-purpose event processing facility in Java for complex event processing of real-time, high throughput data streams.
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.
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.