• Full-stack observability with actually useful AI | Grafana Cloud Icon
    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.
    Create free account
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    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.
    Try it Free
  • 1
    The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    A minimalistic CASE tool that will allow end-users to analyze their graphs (plain-old graphs, UML diagrams, ERDs, etc.) by applying various graph theory functions to them (such as a shortest path algorithm or a spanning tree algorithm.)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    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 .
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    hm DataModeler
    hm DataModeler is a software for modeling data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Streamline Azure Security with Palo Alto Networks VM-Series Icon
    Streamline Azure Security with Palo Alto Networks VM-Series

    Centrally manage physical and virtualized firewalls with Panorama

    Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
    Learn more
  • 5
    Genesis is a software engineer integrated tool that provides many ways to manage all artifacts related to a software development process. Includes requirements management functionalities, and a complete environment to execute tests.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A CASE (Computer-Aided Software Engineering) web-based tool that support organisation in achieving formal peer review. IEEE 1028-1997 (Standard for Software Reviews) compatible, this tool provides easy peer review process configuration and execution.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Swing Spy is java based Swing/AWT spy agent that prints the widget under the cursor (like Spy++ for Windows/MFC and SWT Spy for Java-SWT). Download from the homepage: http://www.nenoff.com/swingspy/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Hayta-UML is a Web2.0 UML tool, that allows users to draw UML diagrams. A core design decision is to have a native version-control inside the application.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Schemamajig is a tool for designing and comparing schemas across multiple databases. It provides a graphical environment for designing and comparing schemas and a command line interface for comparing schemas.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Atera - an All-in-one platform for IT management Icon
    Atera - an All-in-one platform for IT management

    Ideal for IT departments and MSPs (managed service providers)

    Your IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
    Try Atera now
  • 10
    This is a little Java Swing applications that lets you draw Finite State Machines (FSMs) and generates portable ANSI-C source code.
    Downloads: 0 This Week
    Last Update:
    See Project