Browse

OS OS

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

  • 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!
  • Rapid Development Environment like no other! Rapid Development Environment like no other! Icon
    Rapid Development Environment like no other! Icon

    89% of Our Customers Reduced Development Cycles Using RAD Studio. Start today a 30-Day trial (no credit card needed).

    RAD Studio™: Build cross-platform apps ridiculously FAST!  The top challenges customers solved with RAD Studio while developing applications include: Creating fast runtime application performance (50%), Keeping up with latest platforms and devices (50%), Meeting project deadlines (37%), Deploying to multiple platforms (36%) and Responsive design for multiple device types (27%).
  • Absfracked

    A Genetic Programming library that uses System F, a polymorphically typed lambda calculus to represent genotypes. System F is very expressive and allows the native representation of all common programming structures and of recursive structures.

    Downloads: 0 This Week Last Update: See Project
  • Arcade Mass Conspiracy

    a.m.c. is a project aimed to produce arcade games in functional languages, mainly Ocaml, and to test functional languages possibilities in game programming and in general

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

  • CT8K

    CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC

  • CompScheme

    CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).

    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!
  • EXXT

    A small programming language provided with an OCaML compiler.

    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
  • 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
  • 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
  • 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
  • Take Advantage of O365 + Online Backup Bundles Take Advantage of O365 + Online Backup Bundles Icon
    Take Advantage of O365 + Online Backup Bundles Icon

    The Perfect Small Business Offer That Packages Productivity, Disaster Recovery & Security Under One Price Tag. Join SherWeb to Start Reselling.

    Add more value to your Office 365 offers with Online Backup. The program will back up servers, desktops, virtual machines and smart devices, plus popular applications and Office 365 data. Online Backup comes with the Active Protection feature embedded, making it possible to stop any ransomware attack and restore encrypted files in a blink. It also provides a web-based intuitive console that eases backup and disaster recovery management.
  • GNU digital audio player

    GNUdap is a project to build an userspace driver to interface with proprietary-protocol usb mp3 players and mass storage devices. Currently GNUdap supports the following devices from Perstel,Inc. CHIC MP10, MP30, Symphony and the NGS Jogger from NGS.

    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
  • GyaanOS - The OS for Technology Sudents

    GyaanOS is a GNU/Linux desktop distribution specially designed for Technology Students- has everything a student of Computer Science, IT, Electronics or Telecom will ever need. GyaanOS is For The Students and By The Students. By:Laksh & Tanmaya

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

  • LSS/ASS

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

    Downloads: 0 This Week Last Update: See Project
  • Les Labyrinthes Icon

    Les Labyrinthes

    Voici un petit programme fait en Ocaml / Python et Blender. Ce programme a pour but de générer des labyrinthes en 3D mais aussi de les résoudre. ;)

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

    A set of blocks games (sokoban, taquin and various others) in 3D

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

    MLDonkey is a multi-platform multi-network peer-to-peer client.

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

    Monod is a computational model inspired by the biology of cells and the implementation of a simulation of this model.  Thinking of proteins as abstract processing units with a rich context leads to an alternative to the Turing / von Neumann architecture.

    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
  • OCaml Network Application Environment

    A collection of Objective Caml libraries to support the development of concurrent, single-threaded Internet application servers.

  • 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
  • Previous
  • You're on page 1
  • 2
  • Next

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

No, Thank you