TLC is an explicit state model checker for specifications in TLA+
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.
Generates Latin squares and counts their transversals
The Latin Square Toolbox contains software tools for efficiently generating Latin squares and counting their transversals with various user-configurable options.
This open source release aims to help educate folks on Latin squares and their important applications to cryptography. This version contains three tools:
0. Latin Square Generator (LSG)
1.
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.
The jPTbox is a library designed as a collection of various small tools that can be used
in development of Java applications that have strong performance requirements.
Including:
- watchdog
- state-machine
- atomic sequencers
- statistics counters
- TLV
- BNF
The bflow* Toolbox is an open source tool kit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.
Java Framework providing various reusable API's including POJO Services API, Java Collections based persistence(JDBC and LDAP) API's and an MVC Web API. Also provides tools to aid in the use of Apache Ant, XML configs and Docbook XML.
Lemonite is an Open Source tool designed to automate J2EE unit test development and management. It's entirely implemented in Java and makes it very easy to write and run unit tests for common J2EE business concepts (EJB, Servlets, etc...) and for Web Services too.
Lemonite works as standalone Java application.
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.
The NJ toolbox (njTBX) is a matlab object API, built on top of Unidata's Netcdf-Java API to facilitate netCDF model data manipulation. Development of njTBX is a part of 'An Open-Source Community Model for Coastal Sediment Transport' project.
Provides tools, supporting quality management or quality assurance for software: Assessment execution (ISO 15504 (SPiCE), AutomotiveSPiCE, CMMi), diff tool calculating sizes (SLoC) of diffs, identification of conditional compilation, and more.
Este projeto objetiva a criação de um Toolbox para utilização de algoritmos de Computação Bioinspirada. O Toobox oferece uma vasta coleção de algoritmos de ferramentas para o projeto de Algoritmos Genéticos e Redes Neurais.
The iPOJO-Toolbox includes several projects to ease the conception and the use of components above the Apache Felix iPOJO framework. It contains several handlers, some standard OSGi services as well as an Eclipse plugin, and many other useful features.
This project is a java web application developer toolbox. It is among other, a simple and powerful framework which does not require dealing with XML files. It also provides a lot of other features, such as a DB abstraction layer, a nice javadoc doclet, a
Eclipse SWT/JFace Toolbox with useful custom widgets, incl. CoolButtons, CoolSliders, Clock, Gauges, GoogleMapComposite, ScrollingText, Progress Indicators, DualList widgets, and lots more to come. We also have an Eclipse RCP Plugin that wraps the jar.
A toolbox for java gameservers. This project extends the open source gameserver "project darkstar", written by Sun microsystems. It provides several useful tools like telnet administration, object browsing, base classes for network services.
bwbunit is a set of Black/White Box Unit Testing libraries/tools for Java developers. These tools are designed to easy intergrate into JUnit and to be extremely user friendly. These tools are a powerful addition to any Java developers ToolBox.
jsSplitter - toolbox for javascript preprocessing (Concatenates a .js file, or a series of .js files, to a single file .Compress a js code by removing comments,blank spaces,linefeeds .) Include GUI and commandline utility programs,ant task,jsp tag.
Tools for Java Jini setup, troubleshooting, and development. Development has been moved to the Toolbox project on www.jini.org (http://toolbox.jini.org).