Search Results for "mac os x"

x
Sort By:

Showing 1 open source project for "mac os x"

View related business solutions
Scientific/Engineering Standard ML Clear Filters & Widen Search
  • Boost Partnership Revenue and Engagement in minutes Icon
    Boost Partnership Revenue and Engagement in minutes

    Welcome to the next-generation PRM. Connect your CRM, launch your partner portal & start driving revenue on autopilot.

    Introw is a next-gen Partner Relationship Management (PRM) platform built to seamlessly connect, engage, and grow your partner ecosystem—all while keeping your CRM as the single source of truth.
    Learn More
  • A role-based, highly configurable module for managing merit, promotions, bonuses, and stocks. Icon
    A role-based, highly configurable module for managing merit, promotions, bonuses, and stocks.

    Your Partner in Streamlining HR and IT Operations.

    FocalReview®, SpiraLinks’ flagship tool, helps you manage your compensation planning and performance processes more efficiently.
    Learn More
  • 1
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    2 Reviews
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.
OSZAR »