Community Z Tools Project (CZT):
Tools for editing, typechecking and animating Z
specifications and related notations.
Includes a Java framework for building formal methods tools.
NOTE: development of CZT has now moved to GitHub:
https://github.com/community-z-users/czt
...Currently, JxMake's loadable libraries (build scripts) are primarily designed for non-OS MCU systems and experimental use. Full support for building desktop applications is planned for future development.
Building JxMake requires Java SDK 8 or later (note that Java SDK 8 is a Long-Term Support version).
NOTE: This is a sf.net/subversion clone from https://github.com/wipu/iwant
A java-based declarative, multi-threaded and incremental build system that provides a fluent java API for writing build programs. Can use ant tasks and ant and shell scripts as backend.
**NOTE**: As of 2017-Sep-14, this project was **moved to [github](https://github.com/15knots/cmakeed)**. Please file any issues there.
-----
Eclipse plug-in for editing CMake files such as CMakeLists.txt. Provides syntax coloring, CMake command content assist, and the CMake command reference incorporated into the Eclipse help system.
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.
A software to craft easily your own Minecraft mod, without coding
NOTE: THIS PROJECT HAS BEEN DISCONTINUED FOR MONTHS AND IS NO LONGER AVAILABLE FOR THE LATEST VERSIONS.
The Modding table is a free software by CraftYourMod, to craft easily your own Minecraft mod without writing a line of code. Just configure your mod, add blocks/items, export it, compile it and run it ! The Modding table is also Cross Platform, so you can run on every recent OSes.
...It currently provides classes to instanciate an abstract class for testing the implemented methods, an invocation stack tracing the calls on an interface and a LogClassLoader. NOTE: DEVELOPMENT ST
This small platform independent application (written in Java) is designed to encode your e-mail addresses, thus the
spam robots can not retrieve it from your page. Note that minimal HTML knowledge is needed to put the generated script into a html page.