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.
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
The BlueDecode frame work is an Open Source Third Party Java Library used for developing more interactive and customized 2D graphical user interfaces in Java using a MVC and object oriented programming approach.
The program provides Java interface (to C++ Lemmatizer via XML-RPC) in order to perform lemmatizing in Russian, English, and German (lemma is the canonical form of a lexeme in Natural Language Processing). RussianPOSTagger could work as a module of GATE.
This project seeks to develop tools for investigations into computational aspects of algebraic geometry over free groups. In particular, we are developing software implementations based on the theoretical work G. S. Makanin, A. Razborov, and others.
The Network Camera Tool is a collection of various Java tools that work with cameras and encoders from Axis Communications. Please see the project website http://imagelogistix.sourceforge.net for more details.
Large set of functions for biological records (ECG, EEG, phono), datastore, datamining and analysis (HRV, QT, RR, ST). The application is written in Java, so that it is assumed to work on all devices. It runs as a desktop or client-server application. It
JGenAlg is a java toolbox for working with metaheuristic procedures (Genetic Algorithms, Island model, Particle Swarm, Ant Swarm). JGenAlg have a GUI, a Client/Server architecture, work with threads and can be use under distributed enviroments.
JavArch is a simple gate-level and above simulator. It is written in Java so it is portable and uses Java's builtin event-driven mechanisms to reflect how electronics actually work.
This is a fork of the JollyNinja Bot for Robocode. The project intends to document JollyNinja's source code, make it work in teams and provide a solid API to base other Bots on, especially TeamRobot based bots.
Adaptive Work-Centered User Interface Technology (ACUITy) utilizes semantic technology in an ontology-based approach to modeling and implementing intelligent user interfaces.
AstroWeka is a set of extentions to Weka, a popular data mining program, which which allows it to work directly with astronomical data in the Virtual Observatory.
Jyrax is a Java-based, embeddable DAS/2 client designed to work with the 'assay' portion of the evolving DAS/2 specification. Jyrax can query a DAS/2 server and select microarray or other experimental data for retrieval.
GeXpert is an expert system that can be used for genetics and metabolic pathway analysis. GeXpert can help Biotechnologists do their work faster, reducing the time required for performing, analyzing and storing the results of Bioinformatics research.
JCPUSim is a CPU (Central Processing Unit) simulator written in Java. It is intended to aid in teaching how the fetch-decode-execute cycle, CPU, registers, memory and assembly programming language work in a computer system.
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.
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.
Burkhard Heim's Mass Formula - A collection of programs that calculate the mass of a variety of sub-atomic particles, based on work by the late Burkhard Heim.
http://www.heim-theory.com/
Grid Framework allows you to use the power of grid computing in a natural way. Just devlop your application and let the framework do all the dirty work for you.
NAVolution is a Java based GIS framework with an open architecture. The framework allows to work with various map data formats, coordinate systems, etc. It also comes with MapViewer standalone application built on top of the framework.
GiANT is a graphical interface for computer algebra systems (OS X/UNIX/Win). Currently GiANT lets the user work with number fields via KASH, but we aim to develop it into a GUI Library to run on top of any CAS and expose any of its functions.
mbFuzzIT enables the work with Fuzzy technology (fuzzy inference / fuzzy logic) in Java.
In order to facilitate the creation of the inference mechanisms, mbFuzzIT containts a visual editor.
A Digital Signal Processing Program for educational purposes, written in Java, tested on Windows, should work on Linux too. Plugin architecture for inputs, outputs, filters, analisys.
A mechanism for identifying, acquiring, transforming, and serving data from multiple geographically diverse, heterogeneous data sets from a common data portal. This work is funded by a NASA Advanced Information Systems Technology (AIST) grant.