Browse

OS OS

  • More...

Category Category

License License

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

Audience Audience

User Interface User Interface

  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • Cloud Communications for Remote Teams Cloud Communications for Remote Teams Icon
    Cloud Communications for Remote Teams Icon

    Packed with Features to Support your Businesses Needs

    • 100% uptime, Patented design
    • Simple DIY Setup with Award Winning Support
    • Superior HD audio and video quality
  • 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!
  • LTL3 tools

    A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae. This is known from the area of runtime verification. For more information, see the associated project homepage.

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

  • MonPoly

    A monitor for MFOTL specifications

    MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic). An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download. The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project: http://www.infsec.ethz.ch/research/projects/mon_enf.

    Downloads: 3 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
  • 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
  • Focus on your Business with an integrated Business Cloud Focus on your Business with an integrated Business Cloud Icon
    Focus on your Business with an integrated Business Cloud Icon

    Reliable & Secure Communications Systems

    • 90+ features: video, file management, cloud phones
    • 99.999% financially backed uptime SLA
    • Expert support, certified by J.D. Power 2 years in a row
  • Carafe: ConditionAl RAndom Fields, Etc.

    Carafe is an implementation of Conditional Random Fields and related algorithms targeted at text processing applications. The latest version, jCarafe, is implemented in Scala and runs on the JVM.

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

    Backtester for AAII SI PRO Data via RadiScript screens

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

    New targets for haxe compiler: 1S v 8.x and 7.7

    Modification of the Haxe compiler which adds two compilation targets: 1S Enterprise 8.x and 1S Enterprise 7.7.

    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
  • 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!
    Patch On Cloud Now
  • 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
  • camomile

    Camomile is a Unicode library for ocaml. Camomile provides Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about 200 encodings, collation and locale-sensitive case mappings, and more.

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

    Felix programming language specifications and translator

    Downloads: 0 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
  • O'Caml Reins

    OCaml-Reins is a data structure library for O'Caml that includes cursor based iterators, a collection of functors to minimize client-side boilerplate, a powerful on-line benchmarking system and Quickcheck style testing infrastructure.

    Downloads: 0 This Week Last Update: See Project
  • GPU Flame Fractal Renderer

    Renderer for flam3 cosmic recursive fractal flames implemented on GPU. Requires a CUDA-capable graphics card.

  • Flashdot

    Flashdot is a program for generating and presenting visual perceptual experiments that require a high temporal precision. It is controlled by a simple experiment building language and allows experiment generation with either a text or a graphical editor.

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

    CamlOSG is an OCaml bindings for OpenSceneGraph.

    Downloads: 0 This Week Last Update: See Project
  • OCaml Game System

    MLGame is a 2d game library for OCaml built on top of SDL (OCamlSDL). It features sprites, collision, video contexts, high level network, console, input bindings, widgets and video primitives. Currently package includes some simple exaple games, an

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

    A GTK-server based GUI for Bigloo Scheme; a Windows distribution for both Bigloo, and GTK2. Tutorials on how to call GTK2 procedures from Scheme. A simple GUI for OCaml. It offers two kinds of widgets, to wit, buttons and an Emacs like mini-editor.

    Downloads: 0 This Week Last Update: See Project
  • McCarthy programming language

    McCarthy is an interpreter for a simple, first-order functional programming language which is Turing-complete and can be used as a model of computation.

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

    OCaml-Magic is an OCaml (http://caml.inria.fr/) binding for libmagic (to determine the type of files).

    Downloads: 30 This Week Last Update: See Project
  • OCaml Lego Mindstorm library

    This project moved to https://forge.ocamlcore.org/projects/ocaml-mindstorm/ OCaml-mindstorm is a library that enables you to drive Lego mindsotrm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.

    Downloads: 0 This Week Last Update: See Project
  • Previous
  • You're on page 1
  • 2
  • Next

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

No, Thank you