Browse

OS OS

    • More...
  • More...
    • More...

Category Category

    • More...
    • More...
    • More...
    • More...

License License

    • More...

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

    • More...
  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • Master DevOps using online learning resources from ACM! Master DevOps using online learning resources from ACM! Icon
    Master DevOps using online learning resources from ACM! Icon

    Stay current with the DevOps tools that are redefining how software and IT teams collaborate, and learn how to transform your organization today.

    Master emerging DevOps technologies and frameworks. Learn the foundations of DevOps, or take a deep dive into cutting-edge technologies and frameworks like Docker, Amazon Web Services, Kubernetes, Ansible, Ubuntu, Agile, SDN and more with ACM’s collection of more than 50,000 online books, courses and videos from O’Reilly, Packt, John Wiley, IT Revolution, Skillsoft and other leading publishers.
  • 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!
  • oCaml Ultimate Lisp

    Objective Caml Ultimate Lisp is a Lisp dialect implemented in OCaml. It performs many features, such as lazy evaluation, and both static and dynamic linkage, partial application of functions, tail-recursivity ...

  • Cobol Code Testing Tool

    This tool tests COBOL source code, using the SSA (Single Static Assignment) form as intermediate representation to obtain varibles definition-use chains under different criteria.

    Downloads: 1 This Week Last Update: See Project
  • Database File System

    Database File System; Actually do not think of it as a file system, instead think of it as a document system. And while being precise, it is not database system either, it is a faceted system, It helps to organizes your information nicely.

    Downloads: 1 This Week Last Update: See Project
  • Decision Procedure Toolkit

    The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.

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

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

    Downloads: 1 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: 1 This Week Last Update: See Project
  • POESIA (Internet content filter)

    POESIA= Public Opensource Environment for a Safer Internet Access an opensource Internet content filter (multimodal, mulitlingual) aimed for protection of youth (in schools...); partly funded by the European Commission

    Downloads: 1 This Week Last Update: See Project
  • Relational Filesystem

    A linux userspace shadow (file data is on disk) relational filesystem (aka "database filesystem") using fuse and postgresql to store metadata. Directories can be queries, and powerful features (e.g. bayesian classification) are added through plugins

    Downloads: 1 This Week Last Update: See Project
  • 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
  • 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: 1 This Week Last Update: See Project
  • 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
  • Address list map visualizer

    Starting from various input files, we parse to find a list of addresses, then display them on a map.

    Downloads: 0 This Week Last Update: See Project
  • Another Roguelike In Development

    Alpha roguelike game development framework.

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

    Antares provides a client and server for a turn based space-themed strategy game. Rules are modular, and the default rules (and the client look and feel) resemble Stars! very closely. It is written in OCaml using the Tk binding.

    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
  • AsciiMation Generator

    AsciiMation Generator is an ascii-art animation generator. Asciimation is created from a specific programming language and using specified sprites. AMGenerator is an interpreter written in OCaml.

    Downloads: 0 This Week Last Update: See Project
  • Blast Software Verification Tool

    The Blast Software Verification Tool

    Downloads: 0 This Week Last Update: See Project
  • Boxman Quiz

    Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch th

    Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch the player pushed boxes around a maze, viewed from above, and tries to put them in designated location. Only one box may be pushed at a time, and boxes cannot be pulled. This Game is coded in Caml language, So to try it, you need to compile it first with Camllight.

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

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

  • Caml Community Code

    A set of tools for the Objective Caml language build and maintained by the OCaml community.

  • CamlAL

    CamlAL is an OCaml bindings for OpenAL.

    Downloads: 0 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
  • CamlDT

    Eclipse Plugin of OCaml

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

No, Thank you