MacTech Network:   MacForge.net  |  Computer Memory  |  Register Domains  |  Printer Supplies  |  Cables  |  iPod Deals  |  Mac Deals

  MacTech Magazine

sponsored by MacTech Magazine

 
 

MacForge
  About MacForge  
  MacForge Home  
MacTech Magazine
  About MacTech  
  News  
  Subscribe  
  Submit a Tip!  
  Get a copy of MacTech RISK FREE  
  Writer's Kit  
  Editorial Staff  
  Advertising  
MacForge Search
Hot MacForge Topics
  Clustering  
  Database  
  Desktop  
  Development  
  Enterprise  
  Financial  
  Games  
  Hardware  
  Internet Phone  
  Multimedia  
  Networking  
  Security  
  SysAdmin  
MacTech Central
  by Category  
  by Company  
  by Product  
MacTech Network
  Computer Memory  
  Low Cost Domains  
  Printer Supplies  
  Cables  
Contact MacTech
  Customer Service  
  MacTech Store  
  Legal/Disclaimers  
  Webmaster Feedback  
Original MacForge
Code by:
   
 
   
Browse By:
Database Environment
Development Status
Intended Audience
License
Operating System
Programming Language
Topic
Translations
User Interface

   Programming Language
      OCaml (Objective Caml)
 Mac Projects  Mac/nix Projects
Simple View
Projects Per Page: 10 20 50
Sort By:
Add Filters
84 projects in result set. Projects sorted by: Ranking (Top Ranked First)
Select a page:   1   2   3   4   5   Next
1. 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.


  • Topic: Turn Based Strategy
  • User Interface: Tk, Command-line
  • Translations: English
  • Programming Language: OCaml (Objective Caml)
  • Operating System: All 32-bit MS Windows (95/98/NT/2000/XP), All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X), All POSIX (Linux/BSD/UNIX-like OSes)
  • License: GNU General Public License (GPL)
  • Intended Audience: End Users/Desktop
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
2. Archive of Formal Proofs - The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

Click here to download.  
  • Topic: Mathematics, Library, Software Development
  • User Interface: X Window System (X11)
  • Translations: English
  • Programming Language: Standard ML, Haskell, OCaml (Objective Caml)
  • Operating System: Solaris, Linux, OS X, All POSIX (Linux/BSD/UNIX-like OSes), Cygwin (MS Windows)
  • License: BSD License, GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Science/Research
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

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


  • Topic: Multimedia, Interpreters, Code Generators
  • User Interface: Console/Terminal
  • Translations: English
  • Programming Language: OCaml (Objective Caml)
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers, Advanced End Users
  • Development Status: 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
4. avern - avern is a strongly typed, interpreted, scripting language, with imperative constructs, but a strong functional flavor.


  • Topic: Interpreters
  • Programming Language: C, OCaml (Objective Caml)
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: BSD License
  • Intended Audience: Developers
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
5. banshee - banshee-- A toolkit for building constraint-based program analyses

Click here to download.  
  • Topic: Compilers, Code Generators, Quality Assurance
  • Translations: English
  • Programming Language: C, OCaml (Objective Caml)
  • Operating System: 32-bit MS Windows (NT/2000/XP), Linux, All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), WinXP, Win2K, All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X)
  • License: BSD License, GNU General Public License (GPL)
  • Intended Audience: Developers, Quality Engineers
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
6. Blast Software Verification Tool - The Blast Software Verification Tool


  • Topic: Testing
  • User Interface: Console/Terminal
  • Programming Language: C++, OCaml (Objective Caml)
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: Apache License V2.0
  • Intended Audience: Quality Engineers
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
7. cacaoweb - cacaoweb is a program for peer to peer internet communication. It features a DHT, a P2P communication platform, a live P2P streaming facility and a P2P web protocol.

Click here to download.  
  • Topic: WWW/HTTP, Chat, File Sharing, Streaming
  • User Interface: Web-based
  • Programming Language: OCaml (Objective Caml)
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: Public Domain
  • Intended Audience: End Users/Desktop
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

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

Click here to download.  
  • Topic: Debuggers, Integrated Development Environments (IDE)
  • User Interface: Qt
  • Translations: English
  • Programming Language: C++, OCaml (Objective Caml)
  • Operating System: Linux, OS X, Cygwin (MS Windows), WinXP, MinGW/MSYS (MS Windows)
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers
  • Development Status: 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
9. Caml Community Code - A set of tools for the Objective Caml language build and maintained by the OCaml community.


  • Topic: Frameworks, Build Tools
  • Programming Language: OCaml (Objective Caml)
  • Operating System: All 32-bit MS Windows (95/98/NT/2000/XP), All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X), All POSIX (Linux/BSD/UNIX-like OSes)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Advanced End Users, Developers
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
10. CamlDT - Eclipse Plugin of OCaml

Click here to download.  
  • Topic: Software Development
  • User Interface: Eclipse
  • Translations: English
  • Programming Language: OCaml (Objective Caml), Java
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Developers
  • Development Status: 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
11. CamlGI - CamlGI is a web framework build on top of OCamlNet2.

Click here to download.  
  • Topic: CGI Tools/Libraries
  • Translations: English
  • Programming Language: OCaml (Objective Caml)
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Developers
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

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

Click here to download.  
  • Topic: Text Processing, Software Development
  • Programming Language: OCaml (Objective Caml)
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Developers
  • Development Status: 4 - Beta

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
13. charconv64 - charconv64 converts images to Commodore 64 format. Currently it supports multicolor, hires, ESCOS and sprite overlays.


  • Topic: Graphics Conversion
  • User Interface: Command-line
  • Translations: English
  • Programming Language: OCaml (Objective Caml)
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: BSD License
  • Intended Audience: Advanced End Users
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

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

Click here to download.  
  • Topic: Simulations, Bio-Informatics, Mathematics, Physics
  • User Interface: Command-line
  • Translations: English
  • Programming Language: OCaml (Objective Caml)
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: GNU General Public License (GPL)
  • Intended Audience: Science/Research
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

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


  • Topic: Frameworks, Compilers, Simulations, Virtual Machines, Distributed Computing, Integrated Development Environments (IDE)
  • User Interface: Eclipse, Java Swing, Command-line, SDL
  • Programming Language: Java, OCaml (Objective Caml), C
  • Operating System: OS Independent (Written in an interpreted language), OS Portable (Source code to work with many OS platforms), Project is an Operating System Kernel
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers, Science/Research, Information Technology
  • Development Status: 2 - Pre-Alpha
  • Database Environment: MySQL

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
16. CompScheme - CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).

Click here to download.  
  • Topic: Sound/Audio
  • User Interface: Command-line
  • Programming Language: OCaml (Objective Caml)
  • Operating System: Linux, OS X, All POSIX (Linux/BSD/UNIX-like OSes)
  • License: GNU General Public License (GPL)
  • Intended Audience: Education, Science/Research, Advanced End Users
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
17. coThreads - coThreads (formerly known as STMlib), is a concurrent programming library for OCaml. It features both high and low level constructors, for both shared-memory and message-passing style concurrency. The library is equipped with a set of source-level and ob

Click here to download.  
  • Topic: Software Development
  • Programming Language: OCaml (Objective Caml)
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
18. CT8K - CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC


  • Topic: Physics, Chemistry
  • Programming Language: OCaml (Objective Caml), Python, C++
  • Operating System: Linux, OS Portable (Source code to work with many OS platforms)
  • License: GNU General Public License (GPL)
  • Intended Audience: Advanced End Users, Developers
  • Development Status: 3 - Alpha, 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

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

Click here to download.  
  • Topic: Electronic Design Automation (EDA), Mathematics
  • Programming Language: OCaml (Objective Caml)
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: Apache License V2.0
  • Intended Audience: Science/Research
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
20. Delimited overloading - A syntax extension to ease the writing of efficient arithmetic expressions in OCaml. The development moved to OCaml Forge: http://forge.ocamlcore.org/projects/pa-do/


  • Topic: Other/Nonlisted Topic
  • Programming Language: OCaml (Objective Caml)
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Developers
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0
84 projects in result set. Projects sorted by: Ranking (Top Ranked First)
Select a page:   1   2   3   4   5   Next
-->
Click on the cover to
see this month's issue!
TRIAL SUBSCRIPTION
Get a RISK-FREE subscription to the only technical Mac magazine!

Today's Deal
 


©1984-2009 MacTech Magazine. www.mactech.com
Toll Free 877-MACTECH, Outside US/Canada: 805-494-9797

MacTech and MacTutor are registered trademarks of MacTech Magazine. The MacTech logo, the MacForge logo, MacForge,
MacForge.net, Explain It, MacDev-1, THINK Reference, NetProfessional, JavaTech, WebTech, BeTech, LinuxTech, MacTech Central
and the MacTutorMan are trademarks or service marks of Xplain Corporation. Other trademarks and copyrights appearing in this
web site, printing or software remain the property of their respective holders.