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.
Create free account
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.
MICO is a mature, secure, robust, fully standards-compliant implementation of the CORBA standard. It is available as GNU open source software and is widely used for robust application integration.
This is a graphical editor and code generator for Live Sequence Charts (LSCs). The code generated follows a simple execution mechanism. It shows a possible execution path.
We have added a new local action construct, i.e. a self method call.
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud
Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
OnuriS (Open soURce wImax Simulator) is a simulation platform designed for WiMAX in order to analyze network performances and develop particular allocators for better bandwidth allocation strategies that could greatly improve the overall system.
Formulator MathML Editor is a mathematical expressions editor of Presentation and Content MathML. Formulator makes it simple to develop software, keenly aware of the mathematical typesetting and semantics rules, and able to calculate simple formulas.
Neural Network class library: Its a C/C++ implementation that provides following three neural architecture - Feed-forward network, Radial Basis function network, multi-layer perceptron and Self-Organizing Maps.
Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform.
Geographic restrictions, eligibility, and terms apply.
It is a library for parsing standard configuration files which supports extensions over the standard syntax. It also has a very extensive reference substitution system.
Fuzzy numbers and basic fuzzy arithmetics (+, -, *, /, 1/x) implementation written in Java. Should be used as a library, but it also has a GUI which demonstrates its capabilities (using SWT widgets).
The `Turing Machine Compiler Collection' (tmcc) contains a virtual machine which emulates a Turing Machine such as an assembler and a C-like compiler which assemble/compile the written code into the delta-notation.
A java tool for anytime and interactive sequence mining. Aims at providing users with a way of analyzing her activity traces and extract activity schemes from them.
The fast, flexible, extensible, and easy to use C++ template class for creating your own customized math expression parser for both built-in and user-defined numerical data types. The parsed tree perform fast and can be used in multi-threaded OpenMP apps
"Java Textual Desktop" project stands for the classical TEXT screen with java implementation inspired with Curcus which used for decades in the history of UNIX (linux).
An implementation of Bruhn et al.'s fast variational optical flow algorithm using the OpenCV image processing library. The code calculates dense flow fields with a user-specified level of precision.
JNOMO is a Jean Plugin for providing more expresiveness in its rule language. This plugin allows for retracting or priorizing rules, removing facts as a rule consecuence or even asking for the "unspecified" information into Knowledge Base.
An ecosystem for model-driven engineering on the JavaEE platform.
The vision is to enable the incorporation of best practices, standard patterns and tools for building robust, scalable, distributed applications with a rich domain model without forcing any lock-in with any particular vendor or framework.
For more information visit: http://www.openmde.org.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
Simple tool to parse the contents of /proc or /sys entries and graph their values. An oscillosope for software types. Intended for developers, admins or the curious to understand the performance and behaviour of their systems.
The Minervan project aims at aiding intelligent software development. It integrates reporting, analysis and data mining to support better decision making.