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 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
  • 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
  • CIL (C Intermediate Language)

    CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.

  • 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 Network Application Environment

    A collection of Objective Caml libraries to support the development of concurrent, single-threaded Internet application servers.

  • banshee

    banshee-- A toolkit for building constraint-based program analyses

    Downloads: 1 This Week Last Update: See Project
  • Ocaml Mainloop

    A library to develop high availability aplications not based on threads and written in Ocaml language. It provides support for protocol encoding/decoding, active/passive or active/active services, replicated data storage, ...

    Downloads: 0 This Week Last Update: See Project
  • Microsoft Office 365 monitoring simplified Microsoft Office 365 monitoring simplified Icon
    Microsoft Office 365 monitoring simplified Icon

    Monitor your Office 365® (O365) Exchange™ mailboxes and system applications with the SolarWinds® Server & Application Monitor unified platform.

    SolarWinds Server & Application Monitor allows you to monitor your hybrid IT applications and systems. Monitor Microsoft® Office 365 Exchange side by side on your on-premises Exchange server and other applications. Check, track, and report on O365 user/shared mailbox growth, users over quota, archived mailboxes, inactive mailboxes, mobile device, mailbox groups, and more. You can also monitor Microsoft portal access to help ensure you’re meeting your SLAs.
  • Splow

    Splow is a spam mitigation solution which attempts to reduce the bandwidth available to SMTP clients suspected of distributing spam or viruses.

    Downloads: 0 This Week Last Update: See Project
  • Lambda Tamer

    A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant

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

    svgconv is a content tool to convert SVG paths into a C format that can be easily used with OpenVG.

    Downloads: 2 This Week Last Update: See Project
  • Kinship Icon

    Kinship

    A testbed for checking the potential usefulness of some new methods of measuring the closeness of gene sequences.

    Downloads: 0 This Week Last Update: See Project
  • Ocamlfix

    Ocaml implementation of FIX protocol.

    Downloads: 0 This Week Last Update: See Project
  • Monitor your Cisco ASA like an expert Monitor your Cisco ASA like an expert Icon
    Monitor your Cisco ASA like an expert Icon

    See how Network Insight™ for Cisco® ASA, a feature of SolarWinds Network Performance Monitor and Network Configuration Manager, can help.

    Get visibility into the health and performance of your entire Cisco ASA environment in a single dashboard. View VPN tunnel status and monitor firewall high availability, health, and readiness. Automatically discover and filter within ACLs, show rule hit counts, and detect shadow and redundant rules. Automate the monitoring and management of your ASA infrastructure in a fully integrated solution. Try it free for 30 days!
  • Previous
  • You're on page 1
  • Next

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

No, Thank you