Showing 10 open source projects for "visual c++ source code"

View related business solutions
  • AestheticsPro Medical Spa Software Icon
    AestheticsPro Medical Spa Software

    Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

    AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
    Learn More
  • The Most Powerful Software Platform for EHSQ and ESG Management Icon
    The Most Powerful Software Platform for EHSQ and ESG Management

    Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.

    Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
    Learn More
  • 1
    Merlin

    Merlin

    Context sensitive completion for OCaml in Vim and Emacs

    Merlin is an editor service that provides modern IDE features for OCaml. Emacs and Vim support is provided out-of-the-box. Since version 4.0, merlin's repository has a dedicated branch per version of OCaml, and the branch name consist of the concatenation of OCaml major version and minor version. So, for instance, OCaml 4.11.* maps to branch 411. The main branch is usually synchronized with the branch compatible with the latest (almost-)released version of OCaml. Note: if you're using an...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2

    ParTools

    Support for manual parallelization of sequential C programs.

    ParTools allows the interactive analysis of a C program execution profile and data dependencies to facilitate the discovery and selection of suitable parallelization candidates in a manual parallelization process. The flow does not assume any specific parallelization technique, thus it can be broadly applied. The original (serial) C source is automatically annotated to trace the execution profile and data dependencies at run-time. The annotated program is then executed using a...
    Downloads: 11 This Week
    Last Update:
    See Project
  • 3
    CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.
    Downloads: 15 This Week
    Last Update:
    See Project
  • 4

    STP

    MOVED TO GITHUB. Code here is STALE.

    THE STP CODE HAS MOVED TO GITHUB. THE CODE HERE IS STALE. PLEASE CHECKOUT THE FOLLOWING WEBSITE: http://stp.github.io/
    Downloads: 0 This Week
    Last Update:
    See Project
  • CloudZero: The Cloud Cost Optimization Platform Icon
    CloudZero: The Cloud Cost Optimization Platform

    CloudZero automates the collection, allocation, and analysis of your infrastructure and AI spend to uncover waste and improve unit economics.

    CloudZero is the leader in proactive cloud cost efficiency. We enable engineers to build cost-efficient software without slowing down innovation. CloudZero's next-generation cloud cost optimization platform automates the collection, allocation, and analysis of cloud costs to uncover savings opportunities and improve unit economics. We are the only platform that enables companies to understand 100% of their operational cloud spend and take an engineering-led approach to optimizing that spend. CloudZero is used by industry leaders worldwide, such as Coinbase, Klaviyo, Miro, Nubank, and Rapid7.
    Learn More
  • 5
    OCaml FEM provides a set of libraries to facilitate writing of finite element codes in OCaml (http://caml.inria.fr/). It provides uniform interaction with several meshers, examples of FEM code using Lacaml.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Jekyll is a high level programming language that can be translated to and from readable, editable C, thus allowing it to be used in C projects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Enterprise AI Agents for Every Customer Moment Icon
    Enterprise AI Agents for Every Customer Moment

    For enterprise companies looking for AI Agents

    From chat to voice to SMS, every conversation gets a smart, personalized response powered by your policies, tone, and data.
    Learn More
  • 10
    banshee-- A toolkit for building constraint-based program analyses
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next