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

  • Citizen Development and the Consumerization of IT Citizen Development and the Consumerization of IT Icon
    Citizen Development and the Consumerization of IT Icon

    How is your organization empowering citizen developers to create their own solutions to improve productivity?

    Citizen developers are regular end-users who utilize low-code platforms, which empower them to create or customize applications which they and their colleagues can use, without the input of central IT. Citizen development software can enable any user to build applications or improve the efficiency of their business processes. It’s ultimately about putting more responsibility (and more technological capability) in the hands of workers.
  • 2018 Thomson Reuters Top 100 Global Tech Leaders 2018 Thomson Reuters Top 100 Global Tech Leaders Icon
    2018 Thomson Reuters Top 100 Global Tech Leaders Icon

    See how tech-sector leadership is being redefined in today’s complex business environment.

    21st century technology-sector leadership requires not only optimal financial performance but also attention to many other factors, including management and investor confidence, risk and resilience, legal compliance, innovation, environmental impact, social responsibility, and reputation. Successfully managing these areas may determine which tech companies have the fortitude to succeed in the future. Here’s to those that made the list.
    Who are today’s top global tech leaders?
    Read the report
  • 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: 18 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
  • 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
  • Parallax

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

    Downloads: 0 This Week Last Update: See Project
  • 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
  • WhatsUp® Gold - Start A Free 30-Day Trial WhatsUp® Gold - Start A Free 30-Day Trial Icon
    WhatsUp® Gold - Start A Free 30-Day Trial Icon

    All-in-one monitoring of your entire infrastructure with the industry's most user friendly pricing. Free trial of our award-winning software

    If you are like the rest of our user community, your IT team is busy. With pressure to deliver on-time projects, you don’t have a lot of time to spend making your management tools work. You need network monitoring tools that work for you. You want tools that makes it easy to find performance issues before your users do and resolve them before they impact the business. That’s why tens of thousands of customers around the world love WhatsUp Gold.
    1/2
    How many devices do you monitor on your company's network?
    2/2
    One last question before you visit our site:

    When do you plan to purchase a network performance monitoring solution?
  • 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
  • RunRadis

    Backtester for AAII SI PRO Data via RadiScript screens

    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
  • 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
  • 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
  • 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
  • omlsdk (Other ML Sudoku)

    Other ML Sudoku. With Caml Light.

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

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

No, Thank you