Browse

OS OS

  • More...

Category Category

License License

Translations Translations

Programming Language Programming Language

Status Status

Audience Audience

User Interface User Interface

Freshness Freshness

Top Apps

  • The Sight of Sound The Sight of Sound Icon
    The Sight of Sound Icon

    ­ Improve VoIP Visibility from SIP to RTP

    Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid and UCaaS voice services. Try the ThousandEyes VoIP monitoring solution today, free.
  • Focus on your Business with an integrated Business Cloud Focus on your Business with an integrated Business Cloud Icon
    Focus on your Business with an integrated Business Cloud Icon

    Reliable & Secure Business Phone Systems

    • No contracts, no cancellation fees, over 40 features
    • 99.999% financially backed uptime SLA
    • Free, expert support, certified by J.D. Power
  • 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.

  • OCaml Magic

    OCaml-Magic is an OCaml (http://caml.inria.fr/) binding for libmagic (to determine the type of files).

    Downloads: 43 This Week Last Update: See Project
  • ldap server and client library for Ocaml

    An implementation of the Light Weight Directory Access Protocol in Objective Caml. Both server and client libraries are provided, along with some data manipulation goodies such as a schema checker, and parsers for ldif, ldapurls etc.

  • newspeak

    Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.

    Downloads: 4 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.

  • Reduce Support Costs with TeamSupport’s B2B helpdesk Reduce Support Costs with TeamSupport’s B2B helpdesk Icon
    Reduce Support Costs with TeamSupport’s B2B helpdesk Icon

    Improve customer satisfaction with powerful and easy to use helpdesk software built specifically for business to business customer support.

    We do what you do – business software – so we get it. Customer support is critical to any business and as a B2B provider you not only need to manage contacts and tickets, you need to understand your business relationships at a customer level. TeamSupport is the only helpdesk software built for B2B and made to scale with you as you grow.
    • Easy to Use and Fully Customizable to Your Business
    • Relational Customer Database and Best in Class SLAs
  • Previous
  • You're on page 1
  • Next

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

No, Thank you