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
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
Tool to parse the command line and configuration files.
Powerful command line and configuration file parsing for C++, Python, Ruby and Java (others to come). This tool provides many features, such as separate treatment for options, variables, and flags, unrecognized object detection, prefixes and much more.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
A java packet sniffer and forger that wraps pcap libs.
Sniffer4J is a java packet capture and manipulation tool that allows full analysis of a network.
It is built upon pcap libs (winpcap, and libpcap) and can run in Windows and most Linux flavors.
The current stable version (2.0) provides shared libraries (.dll and .SO) compiled and tested for both x86 and x64 architectures.
Sniffer4J work’s by parsing packets in a comprehensive Pdu format. Each Pdu encapsulates the next one, making easy to navigate through the Frame.
Frames can be...
This module provides a communication facility between Ruby and Java. The current implementation is written in pure Java and pure ruby so as to run on many platforms.
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.
Using encryption to secure your code or text. Click File->Run to run your code using Ruby, see the pop up for output. Never save your text or code to disk unencrypted. Don't forget your password. Encryption is error-persistent.
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.
Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse
jAstyle is a 100% pure Java port of the GPL’d AStyle (http://astyle.sourceforge.net/). jAstyle is intented to be created as a library and not as a command line tool, so It does not support those options associated to standard output or console.
A tool to query arrays in memory using SQL.
It groups the arrays in tables and returns arrays as result set.
It can be used in spreadsheets, as a script language library and everywhere is needed an interactive tool to query data in memory.
CookXml is a powerful dynamic XML data binding tool for Java. It is designed to be easily extensible and yet simple to use, with advanced exception handling. CookSwing and CookSwt are tag libraries for CookXml to do XML->GUI (XUL) for Swing and SWT.
JFolder is a web-based application development and management tool. It allows users to create applications through a web browser without writing any code. The current release includes an implementation of the Pet Store written without code.
DSQL ("Dynamic" SQL) is a scripting language for SQL, aka Perl for JDBC. It allows rapid development of code to perform database programming, data warehousing and import/export from databases, XML, Excel, etc.
Simple Logo is a small and very basic Logo interpreter intended to be used as an educational tool, to allow children to learn a simple programming language.
JRuby is the effort to recreate the Ruby interpreter in Java. JRuby is tightly integrated with Java to allow both to script any Java class and to embed the interpreter into any Java application. NOTE: JRuby has moved to Codehaus, visit jruby.codehaus.org
ActivityScript takes an activity diagram (created with a UML tool) and executes it's contents. The content of Activity boxes are executed, the Guards of a Decision box are evaluated to control program flow and Fork boxes initiate new threads.
JudoScript is a general-purpose, Java scripting, multi-domain scripting tool/language. It combines the powers of declarative scripting for many modern tasks and general object/procedural programming. It is simple, intuitive, practical and powerful.
JMdRdf is the tool which creates RDF/RSS.
1.You can generate RDF/RSS about your homepage from your HTML(s) without programming. JMdRdf extract Information such as title, description, etc automatically from HTML.
2.You can paste RDF/RSS into your HTML