Browse

OS OS

  • More...
    • More...

Category Category

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

License License

    • More...

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

    • More...

User Interface User Interface

    • More...
  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • Pyramid - The Complete Self-Service Analytics Platform Pyramid - The Complete Self-Service Analytics Platform Icon
    Pyramid - The Complete Self-Service Analytics Platform Icon

    Easily combine data from multiple sources to build dashboards and reports with our scalable solution built for mid-size to enterprise companies.

    Pyramid combines analytic tools often found in separate applications. It features a graphically based ETL to model data and incorporate machine learning algorithms, intuitive data discovery tools that produce simple and advanced visualizations, a presentation builder for creating analytic applications and presentations, and an enterprise-grade report builder—all in a single, integrated platform that can be accessed from any browser or device.
  • 2018 Network Intelligence Planning Guide 2018 Network Intelligence Planning Guide Icon
    2018 Network Intelligence Planning Guide Icon

    Get insights on net neutrality, cloud readiness, security and WAN transformation.

    Networking is becoming cloudier, hybrid and more Internet-centric. IT managers now own user experience, whether they own the networks or not. Get our latest ebook to learn how network intelligence will help you adapt to a quickly changing Internet-centric environment.
    Are you involved with your company's network performance/operations team?
    Get Ebook
  • IPB Ukrainian translation

    Localization

    Localization for Invision Power Board 3.1.4

    Downloads: 0 This Week Last Update: See Project
  • IsaPlanner Reasoning Tools

    IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);

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

    IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.

    Downloads: 0 This Week Last Update: See Project
  • Ivory Language

    The Ivory Programming Language: A modern language for systems programming

    Downloads: 0 This Week Last Update: See Project
  • Java Integrated Build Environment

    The Java Integrated Build Environment is a build environment that combines XP concepts like Continuous Integration with existing tools like Ant, JUnit, CruiseControl, CVS and Tomcat, to provide the community with a tool to build, test and release software

    Downloads: 0 This Week Last Update: See Project
  • Trial SolarWinds Backup and you could receive a free Amazon Echo Dot Trial SolarWinds Backup and you could receive a free Amazon Echo Dot Icon
    SolarWinds Backup provides lightning-quick recovery that can restore business continuity after a disaster. For a limited time only, when you try SolarWinds Backup and store at least 100GB of selected data, you have the chance to receive a free Amazon Echo Dot.
  • KeplerCode

    The source code and supporting documents for the proofs of the Kepler and Dodecahedral conjectures.

    Downloads: 0 This Week Last Update: See Project
  • Kokatrix 2D singleplayer RPG

    Kokatrix is a system for building 2D single-player roleplaying games written in Objective Caml. Main features are a graphics engine, a map editor, scripting system and tools for generating large worlds.

    Downloads: 0 This Week Last Update: See Project
  • LInux Pour l'Entreprise

    This project aims at developping a set of programs for business needs, such as accounting, payroll and inventory.

    Downloads: 0 This Week Last Update: See Project
  • MLKit Icon

    MLKit

    Full-blown Standard ML Compiler

    The MLKit is a full-blown compiler for the programming language Standard ML. The MLKit implements most of the Basis Library and has support for ML Basis Files. The compiler runs on the Linux platform and targets the x86 architecture.

    Downloads: 0 This Week Last Update: See Project
  • MathML Editor for Flash

    "MathML Editor for Flash" is an implementation of MathML editor intended to be used in Adobe Flash applications. This project use "MathML Formula for Flash" project to display the formula. More info you can get from http://www.fmath.info

    Downloads: 0 This Week Last Update: See Project
  • Discover server and application network dependencies Discover server and application network dependencies Icon
    Discover server and application network dependencies Icon

    Discover and troubleshoot application dependencies to determine if it’s an application or network problem with SolarWinds Server & Application Monitor

    Server & Application Monitor helps you discover application dependencies to help identify relationships between application servers. Drill into those connections to view the associated network performance such as latency and packet loss, and application process resource utilization metrics such as CPU and memory usage. Determine if process utilization or network performance is affecting the application and end-user performance.
  • MathML Formula for Flash

    "MathML Formula for Flash" is an implementation of MathML to display the mathematical formula and it is intended to be used in Adobe Flash applications. More info you can get from http://www.learn-math.info/mathml.do?action=formula

    Downloads: 0 This Week Last Update: See Project
  • Medor VPN

    Logiciel de partage de fichiers pour l'INSA Toulouse (réseau basé principalement sur du VPN)

  • MlDoC

    The MlDoC system is a powerfull but 'simple as needed' documentation tool for OCaML programming projects. It consists currently of a frontend module and various backend modules for HTML, ASCII-Text and LaTeX output.

    Downloads: 0 This Week Last Update: See Project
  • MyNOS - My! Not another Operating System

    The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.

    Downloads: 0 This Week Last Update: See Project
  • Nada Amin's Software Projects

    Small or experimental software projects developed by Nada Amin

    Downloads: 0 This Week Last Update: See Project
  • Numerical Model Compiler

    A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.

    Downloads: 0 This Week Last Update: See Project
  • OCaml Eclipse Plugin

    Objective Caml (OCaml) Elipse Plug-In

    Downloads: 0 This Week Last Update: See Project
  • OCaml FFI Generator

    A tool to generate interfaces to C functions and datatypes. Includes a complete interface to the standard C Xlib. This project has significant overlap with some of <A HREF="http://caml.inria.fr/hump.html#ffi">these</A>, and one or two others as well.

    Downloads: 0 This Week Last Update: See Project
  • OCaml libplot interface

    OCaml Interface for the libplot plotting library from the GNU plotutils package.

    Downloads: 0 This Week Last Update: See Project
  • ONE Open Negotiation Environment

    The main objective of the ONE project is to enrich Digital Ecosystems with an decentralised negotiation environment and enabling tools that will allow organisations to create contract agreements for supplying integrated services as a virtual organisation

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

    OOOOOOOOO means On Oublie d'Ordinaire Outrageusement ses Outils dans l'Optique d'un Ouvrage en OcamL, and is a collection of small utilites designed to work with OCamL

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

    OpenDizzy is a tool for stochastic and deterministic simulation of chemical reactions.

    Downloads: 0 This Week Last Update: See Project
  • PCRE-interface for OCaml

    This library interfaces the PCRE-library (Perl Compatibility Regular Expressions) to OCaml.

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

    PPT2MP4 has the goal to provide sample scripts and documentation to create slide-based presentations following ISO 14496-1 (MPEG-4 Systems Standard).

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

    Perpetua is an implementation of Haskell and the ML language. Features from scripting languages such as Python will be incorporated to make Perpetua a better general purpose tool. Perpetua is meant to be approachable and well designed.

    Downloads: 0 This Week Last Update: See Project

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

No, Thank you