Objective Caml

Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software... Platforms: Mac

What is WideStudio? WideStudio is an open source, Integrated Development Environment for desktop applications purely made in Japan. This enables you to develop GUI applications that can run on Windows95/98/Me/NT/2000/Xp/Vista, WindowsCE, Linux, FreeBSD, SOLARIS, MacOSX(w/X11), BTRON, T-Engine,... Platforms: Mac

What is WideStudio? WideStudio is an open source, Integrated Development Environment for desktop applications purely made in Japan. This enables you to develop GUI applications that can run on Windows95/98/Me/NT/2000/Xp/Vista, WindowsCE, Linux, FreeBSD, SOLARIS, MacOSX(w/X11), BTRON, T-Engine,... Platforms: Windows

A library which provides the same functionality as the Python/C API detailed at python.org, thus allowing objective caml programmers to provide python modules as native ocaml code, as well as allowing ocaml code to use python extensions. Platforms: Windows, Mac, Linux

The QuantLib project is aimed at providing a comprehensive software framework for quantitative finance. QuantLib is a free/open-source library for modeling, trading, and risk management in real-life. QuantLib is written in C++ with a clean object model, and is then exported to different... Platforms: Windows, Mac, *nix, C/C++, BSD Solaris

The QuantLib project is aimed at providing a comprehensive software framework for quantitative finance. QuantLib is a free/open-source library for modeling, trading, and risk management in real-life. QuantLib is written in C++ with a clean object model, and is then exported to different... Platforms: *nix

Objective Modula-2 programming language is a hybrid between Smalltalk and Modula-2 based on the object model and runtime of Objective-C. The design is an example how native Cocoa/GNUstep support can be added to static imperative programming languages without implementing a bridge. Objective... Platforms: *nix

A powerful BASIC programming language for Mac, which is simply intuitive and fast easy to learn. It is related to Visual Basic® and Objective-C. It is an easy-usable, object-oriented, compiled, stable, fast and modern programming language written in C++ and Objective-C. Its runtime is totally... Platforms: Mac

A small Objective-C library which provides a SAX-like object-oriented interface to the Expat XML parser library. Platforms: Windows, Mac, Linux

A Haskell to Objective-C binding. Allows access to Apple's Cocoa API from the non-strict functional programming language Haskell. Platforms: Mac, BSD, Linux

The Objective-C Game Library(ObjCGL) is a set of Objective-C classes that use SDL to provide a way for programmers to implement a basic set of components into their games quickly and easily. Platforms: Mac

Objective Lua is a dialect of Lua extended with syntax borrowed from Objective C to add object orientation support. Platforms: Windows, Mac, Linux

Learn Objective C quickly with this concise app that teaches you all the essentials about Objective C programming step by step. With Objective C, you will have the fundamentals to build iPhone, iPad and Mac apps. Written for people who have no programming experience. Zoom in on the most... Platforms: Mac

Learn Objective C quickly with this concise app that teaches you all the essentials about Objective C programming step by step. With Objective C, you will have the fundamentals to build iPhone, iPad and Mac apps. Written for people who have no programming experience. Zoom in on the most... Platforms: Mac

NSGA-II is a very famous multi-objective optimization algorithm. I submitted an example previously and wanted to make this submission useful to others by creating it as a function. Even though this function is very specific to benchmark problems, with a little bit more modification this can be... Platforms: Matlab

REFERENCESBarnes, S. L. (1994) Applications of the Barnes objective analysisscheme. Part I: effects of undersampling, wave position, and station randomness. J. of Atmos. and Oceanic Tech., 11, 1433-1448.Daley, R. (1991) Atmospheric data analysis, Cambridge Press, New York. Section 3.6. Platforms: Matlab

Conventional optimization algorithms using linear and non-linear programming sometimes have difficulty in finding the global optima or in case of multi-objective optimization, the pareto front. A lot of research has now been directed towards evolutionary algorithms (genetic algorithm, particle... Platforms: Matlab

In order to optimize any MATLAB function, there are two options: 1) rewrite the function to take only 1 array of inputs, reading all others from a file, perhaps, or from a global variable (undesirable), or 2) write an interface layer that handles this.This function provides an interface layer... Platforms: Matlab

This function uses Evolution Strategies (ES) instead of Genetic Algorithms (GA) as Evolutionary Algorithm (EA) in the NSGA-II procedure for multi-objective optimization.The algorithm is able to find the pareto optimal front in most of the functions implemented in the file 'Examples.m', but the... Platforms: Matlab

Objective-Zip is a simple set of classes that simplify the use of ZLib and MiniZip, i.e.: zipping/unzipping of files, under the iPhone SDK. It is made to be simple and straightforward, and exposes the same functionalities that MiniZip does. It is distributed under new BSD license, and is... Platforms: Mac