52 programs for "contract++" with 1 filter applied:

  • Red Hat Ansible Automation Platform on Microsoft Azure Icon
    Red Hat Ansible Automation Platform on Microsoft Azure

    Red Hat Ansible Automation Platform on Azure allows you to quickly deploy, automate, and manage resources securely and at scale.

    Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
  • Gain insights and build data-powered applications Icon
    Gain insights and build data-powered applications

    Your unified business intelligence platform. Self-service. Governed. Embedded.

    Chat with your business data with Looker. More than just a modern business intelligence platform, you can turn to Looker for self-service or governed BI, build your own custom applications with trusted metrics, or even bring Looker modeling to your existing BI environment.
  • 1
    CCXT

    CCXT

    JavaScript/TypeScript/Python/C#/PHP cryptocurrency trading API

    The ccxt library is a collection of available crypto exchanges or exchange classes. Each class implements the public and private API for a particular crypto exchange. All exchanges are derived from the base Exchange class and share a set of common methods. To access a particular exchange from ccxt library you need to create an instance of corresponding exchange class. Supported exchanges are updated frequently and new exchanges are added regularly.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    OpenZeppelin Contracts

    OpenZeppelin Contracts

    OpenZeppelin Contracts is a library for secure smart contracts

    A library for secure smart contract development. Build on a solid foundation of community-vetted code. OpenZeppelin Contracts uses semantic versioning to communicate backward compatibility of its API and storage layout. To keep your system secure, you should always use the installed code as-is, and neither copy-paste it from online sources nor modify it yourself. The library is designed so that only the contracts and functions you use are deployed, so you don't need to worry about it needlessly...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    openbravopos

    openbravopos

    Open Source Openbravo POS convert to Commercial Retail ERP and POS

    Complete and user-friendly retail POS functionality A comprehensive, flexible, and user-friendly cloud-based retail POS software. 1. Sales, quotations, reservations, and returns, including cross-store and cross-channel scenarios. 2. Automatic validation of customer personal data. 3. Configuration of keymaps for quick access to options and featured products. https://www.youtube.com/watch?v=Aai3iYLP2TQ&pp=ygUNb3BlbmJyYXZvIGtkcw%3D%3D Contact: both version of Openbravo POS...
    Leader badge
    Downloads: 87 This Week
    Last Update:
    See Project
  • 4
    Kwok Information Server
    Kwok Information Server is an open source IT management system, providing IT asset tracking (hardware inventory and software license), issue tracking (helpdesk), service contract management, vendor contact management, and knowledge base.
    Downloads: 13 This Week
    Last Update:
    See Project
  • Cyber Risk Assessment and Management Platform Icon
    Cyber Risk Assessment and Management Platform

    ConnectWise Identify is a powerful cybersecurity risk assessment platform offering strategic cybersecurity assessments and recommendations.

    When it comes to cybersecurity, what your clients don’t know can really hurt them. And believe it or not, keep them safe starts with asking questions. With ConnectWise Identify Assessment, get access to risk assessment backed by the NIST Cybersecurity Framework to uncover risks across your client’s entire business, not just their networks. With a clearly defined, easy-to-read risk report in hand, you can start having meaningful security conversations that can get you on the path of keeping your clients protected from every angle. Choose from two assessment levels to cover every client’s need, from the Essentials to cover the basics to our Comprehensive Assessment to dive deeper to uncover additional risks. Our intuitive heat map shows you your client’s overall risk level and priority to address risks based on probability and financial impact. Each report includes remediation recommendations to help you create a revenue-generating action plan.
  • 5

    DEEP

    Differential Evolution Entirely Parallel Method

    ... several objective functions in offspring evaluation. RPMs are available at https://build.opensuse.org/project/repositories/home:mackoel:compbio This work is supported by RNF Grant 14-14-00302 and by “5-100-2020” Program of the Russian Ministry of Education and Science. The previous funding included SYSPATHO FP7 project №260429, RFBR grants 10-01-00627-a, 11-01-00573-a, 11-04-001162-a and State Contract with Russian Ministry of Science №14.740.11.0166 and №11.519.11.6041
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6
    Token Airdrop

    Token Airdrop

    Create Your Token Airdrop and Collect Fees

    Create Your Token Airdrop and Collect Some Money, Increase your token holders by distributing small amount from your token to 1000's of holders, also you can collect fees. Follow this steps: 1- create airdrop contract: https://0xfactory.com/airdrop-contract 2- choose your preferred theme (dark or light) Dark demo: https://airdrop.0xfactory.com Light demo: https://airdrop-light.0xfactory.com 3- edit the file "data.json" using any text editor and save 4- upload all the files...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Java Modeling Language (JML)
    This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    webERP Accounting & Business Management

    webERP Accounting & Business Management

    Accounting & Best Practice Business Administration System

    ... Planning - Shipment costing - Contract/job costing - Fixed asset management - Sales Analysis - Expense claims - Can be integrated with an number of 3rd party wikis Particularly suited to wholesale, distribution, manufacturing and now also as the hub for multi-branch retail businesses (with an external deskop POS add-on). Translations into over 20 Languages. Easily modifiable code, written using simple and accessible PHP for ease of maintenance and understanding. Reporting direct to UTF-8...
    Leader badge
    Downloads: 103 This Week
    Last Update:
    See Project
  • 9

    SPL Compiler

    A low-level system programming language with high-level syntax

    A new system programming language designed to occupy the same niche C is currently holding, that allows for easier development of large platform-independent systems. The aims are to: * Keep all of C's system programming strengths. * Be as efficient as C (at run-time) and as high-level as possible for the programmer. * Promote modularity and ease the development of large-scale component-based software. * Enable programming-by-contract and other high-level features (as long...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Integrate in minutes with our email API and trust your emails reach the inbox | SendGrid Icon
    Integrate in minutes with our email API and trust your emails reach the inbox | SendGrid

    Leverage the email service that customer-first brands trust for reliable inbox delivery at scale.

    Email is the backbone of your customer engagement. The Twilio SendGrid Email API is the email service trusted by developers and marketers for time-savings, scalability, and delivery expertise. Our flexible Email API and proprietary Mail Transfer Agent (MTA), intuitive console, powerful features, and email experts make it easy to ensure all your email gets delivered in seconds and without interruption.
  • 10
    EiffelStudio
    EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...
    Downloads: 19 This Week
    Last Update:
    See Project
  • 11
    OpenUnderwriter (Insurance Distribution)

    OpenUnderwriter (Insurance Distribution)

    Feature rich insurance quote & buy system for underwriters and brokers

    OpenUnderwriter is an open source software house specialising in the development of IT solutions for the insurance market. Specialists in the areas of eBusiness and component based development, the team has developed technology for a number of major insurance companies. The OpenUnderwriter platform has been collaboratively developed by some of the best technical brains in the Insurance Industry and offers a viable alternative to traditional solutions. To date, OpenUnderwriter has been...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 12
    Free Dean's Office for MOODLE
    Manage subscriptions to the Moodle course, contract with students, educational services, the trajectory of learning, academic groups, individual and group training, student record-books, learning processes, milestones, current and final grades, etc.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    OVal - object validation framework

    OVal - object validation framework

    object validation framework for Java

    OVal is an extensible object validation framework for Java 5 or later. Annotations (@NotNull) or XML configuration files can be used to express class constraints. OVal can optionally use AspectJ to enforce automatic validation (DbC) How to use: https://sebthom.github.io/oval/USERGUIDE.html OVal releases are available via the the Bintray JCenter Maven repository https://bintray.com/bintray/jcenter?filterByPkgName=oval
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    e-Bridge Vehicle

    e-Bridge Vehicle

    Vehicle rental management for SME operators

    New Version coming soon. Designed as a simple reservation management system for SME vehicle rental agencies. Created as a test harness for our e-Bridge travel distribution product, but fully functional for use by operators, car, bike, bus rental agencies. e-Bridge Vehicle is e-Bridge ready, so it can be connected directly to your website via an online booking engine and directly to agents. Software is language independent. Register for e-Bridge http://www.e-bridge.co Demo TBA -...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 15
    An MDA(model driven architecture) tool to generate a complete web / mobile app from a UML model. Will generate high quality , best practices compliant code from UML model for all tiers of an enterprise application i.e. presentation, persistence, plumbing
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    jContractor is a tool to provide Design by Contract support to the Java programming language. Contracts are specified by writing methods that follow jContractor's naming convention.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Scramble!
    “Scramble your social network data!” - With Scramble you can selective enforce you access control preferences for your content on social networks like Facebook or Twitter ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    FRSH/FORB is a contract-based resource reservation framework for distributed real-time applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19

    PHP Design by Contract

    Base class for PHP 5.3+ which allows design by contract in PHP

    PHP Design by Contract provides a basic implementation of contract programming in PHP 5.3+. The base Contract class allows new or existing classes to define properties as protected Attributes and methods as Routines, which require argument type/class validation, aswell as PreCondition and PostCondition checks. Instances can also check for state consistency with an invariant check.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Data Structure & Algorithm Library(DSAL)
    The Data Structure & Algorithm Library (DSAL) is a library of classical data structure and algorithm.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    This application is designed to help create Contract bridge hands with constrains on points and/ or number of cards per suite for each player. The program is an easy to use Java program which outputs the results in an HTML format (fits an A4 page for easy printing). Media wiki pages: http://sourceforge.net/apps/mediawiki/bridgedealer/
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22

    DiegoInventoryCE

    OpenSource Inventory Management

    This is a simple PHP/MySQL based asset management system which was written in response to a real business need. The business problem was that a system was required to track all items of equipment supplied to a customers site as well as any internal equipment which had been returned. This tracking also had to include a log history of where it had been and any work which had been done to it. Each item has a chronological log to track maintenance and so on as well as attachments, item...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23

    XJML

    XJML 1.0 is a platform for Verification and Validation of Java classes

    XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Intopia layer

    Intopia layer

    Software platform

    Free open-source platform to create web-based Excel type software applications. Software include next modules: users, users admin, rights groups, documents/files, languages, contacts, companies, system correct and check. Added some basic finance modules (examples): invoice orders, equipment and contract management.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Track and trace your contracts. You will be aware when contracts expire and/or when it is time to cancel any contract. Version 2.10 (Multiple attachments per contract), please read the documentation, specifically on upgrading.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next