Browse

OS OS

  • More...

Category Category

License License

Translations Translations

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • Join us at Talend Connect! Join us at Talend Connect! Icon
    Join us at Talend Connect! Icon

    Get your tickets to the best data-driven event of the year!

    May 7 – May 9. Use discount code TCCommunity2018 for $200 off.
  • Discover server and application network dependencies Discover server and application network dependencies Icon
    Discover server and application network dependencies Icon

    Discover and troubleshoot application dependencies to determine if it’s an application or network problem with SolarWinds Server & Application Monitor

    Server & Application Monitor helps you discover application dependencies to help identify relationships between application servers. Drill into those connections to view the associated network performance such as latency and packet loss, and application process resource utilization metrics such as CPU and memory usage. Determine if process utilization or network performance is affecting the application and end-user performance.
  • 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.

  • IMAJS

    Projet de photogrammétrie de fin d'année 2009 du groupe imajs pour EPITA

    Downloads: 0 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
  • Find out what (or who) is slowing down your network Find out what (or who) is slowing down your network Icon
    Find out what (or who) is slowing down your network Icon

    Get comprehensive network bandwidth analysis and performance monitoring with SolarWinds® Bandwidth Analyzer Pack.

    Network slow, but you don't know the cause? Use Bandwidth Analyzer Pack (BAP) to monitor and analyze network bandwidth performance and traffic patterns. With BAP, you can identify which users, applications, and protocols are consuming the most bandwidth. You can also monitor Wireless LAN Controller traffic to see what applications and clients are using your wireless network. Try it free for 30 days!
  • OCR

    OCR software written in C/CAML on Freebsd with a simple GTK+ gui.

    Downloads: 0 This Week Last Update: See Project
  • LSS/ASS

    The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.

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

    Ocaml implementation of FIX protocol.

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

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

    Downloads: 2 This Week Last Update: See Project
  • 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
  • ManageEngine now lets you patch computers from cloud ManageEngine now lets you patch computers from cloud Icon
    ManageEngine now lets you patch computers from cloud Icon

    ManageEngine Patch Manager Plus offers patching capabilities on cloud - Patch all OS updates and 550 third party apps on-demand and stay secure!

    Last year saw the hackers unleash their expertise in skills for a ransom - targeting those unpatched computers in data-critical institutions. Only if the computers were patched on time, billions of dollars could have been saved. ManageEngine’s Patch Manager Plus comes to your rescue, offering you an automated patching solution, now on cloud, for latest hotfixes of Windows updates and a wide range of third-party applications (over 550 of them).
    Automate patching with Patch Manager Plus, sit back & relax!
    Try FREE Trial
  • 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
  • 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: 0 This Week Last Update: See Project
  • Previous
  • You're on page 1
  • Next

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

No, Thank you