Showing 29 open source projects for "one-wire"

View related business solutions
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
  • Build Securely on Azure with Proven Frameworks Icon
    Build Securely on Azure with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
  • 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
  • All-in-One Payroll and HR Platform Icon
    All-in-One Payroll and HR Platform

    For small and mid-sized businesses that need a comprehensive payroll and HR solution with personalized support

    We design our technology to make workforce management easier. APS offers core HR, payroll, benefits administration, attendance, recruiting, employee onboarding, and more.
  • 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
  • The Trusted Leader in Text Marketing Icon
    The Trusted Leader in Text Marketing

    Drive traffic to your business by sending text messages to your customers.

    SlickText is the leading text messaging platform. Since 2012, SlickText has turned text messaging into a major competitive advantage for companies. Today, over 40,000 customers across North America, including ESPN, American Cancer Society and FedEx, use SlickText’s award-winning software to drive relationships, leverage data, and get results. The company has dual headquarters in Jamestown, NY and Nashville, TN. To learn more about SlickText, visit slicktext.com.
  • 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: 0 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