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.
Try it Free
Gemini 3 and 200+ AI Models on One Platform
Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.
Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
Support variant based Javaprogram execution, adapted to support MDE.
...The main goal of the program is to design transformation chains based on features diagram variants. The model transformers orchestration is obtained by using Features Diagrams and Transformation Diagrams (a feature that must be re-implemented to support of a Java drawing API). Any help is welcome.
Given that we have some good results in running dynamic transformation chains, we decided to extend the tool to support another goal: a Java API to support variant based program's execution.
...
Write, check, index and diagram Z specifications in Microsoft Word.
...Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.
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.
Secure File Transfer for Windows with Cerberus by Redwood
Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.
Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Javaprogram, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
JTombstone is a program for finding dead code in your Java programs. It reports on dead code at the method level, by processing Java class files. No source code is needed to use it. JTombstone is a Javaprogram and requires JDK 1.4 or later.
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.
Pinnus is a project management tool for Extremme Programming. The program offers
options to control stories, iterations and participates of a project.
It is based on Eclipse Rich Client Platform and uses HSQLDB database .
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.