Showing 29 open source projects for "libwinptheard-1.dll"

View related business solutions
  • Propelling Payments for Software Platforms Icon
    Propelling Payments for Software Platforms

    For SaaS businesses to monetize payments through its turnkey PayFac-as-a-Service solution.

    Exact Payments delivers easy-to-integrate embedded payment solutions enabling you to rapidly onboard merchants, instantly activate a variety of payment methods and accelerate your revenue — delivering an end-to-end payment processing platform for SaaS businesses.
  • Business Continuity Solutions | ConnectWise BCDR Icon
    Business Continuity Solutions | ConnectWise BCDR

    Build a foundation for data security and disaster recovery to fit your clients’ needs no matter the budget.

    Whether natural disaster, cyberattack, or plain-old human error, data can disappear in the blink of an eye. ConnectWise BCDR (formerly Recover) delivers reliable and secure backup and disaster recovery backed by powerful automation and a 24/7 NOC to get your clients back to work in minutes, not days.
  • 1
    Belle is a generic higher order theorem prover in the style of Isabelle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    The aim of this project is to produce a software that will content two modules : - the first one will allow to conduct simulations of social behavior, - the second one will be able to produce philosophical considerations. The version version will be i
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The main objective of the ONE project is to enrich Digital Ecosystems with an decentralised negotiation environment and enabling tools that will allow organisations to create contract agreements for supplying integrated services as a virtual organisation
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    A collection of modeling tools for system comprehension. Includes 1) DEMOS2K - a semantically justified version of DEMOS 2) SAVANT - a tool for evaluating system availability 3) GOLDSTAR - an arbitrary reward calculation system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Eptura Workplace Software Icon
    Eptura Workplace Software

    From desk booking and visitor management, to space planning and office utilization data, Eptura Workplace helps your entire organization work smarter.

    With the world of work changed forever, it’s essential to manage your workplace and assets together to effectively create a high-performing environment. The Eptura experience combines the power of workplace management software with asset management, enabling you to effectively operate your building and facilitate hybrid work.
  • 5
    The DUML project is 3 sub-projects: 1) Document Update Markup Language (DUML) which allows for updates of the DOM via server markup 2) Interpreted Application Markup Language (IAML) which provides markup based widgets. 3) A set of common libraries (JAS).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Development of Cross-Media-Invoice XML Specification for Broadcast TV, Radio, Cable, Print and other media
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    SGML DTD for the creation of Bash scripts for iptables configuration
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    XSF (XmlSourceFile)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Cybersecurity Management Software for MSPs Icon
    Cybersecurity Management Software for MSPs

    Secure your clients from cyber threats.

    Define and Deliver Comprehensive Cybersecurity Services. Security threats continue to grow, and your clients are most likely at risk. Small- to medium-sized businesses (SMBs) are targeted by 64% of all cyberattacks, and 62% of them admit lacking in-house expertise to deal with security issues. Now technology solution providers (TSPs) are a prime target. Enter ConnectWise Cybersecurity Management (formerly ConnectWise Fortify) — the advanced cybersecurity solution you need to deliver the managed detection and response protection your clients require. Whether you’re talking to prospects or clients, we provide you with the right insights and data to support your cybersecurity conversation. From client-facing reports to technical guidance, we reduce the noise by guiding you through what’s really needed to demonstrate the value of enhanced strategy.
  • 10
    What is it:<br> ----------<br> A simulation of a very simplified aunts nest. <br> It is a restricted area (square) fullfill with aunts and rice.<br> Rice is first randomly positionned in the area and aunts will sort it in a unique batch. <br>
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    hazel aims to be a practical programming language for development of large software projects. Its application domain is similar to that of C++. Its syntax is similar to that of C.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    TinySemantics is a theme/skin for TinyMCE. Its emphasis is on generating valid XHTML using the WYSIWYG TinyMCE editor. This theme is Text Only and is suitable for use with CMS where presentation has been separated from content.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    MP4MENU has the goal to make the process of creating Menus - as known on DVDs - following ISO 14496-1 (MPEG-4 Systems Standard) as easy as possible, by providing some sample scripts and documentation
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    Small or experimental software projects developed by Nada Amin
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Fireball (FSD) Amoeba is a distributed operating system. It collects a huge varity of single machines connected over a (fast) network to one, huge computer.It's a full Operating System Distribution. Based on Amoeba,Vrije Universiteit.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    Objective Caml (OCaml) Elipse Plug-In
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    C-Prime, or C' in abbreviation, is simply an attempt to add some fun and modern features to C without sacrificing speed or power. We intend to make "down and dirty programming" a "more enjoyable" experience.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    JimboVector 3D is a suite of applications and source code which allow 3D application developers to easily implement complex 3D items into their projects. Such items would include character animations and physics, 3D maps, realtime 3D animated cutscenes,
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21
    A modern, full-fledged Point-of-Sale system created and extensible under the Mozilla framework. Targeting small to large businesses and enterprises, we aim to use open internet standards in creating a truly modern point of sale system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    A tool to generate interfaces to C functions and datatypes. Includes a complete interface to the standard C Xlib. This project has significant overlap with some of <A HREF="http://caml.inria.fr/hump.html#ffi">these</A>, and one or two others as well.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    The Java Integrated Build Environment is a build environment that combines XP concepts like Continuous Integration with existing tools like Ant, JUnit, CruiseControl, CVS and Tomcat, to provide the community with a tool to build, test and release software
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    A web application architecture for Objective Caml that enables the creation and management of dynamic content.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    This is a collection of several simple functional languages all based on combinator graph reduction techniques for interpretation. For now there's only one package here: lazy-l, which is an interpreter for Alonzo Church's untyped lambda calculus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next