GraphIL

GraphIL is a graphical editor for the intermediate language, one of the input formalisms of Verics. Verics is a tool for automated verification of Timed Automata and protocols, developed in the Institute of Computer Science of Polish Academy of Sciences.

Project Activity

See All Activity >

Follow GraphIL

GraphIL Web Site

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Rate This Project

User Reviews

Be the first to post a review of GraphIL!

Additional Project Details

Languages

English, Polish

Intended Audience

Developers

User Interface

Web-based, Win32 (MS Windows), X Window System (X11)

Programming Language

Java

Related Categories

Java Software Development Software

Registered

2004-02-10

Similar Business Software

Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
Plaid

Plaid is a global fintech infrastructure platform that enables businesses and consumers to securely connect to financial data and services. Through APIs that connect to more than 12,000 financial institutions across 20+ countries, Plaid operates the world’s largest open banking data network. By...

See Software
Hostinger Horizons

Hostinger Horizons is the perfect vibe coding tool, letting you build websites and apps based on an idea or a feeling. Simply describe what you want, and our AI acts as your personal designer and developer, creating a complete, mobile friendly project instantly. Horizons is built to create...

See Software
DbVisualizer

DbVisualizer is one of the world's most popular database editors. With almost 7 million downloads and Pro users in 150 countries worldwide, it won't disappoint you. Free and Pro versions are available. Developers, analysts, and DBAs use it to elevate their SQL experience with modern tools to...

See Software
Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software
Odoo

Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few. Odoo...

See Software