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.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.
E.N.M.L. means Environmental Noise Model Language. The target of the project is the definition of a XML specification model mainly devoted to electronic acoustic data exchange. ENML aims to format ANY kind of noise measurement.
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.
Port Access Library Package for Win32 on VB,Java and Visual C++
Port Access 1.0
This is a Win32 programming platform indipendent Microsoft Windows 98/NT/2000/XP compatible hardware port access driver and API for Visual Basic,Java and Visual C++ . This project still under development.
Java API for controling 1394 Digital Cameras (based on libdc1394: http://sourceforge.net/projects/libdc1394/ for Linux, and on: CMU 1394 DC http://www-2.cs.cmu.edu/~iwan/1394/ for Win32). On Top of the library comes a RCP plugin and a JMF capture dev
A java-based framework to determine file origins on a file system by accessing system and application logs and track the evidence trace through metadata.
Java & MPEG-7 based tools for annotation and retrieval of digital photos and images (Caliph & Emir).
LIRE has moved to https://github.com/dermotte/lire.
Caliph & Emir have moved to https://github.com/dermotte/CaliphEmir.
FroZenLight connects simple line art and mathematics. The source of light can be positioned so that either symmetric reflection patterns or secret messages (Cryptography) are created. Example light patterns and math exercises for education are provided.
Simured is a multicomputer network simulation whith visual interface to see packet movement on the network. It is multi platform and there are versions in Java and C++.
Tools for mass spectrometry, especially for protein mass spectrometry and proteomics: Quantification tools, converters for Applied Biosystems (Q Star and Q Trap), calculation of in-silico fragmentation spectra, converter for Mascot result files
This program draws randomly about 100 types of fractals. Program realized on C++ (as screensaver and as standard window application) and on Java (as applet and image store application).
a free and open map of wireless communicating objects
openBmap collects data and provides open maps and statistics of all communicating objects: cellular antennas, wifi hotspots.
All softwares from back-end to client are open-source under AGPL v3 license.
Building controls often have a PID Loop (Proportional Integral Derivative). Adjust PI&D terms in realtime and visually see what the reaction to the system will be. This is a real-time simulator with speed adjustment. Software requires the old MS Java Machine to run.
Interested in an updated desktop version? Please drop me a note in the forum or my blog: http://right-handed-monkey.blogspot.com/
jCAE is a JAVA based environment for CAE applications. It provides meshing and visualization capabilities. It is targetted to run on a maximal number of platform.
EyeMap is a visualization and analysis tool for text reading eye movement data. It can process Unicode, proportion/non-proportion and spaced/unspaced reading materials, which supports various languages and experiment methods.
Java library for Monte Carlo simulation, stochastic processes, finance. Classes define the basic mathematical notions to ease transition from theory to application.
TuringIDE is an integrated development environment (IDE) for simulating Turing Machines with multiple tapes and states. It offers debugging tools, XML import/export, and other advanced features for scientific experiments on formal symbol allocations.
DIFFR is a menu-driven graphical software whereby the problem of a plane wave diffraction on a rough surface can be solved using several numerical and approximate methods.
Tunelator processes tunnel profile data for surveying work. It provides a powerfull grid editor, 3D preview, export to Prowin, Ispol, MDT and DXF (2D and 3D views with convenient layering).
Lindenmayer ist ein Programm zur Visualisierung von L- bzw Lindenmayer-Systemen mittels hübscher Baumgrafiken. Die ausführbaren Dateien und Hinweise zum Quellcode finden Sie auf unserer Homepage unter http://lindenmayer.berlios.de/.
Small stand-alone Java utility to visualize and compute drive train translation ratios for derailleur geared bicycles. Features load/save of data, chainline quality visualization, and scale drawing of the drive train with measures.