• 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
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 1
    G4LTL-ST

    G4LTL-ST

    Generating PLC programs from formal specifications

    G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    CQL

    CQL

    an all new query language and a sequel to SQL

    The project was developed for C/C++ programmers who are not familiar with SQL syntax.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    HMGScript is a JavaScript library. The goal of the project is to allow developers the creation of web applications using the same logic as desktop applications via simple objects. For data manipulation, it allows the use of MySql databases and dbf (xBase) files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Picartesius

    Picartesius

    Excel/VBA Integration of Picat programming language

    Picartesius is a VBA library created by Lorenz Schiffmann for integrating Picat in Excel Spreadsheets. https://sourceforge.net/projects/picartesius Picat is a simple, and yet powerful, logic-based multi-paradigm programming language created by Neng-Fa Zhou and Jonathan Fruhman aimed for general-purpose applications. http://picat-lang.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | 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
  • 5
    DUnit FMX

    DUnit FMX

    DUnit translation to FMX and Mac OS X.

    DUnit is a framework of classes designed to support the Xtreme approach to software testing. This branch from the principal project, is for transform his visual interface to the new Firemonkey framework, know too as FMX. Current version is only for the old VCL framework. When project finish, it shall work for run unit test in Windows and Mac OS X. And of course for Android and IOS too. Did you need this approach? You can support us saying you like this project and leaving a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    imywa
    Intranet My Web Applications. This is a develop tool for creating intranet web applications based on mysql store procedures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Agilo™

    Agilo™

    Agilo™ - The Agile Enforcement Office Suite

    When it comes to Agile Project Management, some high performing tools are acting a vital role for projects success. AGILO is pretend to be one of the best agile tools present in the market which intends to manage all the project related activities like (user stories, iteration, burn down charts, resource load, standup meetings, backlog etc.) performed in an Agile project Development. It allows you to plan and track the progress of your development cycle on the fly by giving you the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    QuteContainer

    IoC and Dependency Injection Container for the C++ Qt framework

    QuteContainer is a lightweight Inversion of Control (IOC) container to use for Dependency Injection. QuteContainer is build with and for the C++ Qt framework. QuteContainer can automatically resolve object dependency trees using constructor parameter injection.
    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
    Ladybug
    A tool designed to help with the process of Agile planning and development. The immediate aim of this project is to offer a light, free and user-friendly solution for small and medium sized products developed using Agile techniques.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    QScrumPoker

    Qt based Scrum Poker

    Application which helps in scrum plannings. Written in Qt/QML - highly portable.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    MakeEasy4Me: Properties

    MakeEasy4Me: Properties

    Make Easy to work with resource bundle.

    One desktop application to make more easy put existing texts in a resource bundle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    LazRefactor

    Adds refactoring to Lazarus IDE.

    Aim of LazRefactor is to add some refactoring features to Lazarus IDE.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    this is a small program to organize your files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    A very Flexible and Plugin-able Test Automation Engine. It fully supports the Standardized Test Tool Interfaces as described in http://www.testtoolinterfaces.com/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    For Java developpers who need to request SOAP server... until SOAP is deprecated. This is a client Java API. It does not require neither perform any code generation. It fits within a single jar file. soap-dust is validated against real servers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Dynamic tree of Java objects encapsulates hard-drive and Jar/Zip files (and their inner files) and Java objects all the same way. Create new ways of communication as executable Jar files, like a paint program that creates/uses paint programs as tools
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Agile Test
    Agile Test is a web-based test case management system with easy-to-use interface. It is designed to fit the team management needs regarding user stories, feature requirements and test cases in scrum framework. Online Demo: http://agiletest.cc/demo
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Hermes - Selenium For Humans

    Hermes - Selenium For Humans

    (H)uman (R)eadable and (M)achine (E)xecutable (S)pecification

    Hermes provides a powerful yet usable automation solution, making it the most popular Selenium framework in the world, with over 8,000 downloads. Create human readable, machine executable Selenese style tests in Excel. The world's first automation framework fully integrated with Selenium IDE, RC and GRID; yet built for humans. Be up and running using a feature rich Selenium RC framework in minutes. Hermes comes with advanced reporting, analysis, debugging and enterprise level Java...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21
    A QT based code gen. app for visual php development. Based on a XML XSLT PHP framework that makes it possible to select visual elementsin a WebKit rendered HTML editor and generate PHP that gets the XML and add the XSLT into the current HTML.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    A specialized web-framework for developing applications intended for use in contact centers. It aims at creation of agent desktop and building reports.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    AssemblerFramework是一个基于JAVAEE的框架。提供MVC、IOC容器、国际化、plugin机制等功能,框架自身采用松散结构,除了入口的Servlet,其他部件提供了可替换和扩展点。提供了注解和xml2种配置。
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Cross platform GUI managing bookmarks and shortcuts in a portable way. Support import/export, search, encryption, hierarchical tags, USB key installation, various environments integration, OS-dependent shortcuts, plugins extensibility.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    Herramientas para acceso a datos, permite la conexion a multiples fuentes de datos, entre ellas: SqlServer, MySql, PostgreSql, Oracle, otras.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next