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

  • 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!
  • Join ACM and start mastering DevOps today. Join ACM and start mastering DevOps today. Icon
    Join ACM and start mastering DevOps today. Icon

    Access award-winning books, courses, and videos from Safari, Skillsoft , O’Reilly & more. Join ACM today for $75. It’s time to smash your silos.

    Learn the DevOps tools and practices you need to work smarter than ever before. Access Safari’s entire collection of nearly 50,000 titles from top publishers such as O’Reilly, Addison-Wesley, Packt, Pearson IT Certification, and others, as well as Skillsoft Learning Collections, which includes over 1,750 online courses, 4,800 eBooks, and thousands of short videos, including comprehensive titles on DevOps platforms and frameworks.
  • 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.

  • 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.

  • Fractal Compressor

    A program which aims at compressing and decompressing image files in various formats using the fractal compression method.

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

    Griff is a collection of projects including: (i) Sarl3 - Sets and Relations Library for doing Formal Concept Analysis (FCA); (ii) RJL a progamming language combining both static and dynamic typing, and (iv) PIG a simplistic triple store.

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

    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
  • 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!
  • The Acheron Limbo Compiler

    This is a port of the Dis virtual machine system to POSIX-compatible operating systems, based on the original Inferno sources, including a Limbo compiler. The port is intended to make the virtual machine and runtime environment more general and easily ex

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

    Objective caml to Python binding. It allows creating Python extension modules (*.so) using Objective caml language.

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

  • SPEmatic

    SPEmatic is an interpreter for SPE-style string-rewrite rules meant for use by students and instructors in introductory courses on phonological theory (a subfield of linguistics that deals with how sounds function in the grammars of natural languages).

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

    GLCaml is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0 and 2.1 plus some platform-independent extensions.

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

    CamlCSS is an O'Caml SDK to write server-side plugins for a first person shooter game Counter-Strike: Source.

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

    This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.

    Downloads: 0 This Week Last Update: See Project
  • ocaml-libsvm

    OCaml-libsvm provides bindings of the libsvm libary for the OCaml language.

    Downloads: 0 This Week Last Update: See Project
  • PG'OCaml

    PG'OCaml provides an interface to PostgreSQL databases for Ocaml applications. It extends the Ocaml syntax, enabling the embedding of SQL statements inside the Ocaml code, and checking at compile-time the consistency between the programme and the DB.

    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