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.
Real-time error alerts, performance insights, and anomaly detection across your full stack. Free 30-day trial.
Move from alert to fix before users notice. AppSignal monitors errors, performance bottlenecks, host health, and uptime—all from one dashboard. Instant notifications on deployments, anomaly triggers for memory spikes or error surges, and seamless log management. Works out of the box with Rails, Django, Express, Phoenix, Next.js, and dozens more. Starts at $23/month with no hidden fees.
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.
Co-op is a workbench for the definition and use of composition operators: abstractions that can encapsulate standard solutions such as coding idioms, design patterns and composition techniques, and can later be (re-) used just like library classes.
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
JPype is an effort to allow python programs full access to java class libraries. This is achieved not through re-implementing Python, as Jython/JPython has done, but rather through interfacing at the native level in both Virtual Machines.
Maintenance and evolution of the project has moved! please see http://www.jpype.org for the latest version
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.
Extensible language for portable parallelism. Any visual element may be used to extend program syntax and a re-writing rule defined for it. Syntactic elements have properties attached, enabling symbolic manipulation to specialize to hardware.
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.
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
Alvyn is a free and open source re-implementation of Amos Pro Basic (Amiga) a Basic interpreter used for game developing. Alvyn is multiplatform and written in C++, with aim to preserve max compatibility with AmosPro. It use SDL library for graphics and