Showing page 1 of 8.

• 
  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
• 
  Address list map visualizer

  Starting from various input files, we parse to find a list of addresses, then display them on a map.

  0 weekly downloads
• 
  Another Roguelike In Development

  Alpha roguelike game development framework.

  0 weekly downloads
• 
  Antares

  Antares provides a client and server for a turn based space-themed strategy game. Rules are modular, and the default rules (and the client look and feel) resemble Stars! very closely. It is written in OCaml using the Tk binding.

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

  0 weekly downloads
• 
  Archive of Formal Proofs

  A collection of machine-checkend mathematical proofs

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

  0 weekly downloads
• 
  Blast Software Verification Tool

  The Blast Software Verification Tool

  0 weekly downloads
• 
  Boxman Quiz

  Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch th

  0 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.

  0 weekly downloads
• 
  CT8K

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

  0 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.

  0 weekly downloads
• 
  Caml Community Code

  A set of tools for the Objective Caml language build and maintained by the OCaml community.

  0 weekly downloads
• 
  CamlAL

  CamlAL is an OCaml bindings for OpenAL.

  0 weekly downloads
• 
  CamlCSS

  CamlCSS is an O'Caml SDK to write server-side plugins for a first person shooter game Counter-Strike: Source.

  0 weekly downloads
• 
  CamlDT

  Eclipse Plugin of OCaml

  0 weekly downloads
• 
  CamlGI

  CamlGI is a web framework build on top of OCamlNet2.

  0 weekly downloads
• 
  CamlGoBot

  CamlGoBot is a computer go program using the GTP protocol and written in OCaml. Its main goal is to be used as a bot on the KGS go server.

  0 weekly downloads
• 
  CamlOSG

  CamlOSG is an OCaml bindings for OpenSceneGraph.

  0 weekly downloads
• 
  Camlexif

  Camlexif is an Exif parsing library entirely written in Objective Caml (OCaml).

  0 weekly downloads
• 
  Carafe: ConditionAl RAndom Fields, Etc.

  Carafe is an implementation of Conditional Random Fields and related algorithms targeted at text processing applications. The latest version, jCarafe, is implemented in Scala and runs on the JVM.

  0 weekly downloads
• 
  CheckFence

  CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.

  0 weekly downloads
• 
  CimulA

  Cellular Automata simulator. Native code (fast) and modular design: update rule, topology, time, measurement, initialization are independant. No GUI (for now...): configuration file (commented default automatically generated) overridable by command line.

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

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

  0 weekly downloads

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