Browse

OS OS

  • More...

Category Category

License License

    • More...

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • WhatsUp® Gold - Start A Free 30-Day Trial WhatsUp® Gold - Start A Free 30-Day Trial Icon
    WhatsUp® Gold - Start A Free 30-Day Trial Icon

    All-in-one monitoring of your entire infrastructure with the industry's most user friendly pricing. Free trial of our award-winning software

    If you are like the rest of our user community, your IT team is busy. With pressure to deliver on-time projects, you don’t have a lot of time to spend making your management tools work. You need network monitoring tools that work for you. You want tools that makes it easy to find performance issues before your users do and resolve them before they impact the business. That’s why tens of thousands of customers around the world love WhatsUp Gold.
    1/2
    How many devices do you monitor on your company's network?
    2/2
    One last question before you visit our site:

    When do you plan to purchase a network performance monitoring solution?
  • 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
  • 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.

  • WideStudio

    WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice

  • TimeCoreWar

    A Core War with time manipulation!

    This is an Ocaml implementation of a variant of Core War I’ve invented where programs can travels through time (which can replace the threads). It’s more or less functionnel now. There stay some bugs, but we can play with it right now! If you have any warrior, you can send them to me by email, I’ll send you mines back ;) To try it quickly, just type in an Unix terminal the following command: bzr branch bzr://timecorewar.bzr.sourceforge.net/bzrroot/timecorewar ; cd timecorewar ; make all opt There is also a JavaScript implementation of it, where you can play directly in your browser against some warriors there: http://timecorewar.sourceforge.net You can exchange fighter or discuss about strategies on https://sourceforge.net/p/timecorewar/discussion/fighters/ If you want any informations about this project, just contact me! Martin.

    Downloads: 0 This Week Last Update: See Project
  • [Kro]bot Icon

    [Kro]bot

    To design a complete, wheeled robot, capable of accomplishing simple tasks, manipulate objects and have human interaction capabilities. Includes electronic board design, firmware and AI programming, computer-robot interaction software and mechanics.

    Downloads: 1 This Week Last Update: See Project
  • Creen - C reengineering tool

    Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.

    Downloads: 0 This Week Last Update: See Project
  • Citizen Development and the Consumerization of IT Citizen Development and the Consumerization of IT Icon
    Citizen Development and the Consumerization of IT Icon

    How is your organization empowering citizen developers to create their own solutions to improve productivity?

    Citizen developers are regular end-users who utilize low-code platforms, which empower them to create or customize applications which they and their colleagues can use, without the input of central IT. Citizen development software can enable any user to build applications or improve the efficiency of their business processes. It’s ultimately about putting more responsibility (and more technological capability) in the hands of workers.
  • Toss

    Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

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

  • OCamlPlugin

    Integrated development environment for OCaml programming language. It offers a flexible editor with a content type sensitive content assist processor. It provides the possibility to compile and run OCaml projects together with the convenient presentation

    Downloads: 0 This Week Last Update: See Project
  • 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
  • RunRadis

    Backtester for AAII SI PRO Data via RadiScript screens

    Downloads: 0 This Week Last Update: See Project
  • SolarWinds is #1 in network monitoring. SolarWinds is #1 in network monitoring. Icon
    SolarWinds is #1 in network monitoring. Icon

    Reduce network outages and improve performance with advanced network monitoring software.

    SolarWinds® Network Performance Monitor (NPM) is the ONLY monitoring solution with NetPath™ for hop-by-hop visibility into your critical paths, on-premises and into the cloud. NPM also features PerfStack™, helping you accelerate identification of root cause by dragging-and-dropping network performance metrics on a common timeline for immediate visual correlation across all of your network data. See why we're the leader. Try it free for 30 days!
  • OCamlTeX

    LaTeX editor written in Objective Caml (OCaml) with the GTK+ toolkit. It provides multi-document interface, syntax highlighting, code completion, UTF-8 support, plugins, customizable GUI, regexp-based find and replace and more...

    Downloads: 0 This Week Last Update: See Project
  • Lexy, a Scrabble playing bot

    Lexy is a Scrabble-playing bot written in OCaml. Because it can be compiled to a machine executable, it is wicked fast.

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

    Screen (or SCalable REndering ENgine) is a rendering engine based on both 3D rendering and highlty parallel algorithms. It provides powerful scripting interfaces and integrated development environment for 3D games and scientific simulations.

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

    A simple and deterministic syntax for wikis and more...

    Downloads: 0 This Week Last Update: See Project
  • php-pagebuilder

    Create the php code for flexible database access screens. This can be used to build a complete frontend to a project.

    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: 4 This Week Last Update: See Project
  • SMOCaml

    SMOCaml is a server for Stepmania Online written from scratch in OCaml.

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

    A Forge-like world editor for the AlephOne engine. We have migrated to GitHub for all future releases.

    Downloads: 0 This Week Last Update: See Project
  • ODT: OCaml Development Tools Icon

    ODT: OCaml Development Tools

    The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).

    Downloads: 3 This Week Last Update: See Project
  • The MinCaml Compiler

    *** Moved to http://github.com/esumii/min-caml ***

    *** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!

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

    Felix programming language specifications and translator

    Downloads: 0 This Week Last Update: See Project
  • OCaml ExtLib

    A User-supported Extended Standard Library for OCaml

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

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

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

    Camelia is an IDE for OCaml designed with students and new users in mind. It sports syntax highlighting, tool-tip type checking, clickable error explanations, an integrated debugger, and more.

  • L'Aube des Héros

    AdH is a 3D multiplayer role playing game based on the greek antiquity. Preliminary projects include a C++ types serialization generator, and a 3D train game.

  • Previous
  • You're on page 1
  • 2
  • Next

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

No, Thank you