Browse

OS OS

  • More...

Category Category

License License

Translations Translations

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

Database Environment Database Environment

Freshness Freshness

Top Apps

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

    Errances is a tactical role playing game written in OCaml. Features battles in a 3D environment. The aim is to have lots of secondary quests but not a single main story.

    Downloads: 0 This Week Last Update: See Project
  • GEM library

    A set of very optimized tools for indexing/querying huge genomes/files. Provided so far: a very fast exact mapper, and an unconstrained split-mapper

    Downloads: 6 This Week Last Update: See Project
  • MazeML

    MazeML est un logiciel de création et de résolution rapides de labyrinthes. Écrit en Objective Caml (OCaml) avec GTK+, il est portable sur de nombreuses plateformes. Il est publié sous les termes de la licence GNU GPL v3.

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

    A Rogue-like game with an unforseenable physic.

    This is a project of a Rogue-like game that would be… more unforseenable. Its game generator is meant to be more complex than other Rogue-like so that even its own physics can be modified by magic (among other things). To test it, run the following command on a terminal: bzr branch bzr://mythes.bzr.sourceforge.net/bzrroot/mythes ; cd mythes ; make launch If you encounter any difficulty, please contact developers.

    Downloads: 0 This Week Last Update: See Project
  • Identify and respond to threats before damage is done Icon
    Identify and respond to threats before damage is done Icon

    A SIEM that makes it easy to use logs for security, compliance, and troubleshooting.

    SolarWinds® Log & Event Manager (LEM) delivers comprehensive Security Information and Event Management (SIEM) capabilities in a highly affordable, easy-to-use, and quick-to-deploy virtual appliance. LEM provides the visibility, security, and control that IT professionals need to alert on and respond to security threats, and assist in meeting the regulatory compliance guidelines of HIPAA, PCI DSS, SOX, and more. Try it FREE for 30 days!
  • OCamlBoggle

    OCamlBoggle implements the well-known game Boggle. It is licensed under the terms of the GNU GPL v3. It is written in OCaml with GTK+ and should thus work with many OS platforms. Its French database contains more than 600 000 entries.

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

    Code Name Parallax :: Soon to be MO(RPG?) game.

    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
  • Surikata Icon

    Surikata

    SURIKATA (Syntactic Universal Reasoning for Inducing Kolmogorov Abstract Theories Automatically) is a system for searching large spaces of artifacts and inducing algorithms for generating similar artifacts.

    Downloads: 0 This Week Last Update: See Project
  • Machine Driven Regression Testing. Icon
    Machine Driven Regression Testing. Icon

    Detect anomalies such as latency issues, Javascript errors, visual regressions, broken links, and more.

    mabl provides code-free testing, integrated with your pipeline with no infrastructure to maintain. mabl uses machine learning models to automatically identify application issues, including javascript errors, visual regressions, broken links, increased latency, and more.
  • The RAF (Read-Alignment Format) project

    The focus of the RAF project is to develop efficient tools to handle, process and store huge amounts of genomic data (like for instance those coming from high-throughput sequencing techniques)

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

    A functional programming language

    Cartesian is a pure functional programming language, wrapped in an imperative and object oriented layer. The main goal is to separate both worlds and to have some very clean and well defined interfaces. This project is the reference implementation of the language, as an interpreter. The interpreter's goal is not performance.

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

    This project contains a library for writing compilers/type systems and toy compilers for small games.

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

    COmbinatory LOgic BOlogna is a framework to test and develop Combinatory Logic based languages. It works, obviously, also for the K,S,I, Combinatory Logic.

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

    loon is a GLR parser generator that takes EBNF grammars as specifications. Tokens are specified in the grammar file, and it generates a parse tree instead of executing actions. A single grammar can output a parser in any supported language.

    Downloads: 0 This Week Last Update: See Project
  • omlsdk (Other ML Sudoku)

    Other ML Sudoku. With Caml Light.

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

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

No, Thank you