Browse

OS OS

  • More...

Category Category

License License

Translations Translations

Programming Language Programming Language

  • More...

Status Status

Audience Audience

User Interface User Interface

Database Environment Database Environment

Freshness Freshness

Top Apps

  • 2018 Thomson Reuters Top 100 Global Tech Leaders 2018 Thomson Reuters Top 100 Global Tech Leaders Icon
    2018 Thomson Reuters Top 100 Global Tech Leaders Icon

    See how tech-sector leadership is being redefined in today’s complex business environment.

    21st century technology-sector leadership requires not only optimal financial performance but also attention to many other factors, including management and investor confidence, risk and resilience, legal compliance, innovation, environmental impact, social responsibility, and reputation. Successfully managing these areas may determine which tech companies have the fortitude to succeed in the future. Here’s to those that made the list.
    Who are today’s top global tech leaders?
    Read the report
  • The First VoIP Communications Cloud in the World The First VoIP Communications Cloud in the World Icon
    The First VoIP Communications Cloud in the World Icon

    The Smarter Business Phone Solution

    • Powerful Unified Communication Features
    • Fast, Easy, Free Setup & Install
    • Trusted by 47,000+ Companies in 100 Countries
  • Archive of Formal Proofs Icon

    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.

  • MonPoly

    A monitor for MFOTL specifications

    MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic). An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download. The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project: http://www.infsec.ethz.ch/research/projects/mon_enf.

    Downloads: 1 This Week Last Update: See Project
  • Toss

    Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

    Downloads: 0 This Week Last Update: See Project
  • savonet Icon

    savonet

    Audio and video streams generator

    Audio toolkit for streaming, aiming at complex Internet radio and video systems. Our stream generator is highly extensible and flexible. Script based, it can be a fully automatic daemon streamer, but is also used for live shows with an user-friendly GUI.

  • Previous
  • You're on page 1
  • Next

Get latest updates about Open Source Projects, Conferences and News.

No, Thank you