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

  • Use DigitalOcean to Build, Deploy & Scale Web Apps Icon
    Use DigitalOcean to Build, Deploy & Scale Web Apps Icon

    The ease and simplicity of DigitalOcean gives developers more time to build and innovate for their customers.

    Thousands of businesses and developers around the world use DigitalOcean to easily deploy, manage, and scale applications of any size with less infrastructure friction. Go from one to a thousand virtual servers in seconds. Also, we continue to add hundreds of in-depth tutorials to our documentation library and have an active online community to get the support you need to succeed.
  • 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 and 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.
  • 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.

  • CIL (C Intermediate Language)

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

  • Mini Gosix

    Mini Gosix is a small program that allows you to play Gosix board game (by Pierre Canuel) against a computer opponent. There are selectable difficulty levels and GUI. Program is written in OCaml using TK widgets.

    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.

  • 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: 0 This Week Last Update: See Project
  • Calling all QA Testers! Icon
    Calling all QA Testers! Icon

    mabl makes software testing fast, easy and reliable.

    mabl is the only ML-driven test automation service that automatically maintains tests and identifies regressions for you. Eliminate flaky tests with mabl.
  • 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