Showing page 1 of 1.

• 
  Smithy

  A Forge-like world editor for the AlephOne engine.

  1 weekly downloads
• 
  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.

  1 weekly downloads
• 
  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)

  0 weekly downloads
• 
  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.

  2 weekly downloads
• 
  goinche

  Un jeu de coinche, ou belote coinchée.

  3 weekly downloads
• 
  DigitalEyes

  DigitalEyes is an OCR (Optical Character Recognizer) developed in C/Caml released under GNU GPL by SuM42, as a sophomore project in EPITA.

  1 weekly downloads
• 
  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.

  1 weekly downloads
• 
  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...

  2 weekly downloads
• 
  MLDonkey

  MLDonkey is a multi-platform multi-network peer-to-peer client.

  710 weekly downloads
• 
  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

  0 weekly downloads
• 
  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.

  0 weekly downloads
• 
  LEMAC

  A GTK-server based GUI for Bigloo Scheme; a Windows distribution for both Bigloo, and GTK2. Tutorials on how to call GTK2 procedures from Scheme. A simple GUI for OCaml. It offers two kinds of widgets, to wit, buttons and an Emacs like mini-editor.

  1 weekly downloads
• 
  Xdialog2Ocaml

  This project is a simple interface to the Xdialog tool.

  3 weekly downloads