Showing page 1 of 8.

• 
  MLDonkey

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

  633 weekly downloads
• 
  savonet

  Audio and video streams generator

  284 weekly downloads
• 
  WideStudio

  WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice

  58 weekly downloads
• 
  GPU Flame Fractal Renderer

  Renderer for flam3 cosmic recursive fractal flames implemented on GPU. Requires a CUDA-capable graphics card.

  41 weekly downloads
• 
  CIL (C Intermediate Language)

  CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.

  25 weekly downloads
• 
  pdfsandwich

  pdfsandwich generates "sandwich" OCR pdf files, i.e. pdf files which contain only images (but no editable text) will be processed by optical character recognition (OCR) and the text will be added to each page invisibly "behind" the images. pdfsandwich is a command line tool which is supposed to be useful to OCR scanned books or journals. It is able to recognize the page layout even for multicolumn text. Essentially, pdfsandwich is a wrapper script which calls the following binaries: convert, cuneiform, gs, and hocr2pdf. It is known to run on Unix systems and has been tested on Linux and MacOS X. It supports parallel processing on multiprocessor systems. For further information please read the manual: http://www.tobias-elze.de/pdfsandwich/index.html

  32 weekly downloads
• 
  ocaml-glpk

  OCaml bindings for GLPK

  20 weekly downloads
• 
  Free Tennis

  A tennis simulation developed by a former tennis player. Its main feature is realism. For gameplay, this means you have total control over the shot parabola. For graphics, it means players have realistic gestures. For AI, it means real tactics.

  35 weekly downloads
• 
  STP

  STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools, model checkers, bug finders, hardware/software formal verification tools, intelligent fuzzer

  22 weekly downloads
• 
  Camelia

  Camelia is an IDE for OCaml designed with students and new users in mind. It sports syntax highlighting, tool-tip type checking, clickable error explanations, an integrated debugger, and more.

  12 weekly downloads
• 
  The MinCaml Compiler

  MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!

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

  16 weekly downloads
• 
  camomile

  Camomile is a Unicode library for ocaml. Camomile provides Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about 200 encodings, collation and locale-sensitive case mappings, and more.

  16 weekly downloads
• 
  GLCaml

  GLCaml is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0 and 2.1 plus some platform-independent extensions.

  8 weekly downloads
• 
  banshee

  banshee-- A toolkit for building constraint-based program analyses

  8 weekly downloads
• 
  Archive of Formal Proofs

  A collection of machine-checkend mathematical proofs

  4 weekly downloads
• 
  ODT: OCaml Development Tools

  The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).

  7 weekly downloads
• 
  Fusepak

  Fusepak is a small program, that makes it possible to mount PACK or WAD files (used by y idSoftware games, ie. Quake, Doom) under a directory. This is achieved by using FUSE system (http://fuse.sourceforge.net), which is needed for this program to run.

  6 weekly downloads
• 
  OCamlFuse

  This is an ocaml binding for fuse (filesystem in userspace) enabling you to write your own multithreaded, efficient userspace filesystems using the ocaml programming language.

  6 weekly downloads
• 
  OCamlSDL

  OCamlSDL is an OCaml interface to the SDL (Simple DirectMedia Layer) library.

  6 weekly downloads
• 
  Decision Procedure Toolkit

  The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.

  5 weekly downloads
• 
  Flashdot

  Flashdot is a program for generating and presenting visual perceptual experiments that require a high temporal precision. It is controlled by a simple experiment building language and allows experiment generation with either a text or a graphical editor.

  5 weekly downloads
• 
  OCaml Game System

  MLGame is a 2d game library for OCaml built on top of SDL (OCamlSDL). It features sprites, collision, video contexts, high level network, console, input bindings, widgets and video primitives. Currently package includes some simple exaple games, an

  5 weekly downloads
• 
  Relational Filesystem

  A linux userspace shadow (file data is on disk) relational filesystem (aka "database filesystem") using fuse and postgresql to store metadata. Directories can be queries, and powerful features (e.g. bayesian classification) are added through plugins

  5 weekly downloads
• 
  RunRadis

  Backtester for AAII SI PRO Data via RadiScript screens

  5 weekly downloads

• Back
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• Next