Browse

OS OS

    • More...
  • More...

Category Category

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

License License

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

  • 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
  • Ranked ‘Best App’ Password Manager by Apple and Google Icon
    Ranked ‘Best App’ Password Manager by Apple and Google Icon

    Still writing down passwords? Or rotating between a handful that you can remember? Not safe! Get Dashlane, It’s FREE!

    With all the accounts you have, remembering every single password is impossible. Dashlane protects your passwords and creates an easy, secure way to access all of your accounts on any device you own.
  • 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
  • CT8K

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

  • 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: 0 This Week Last Update: See Project
  • CodeTime Parallel Software Platform

    The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

    Downloads: 0 This Week Last Update: See Project
  • Join us at Talend Connect! Icon
    Join us at Talend Connect! Icon

    Get your tickets to the best data-driven event of the year!

    May 7 – May 9. Use discount code TCCommunity2018 for $200 off.
  • 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
  • Creen - C reengineering tool

    Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.

    Downloads: 0 This Week Last Update: See Project
  • Data Structure Tester

    Data Structure Tester is an OCaml application for multiple testing of various data structures (also written in other lanages, like C or C++).It proviedes many examples to test, easily configurable tester and signatures for all data structers to be tested.

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

    Document Clustering using Fast-Bit candidate generation as described by Tsau Young Lin et al. in a series of research papers.

    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!
  • 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
  • Galaxy Invaders

    Galaxy Invaders is a online multiplayer game. It consists of a series of different levels and challenges, each more difficult than the last, where the player must evolve amoung and against the other hostile connected player.

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

    GNU Keyserver based on SKS

    GNU Keyserver based on SKS but LSB FHS compatible and way faster implementation of patches. We do not provide diff files.

    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
  • Hardware Design Meta Language

    This project will develop a system for high-level logic design and simulation embedded in the Ocaml (http://caml.inria.fr/ocaml) programming language.

    Downloads: 0 This Week Last Update: See Project
  • Intercalation Calculus Prover

    An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.

    Downloads: 0 This Week Last Update: See Project
  • Kicad Ocaml OBSOLETE

    The project has moved! see http://code.google.com/p/kicadocaml/ Kicadocaml is a small project that reads and writes Kicad board (*.brd) files produced by Kicad's pcbnew software. Currently, the software consists of an OpenGL gui & a tool to allow ar

    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.

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

    The MAPeG Geographic Modeler (MGM) will provide you an easy and user-friendly way to visualize your 2D Map into an amazingly stunning 3D view! MGM is a 2nd-Year EPITA Students 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
  • 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
  • MicroCartouche OSI

    MicroCartouche OSI est un petit logiciel de mesures et de formatage pour microphotographe. Il est particulièrement indiqué pour les échanges d'images dans le forum du Naturaliste (http://www.lenaturaliste.net/index.php)

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

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

No, Thank you