Build VMs, containers, AI, databases, storage—all in one place.
Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
Get Started
Full-stack observability with actually useful AI | Grafana Cloud
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.
Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.
Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
NEVESIM is an event-driven neural simulation tool.
NEVESIM is a software package for event-driven simulation of networks of spiking neurons with a fast simulation core in C++, and a scripting user interface in the Python programming language. It supports simulation of heterogeneous networks with different types of neurons and synapses, and can be easily extended by the user with new neuron and synapse types. To enable heterogeneous networks and extensibility, NEVESIM is designed to decouple the simulation logic of communicating events (spikes) between the neurons at a network level from the implementation of the internal dynamics of individual neurons.
The sigrok project aims at creating a portable, cross-platform, Free/Libre/Open-Source signal analysis software suite that supports various device types, such as logic analyzers, MSOs, oscilloscopes, multimeters, LCR meters, sound level meters, thermometers, anemometers, light meters, dataloggers, function generators, power supplies, GPIB interfaces, and more.
ntccKMC: A Kripke-structure-based model checker for ntcc
ntccKMC: A Kripke-structure-based linear-time-logic model checker for the Non-deterministic Timed Concurrent Constraint Programming (ntcc) calculus.
Inspired by Jaime Arias' Python implementation and algorithms and Avispa's ntcc interpreter
Developed by Mauricio Toro under Colciencia's React+ of the Avispa research group.
Nebular is a fuzzylogic API written in Java. It is written in pure Java and comprehends fuzzylogic, fuzzy sets and operations, fuzzy control, decision support, type 2 fuzzylogic and type 2 fuzzy intervals.
A realtime HL7 stream based clinical decision support system
HIStream is a clinical decision support system designed to operate on data streams. Rules can be specified using (fuzzy) logic formulas with temporal extensions (e.g. creatinine level high at least 3 days after surgery). All incoming clinical data can be stored in an integrated data warehouse (using postgresql). Additionally, incoming data can be forwarded to the clinical data warehouse project i2b2.
THIS PROJECT IS CURRENTLY IN DEVELOPMENT. FIRST BETA RELEASE WILL BE PUBLISHED JUNE 2015.
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Febrl (Freely Extensible Biomedical Record Linkage) does data standardisation (segmentation and cleaning) and probabilistic record linkage ("fuzzy" matching) of one or more files or data sources which do not share a unique record key or identifier.
Complete manufacturing automation platform for factory and process equipment. It includes multi-protocol communications (including Modbus/TCP), PLC soft logic, HMI, and tools for troubleshooting and installation in 4 comprehensive packages.
JFuzzyQt is a clone jFuzzyLogic (FuzzyLogic library and FCL language implementation). It is a fuzzylogic package written in C++/Qt. Supports: Mamdani, Larsen, Tsukamoto and Takagi-Sugeno conclusions
Hermetica is an educational tool for learning about logic. It functions partly as a proof checker with inline annotations. It will also support python scripting for automated subproofs and calculations. I would especially like help with the artwork.
The Microchip PICkit 2 has the ability to act as a logic analyzer and I/O probe. This project provides a reverse engineered libusb user space device driver and GUI to provide this functionality for users of unsupported operating systems.
Fuzzylogic add-in for OpenOffice.org Calc. InrecoLAN FuzzyMath allows to perform ordinary arithmetic operations and use ordinary mathematical and financial functions with fuzzy numbers. Have any ideas how to improve this project - you are welcome!
CILib is a framework for developing Computational Intelligence software in swarm intelligence, evolutionary computing, neural networks, artificial immune systems, fuzzylogic and robotics.
Processes boolean functions which can be provided either as a list of 0s and 1s or which can be provided as a formula in first-order logic (using disjunctive or conjunctive normal forms). Internally the Quine McCluskey algorithm is used.
edef - A small simulation framework for logic circuits, autoregressive processes, digital controller circuits and many more. Also there is a GUI application, that integrates a simple development environment and a circuit editor.
Cellogica is a cellular logic analysis tool. It incorporates sequential logic and finite state machine to elucidate the relationship between transcription factors and corresponding gene expression.
TreeSap introduces simple yet powerful qualitative querying:rather than specifying a query using numerical measurements ("within 5km") english phrases are used ("near"). In-built fuzzylogic handles vagueness producing results with weighted relevance
This is a prolog-like programming language based on the fuzzylogic. It includes the class-libraries for fuzzylogic, probability theory and method of resolution, all made in C++. Java releases possible in the future.
mbFuzzIT enables the work with Fuzzy technology (fuzzy inference / fuzzylogic) in Java.
In order to facilitate the creation of the inference mechanisms, mbFuzzIT containts a visual editor.