Tag automata

More

CellFighter Game 2.5

BriskLogic - Freeware -

CellFighter offers an engaging blend of strategic gameplay and colorful graphics that challenges players to develop their skills in a vibrant cellular world. more info...

More

UPPAAL is an efficient and user-friendly tool designed for modeling, validation, and verification of real-time systems, making it indispensable for researchers and developers in the field of formal methods. more info...

More

Kandid 1.0.0

blind-zone - Open Source -

Kandid by blind-zone offers an innovative approach to recruitment, leveraging AI to enhance candidate matching and streamline hiring workflows. more info...

More

TimesTool 1.2

Leonid Mokrushin - Freeware -

TimesTool offers a seamless solution for time tracking and task management, allowing users to optimize productivity with ease. more info...

More

The PEP tool 2.4

hybrid - Open Source -

The PEP tool by Hybrid transforms project management efficiency through its intuitive interface and robust features, making it a must-have for modern teams. more info...

More

Cellumat3D 0.31

Aldaran - Open Source -

Cellumat3D is an innovative software solution that streamlines the process of 3D printing with advanced modeling and optimization tools, allowing users to create intricate designs with ease. more info...

More

UPPAAL TIGA 0.9

Alex - Open Source -

UPPAAL TIGA by Alex offers an efficient platform for modeling, verification, and validation of timed automata systems, making it a go-to choice for researchers and practitioners alike. more info...

More

Micropolis 1.0

Don Hopkins - Open Source -

Micropolis is an engaging open-source city-building simulator that allows players to design, develop, and manage their own cities while navigating challenges and opportunities. more info...