Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Software
[ KURIMS
| WWWFun ] ......................
Software
We distribute or redistribute some software, either functional
programming languages, or programs written in those programming
languages.
Production
Here is some software produced or adapted here.
- TECOAS
- A remote coauthoring system, based on SOBA and Java.
- LablGTK
- An O'Caml interface for the GTK+ tookit.
- LablGL
- An O'Caml interface for OpenGL.
- O'Caml software/libraries
- Along with the O'Caml/O'Labl merge, all libraries are now
available to O'Caml users.
- Objective Label
- This was an extension to Objective Caml allowing the use of
labeled and optional arguments. It is now completely superseded
by Objective Caml 3.05.
- JMMM
- Japanized version of the MMM world-wide web browser.
Mirror
We redistribute software from the Cristal project at INRIA.
- Caml-Light
- The Caml-Light and Objective Caml programming languages.
O'Caml's manual is also online.
- MMM
- The MMM world-wide web browser, written in Caml Special Light.
JG
2006.12.12.