 forge-enter-beta-test-phase |
The OCamlCore.org Team is proud to announce that this forge enter the beta test phase before being available for the whole OCaml community.
A forge is a set of services for software projects, including version
control systems (CVS, SVN, ...), mailing lists, download areas, bug
tracking systems, ... Well known examples are sourceforge.net, GNA, and
Savannah. The forge for the OCaml community will be specifically aimed
at hosting software projects related to the OCaml programming language.
The new site is almost ready for the release. However, before open it to
everybody, we would like to gather a group of people from the community
to beta-test the site.
In particular, we are therefore looking for people which:
* have a small experience with other forge
* have an OCaml project to start (or to migrate from somewhere else)
* are willing to collaborate with us to find out problems in the forge
setup
Of course, this being a test period, we are not yet willing to give
guarantees of any kind, but we do have backups.
So if you want to participate to the beta test of forge.ocamlcore.org, sign-up for an account.
Then submit a project, stating into "Objectifs et description du projet" that "Project will belong to the beta test of forge.ocamlcore.org". This
is for records and help us to be sure that project submitter is aware of the "beta" status of the forge. For the moment we are *not* going to
accept projects which do not explicitly acknowledge the beta testing status of the forge.
the OCamlCore.org Team.
Sylvain Le Gall, Romain Beauxis, Stefano Zacchiroli, Pietro Abate
|
1 |
2 |
2008-03-13 11:35 |
No Moderation |
| forge-is-open-to-your-submission |
OCamlCore.org is ready !
During the last few weeks, the OCamlCore.org Team, with the help of many other members of the community, worked hard to fix a number of problems on the site. Now we think it is ready for prime time. Therefore, following from the previous announcement [<a href="http://groups.google.com/group/fa.caml/msg/6faedd72f77fd0df">1</a>, <a href="http://groups.google.com/group/fa.caml/msg/f8342697120413fd">2</a>] of the availability of an OCaml planet and the OCaml forge beta testing, we are now ready to allow full public access to OCaml forge.
A forge is a set of services for software projects, including version control systems (CVS, SVN, ...), mailing lists, download areas, bug tracking systems, ... Well known examples are sourceforge.net, GNA, and Savannah. The forge for the OCaml community will be specifically aimed
at hosting software projects related to the OCaml programming language.
This new forge has been beta tested, but you could still found some bugs. In this case, don't hesitate to submit bug to the <a href="http://forge.ocamlcore.org/projects/siteadmin/">Site admin project</a>
So if you want to start an ocaml project on forge.ocamlcore.org, sign-up for an account.
We want to limit the use of this forge to OCaml related project. This include software or library written in OCaml, but also projects around OCaml, using derived languages (JoCaml, OCamlDuce, ...) or providing service for OCaml community (tools for conference organization...).
<i>Help needed</i>
At the moment, we have set up an hosting service for <a href="http://git.ocamlcore.org">git</a> and <a href="http://darcs.ocamlcore.org">darcs</a>. We are looking for experienced forge administrator that can allow us to manage this two SCM through GForge. Contact us if you are interested.
We are also looking for talented web designer to make the look of ocamlcore.org nicer. Join the project <a href="http://forge.ocamlcore.org/projects/ocamlcore-theme/">ocamlcore-theme</a> and read the <a href="http://forge.ocamlcore.org/plugins/scmsvn/viewcvs.php/trunk/README.txt?root=ocamlcore-theme&view=auto">README</a> file to know how to proceed...
the OCamlCore.org Team. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ssh-access-to-forge.ocamlcore.org |
For security reasons, SSH access is restricted. For general information, since ocamlcore.org is online, we already have a lot of brute force attacks.
There is two main security measures:
* You cannot login to any *.ocamlcore.org site, using SSH, without a key. There is no password authentification.
* If there is too many failed login attempt from an IP address, this IP is banned and cannot do further authentification attempt.
The SSH key restriction leads to message like "Permission denied (publickey)". The IP banning leads to message like "Connection closed by foreign host".
To have a valid SSH key to login into your SSH account or to access service over ssh (SVN, CVS, git, hg, darcs), you need to import a valid ssh public key. You should follow the instruction on your account page:
https://forge.ocamlcore.org/account/editsshkeys.php
To manage your key, you should consider editing your ~/.ssh/config and add:
Host *.ocamlcore.org
User XXX
IdentityFile ~/.ssh/ZZZ
|
1 |
1 |
2008-05-14 12:32 |
No Moderation |
| mlblock-0.1-released |
A playable version of mlBlock is now available for download. Please have a try!
Next release will try to improve on the immersion, with music and sound effects. I might also add the only missing shape (can you find it?). |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| lazy-lists-pre-release |
A first module has been pre-released : Lazy Lists. This package, meant to be integrated into ExtLib, provides Haskell-style lazy lists for OCaml. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| improved-enum-pre-release |
An improved version of ExtLib's Enum has been pre-released. This module, meant to replace ExtLib's Enum, provides support for representation-independent iterators. Numerous (new) utilities are part of the package, including primitives for cooperative multi-tasking, syntactic sugar, much better management of infinite structures, etc. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamlcore.org-ssh-ssl-key-update-and-gforge-upgrade |
-- SSH/SSL issue --
On 2008/05/14, a grave bug in Debian OpenSSL package has been discovered. This implies that every SSH key and SSL certificate generated since 2006 are weak.
As of today, we have secured the certificate on ocamlcore.org site.
In particular, the new fingerprint are:
SSH DSA key fingerprint of forge.ocamlcore.org
39:70:8d:ed:09:db:79:46:f5:2e:5d:a9:6c:28:a1:73
SSH RSA key fingerprint of forge.ocamlcore.org
07:e8:ea:4f:ed:4f:62:a6:c5:66:78:5b:b3:bb:00:36
SHA1 SSL certificate fingerprint of forge.ocamlcore.org
13:37:45:AE:5A:F4:6F:5E:EA:37:BF:A3:DA:B3:D7:55:E8:BE:1E:B1
Every SSH key of user should be updated, if they are weak key. Use "ssh-keyvuln" in the latest openssh debian package, to check if your key is
weak or not.
For now, the security setup of ocamlcore.org made brute force attack complicated (DenyHost will forbid too many authentication failures, which made brute force attack a little bit more complicated -- thouhg not impossible). So
we will let people connect using their key until the end of the week.
After 2008/05/17, we will enable OpenSSH weak key blacklist, that will prevent any connection using a weak key. You should have updated your key before this date.
-- GForge upgrade --
On 2008/05/15, in the morning a security update of GForge has been installed automatically.
This update has broken some part of the ocamlcore.org configuration leading to bring down the HTTP server.
The site is now back online, but project should check that everything is correct on their side (e.g. that their CVS/SVN is not broken).
This Gforge update has lead to update the chroot that we have customized over the time.
We have checked everything against the last backup of the chroot, but it is better to double check. In particular, the chroot contains CVS/SVN file.
We are sorry for the delay, which are mainly due to getting a new SSL certificate from our certificate authority (which is actually under an heavy load due to the SSL security issue).
the OCamlCore.org Team.
The signed version of this document with Sylvain Le Gall GPG key:
https://forge.ocamlcore.org/docman/view.php/1/3/announce-upgrade.txt.asc |
1 |
1 |
2008-05-20 19:33 |
No Moderation |
| obus-0.1-released |
The first usable version of OBus has been released.
OBus is a pure implementation of the DBus protocol plus a tool for generating high-level interfaces.
It currently support code generation for client-side use.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| version-0.2-released. |
The first few files of this early release of the library are available. Not very functional yet, but does allow the generation of any of the 256 elementary cellular automata. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-complete-release--1.5- |
This release supports both native and bytecode libraries, and both 32 and 64 bit integers are supported. The README has compiling instructions. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamlcore.org-news-and-tips |
Some changes has been made to planet.ocamlcore.org. The possibility to subscribe using a form has been disabled, because spammers had found this useful too.
Asking to be part of the planet is still possible, but now you need to login into forge.ocamlcore.org and fill a bug report against project "Site Admin":
https://forge.ocamlcore.org/tracker/?func=add&group_id=1&atid=101
__Tip for projects hosted on forge.ocamlcore.org__
If your project is hosted on the forge, you can publish news about this. These news are aggregated in a "Forge" feed which in turn get published on planet.ocamlcore.org. Unfortunately, it doesn't retain the name of the initial project.
So if you wish to submit news for your project, you should consider adding the name of it somewhere in the title. For example, "Version 0.1" as a title is a bit problematic because when aggregated you don't know what it means. "Myproject version 0.1 released" is better.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ethreads-version-1.0.1-released |
The first early version of EThreads has been released.
EThreads extends threads library.
- threadless ivar and mvar
- several usefull modules such as mailbox, broadcast, timeout, rpc.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| concurrent-cell-is-released-successor-to-ethreads- |
'Concurrent Cell' is a library for multi-thread programming with CML(Concurrent ML) style synchronous message passing communications.
The Threads library, a part of OCaml, realizes the CML style event value, but does not support shared variables like ivar and mvar. This library implements these variables without creating any new thread. This means that ivar and mvar are lightweight and GC target. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-public-release-of-lazy-lists |
first public release of lazy lists library is available. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| lazy-lists-includes-support-for-parallel-lists-comprehension |
lazy lists includes support for parallel lists comprehension now (http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#parallel-list-comprehensions)
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| major-bugfix-in-uintlib |
UIntlib 1.6 fixes a major bug in 1.5 where loading or linking more than one of the unsigned integer libraries at the same time could cause serious problems. Also I added a preprocessor for source files so that you can type, for instance, "0x300UL" instead of "(UInt64.of_string "0x300UL")". uintpre is just a text processor and so it won't work with the toplevel. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| migrate-your-svn-repository-from-sourceforge.net |
The ocamlcore.org has just published a small HOWTO to migrate your subversion repository from SF.net to forge.ocamlcore.org.
This HOWTO has been tested using the project ocamltex.
http://forge.ocamlcore.org/docman/view.php/1/9/HOWTO-Migrate-SF-SVN-to-forge.txt |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-included-v0-available |
We have just released an early preview of Batteries Included. This release is essentially a demonstration of the planned organization for the project.
The objective of Batteries Included is threefold:
* define a standard set of libraries which may be expected on every compliant installation of OCaml
* organize these libraries into a hierarchy of modules, with one source of documentation
* provide a consistent API for these otherwise independent libraries.
With these releases, we deal with
* the Base library (i.e. the library available with Inria's OCaml distribution)
* Extlib
* OCamlDoc
* Findlib
* Godi-script.
Uniformisation is barely started: there are still channels vs. inputs/ouputs, streams vs. enumerations, etc. Work is underway towards this goal and some of it is currently waiting for a green-light from ExtLib. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| homepage-for-projects |
Work on project homepage activation has finished.
It is now possibl to build project own website on forge.ocamlcore.org.
First of all, each project has a DNS name assigned. This name is the project name followed by forge.ocamlcore.org.
For example:
http://pa-do.forge.ocamlcore.org/
Each project member has access to the project group website. It is located in "/home/groups/XXX/htdocs". Members have to use "ssh forge.ocamlcore.org" to access this directory and "scp" to transfer data to it.
For example:
/home/groups/pa-do/htdocs/
Inside this directory, there is a default "index.php". This file can be modified at will, or replaced by a "index.html". You can use PHP and CGI script -- stored in "/home/groups/XXX/cgi-bin".
ocamlcore.org team |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-included-improved-documentation-available |
A new documentation preview for Batteries Included is now available at http://forge.ocamlcore.org/docman/index.php?group_id=17&selected_doc_group_id=49&language_id=1 . This documentation is much more complete and should be much easier to browse than the previous one. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-included--documentation-preview-3-available |
Another new documentation preview for Batteries Included is now available at http://forge.ocamlcore.org/docman/index.php?group_id=17&selected_doc_group_id=49&language_id=1 .
The library documentation is now very nearly complete, although a few documentation bugs remain to be squashed. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| delimited-overloading--first-public-release. |
Delimited overloading is a syntax extension that enables local overloading of operators and functions. It comes with pa_infix which allows to set the precedence and associativity of operators and an improved version of macros which is compatible with overloading.
We would like to thank Jane Street Capital for their support of the project. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-included-alpha-1-available |
The first alpha version of OCaml Batteries Included has landed. Plenty of new features, plenty of new documentation. More details at http://dutherenverseauborddelatable.wordpress.com/ . |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-beta-release-of-blahcaml |
This is the first beta release of the Blahcaml library, providing Ocaml bindings to Blahtex. Blahtex is a C++ library that converts TeX equations into MathML.
Blahcaml is dead simple to use, as there is only one function in its API. Blahcaml.unsafe_mathml_from_tex accepts a UTF8.t containing a TeX equation and returns another UTF8.t with the resulting MathML.
Note that this first beta version does no sanity checking nor error handling.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| irex-tools-svn-repository-migrated-to-ocamlforge |
The SVN repository for the iRex Tools has been migrated to OCamlForged and can be accessed anonymously for reading, as well as for writing by developers. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-stable--1.0--release-of-blahcaml |
Blahcaml implements simple Ocaml wrappers for the Blahtex library. Blahtex is aimed at the conversion of TeX equations into MathML format.
This is the first stable release of Blahcaml. It adds support for a "safe" conversion, one that validates the generated MathML against the official MathML2 DTD.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| estring-0.1 |
estring is syntax extension which aim to provide a way to have different representation for strings. According to a specifier located before the string it is able to convert it to a list of characters, a list of unicode characters, a printing/scanning expression.
It comes with a small library which define some useful functions for dealing with strings seen as list of characters, and also define new printf and scanf facilities which can be extended by defining new printers/scanners. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| preview-release-of-camlbz2-available |
CamlBZ2 (which supersedes the former "GZ" project) has released its first preview release, version 0.5.99 (i.e., 0.6.0~alpha). |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| git-hosting-available |
forge.ocamlcore.org now supports Git hosting.
Now you can request Git (http://git.or.cz) as the Version Control System for your project. You will get a "shared" Git repository to which members of your project will be able to push (via git+ssh). Also, you will get a Gitweb instance, see for example the projects currently browseable at http://git.ocamlcore.org.
As the only current minor nuisance, the Git repository will not be integrated in the Forge web interface (but you can add links to it from your project homepage, as usual).
To request Git hosting please submit a feature request using the siteadmin tracker (https://forge.ocamlcore.org/tracker/?atid=102&group_id=1), specifying the project you are requesting Git hosting for. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-included-moved-to-git |
We have recently completed our move from Svn to the more powerful Git. From now on, you may follow the progress on Batteries Included at http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=batteries/batteries.git . |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| release-of-camlbz2-0.6.0 |
CamlBZ2 0.6.0 has just been released, it is feature complete with respect to the bzip2 support that was previously available with "GZ".
More is coming with the forecoming 0.7.0 release: bindings of the low-level compression API for greater flexibility in what/where to compress. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-homepage |
Batteries now has a (minimal) homepage. You can visit it at http://batteries.forge.ocamlcore.org .
Please link to it to reference OCaml Batteries Inclued from elsewhere. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-alpha-2-released |
OCaml Batteries Included Alpha 2 is now available for download at http://forge.ocamlcore.org/frs/?group_id=17&release_id=54 . You may read the complete documentation at http://batteries.forge.ocamlcore.org/doc.preview/batteries-alpha2/doc/batteries/html/ . For expanded release notes, see http://dutherenverseauborddelatable.wordpress.com/2008/11/10/ocaml-batteries-included-alpha-2-has-landed/ . |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| delimited-overloading--version-0.7-released |
This version features:
- Better optimizations for complex numbers;
- More examples;
- Improvements to the documentation.
Comments, bug reports, and patches welcome! |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| irex-tools-version-0.1-released |
Version 0.1 brings the first version of the scribble merger that can be used in real life. There are also some initial file utilities. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| irex-tools-version-0.2-released |
It's faster, more complete and more correct;). |
1 |
1 |
2009-01-23 20:24 |
No Moderation |
| optcomp-1.0 |
Stable release of optcomp, a camlp4 extension for optional compilation with cpp-like directives.
for more details about optcomp, you can read http://optcomp.forge.ocamlcore.org/README |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| delimited-overloading--version-0.8-released |
Improvements:
- ocamlfind installation;
- Concrete syntax for bigarrays;
- Overloadings for Hashtbl and String;
- More optimizations and examples. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| concurrent-cell-1.4.0-is-released |
- A serious bug was found in Mbox.pop. Update recommended.
- add 'future' event. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| poll--hosting-of-ocamlcore.org-at-ovh-renewal |
On January the 15th, OCamlCore will have to renew his hosting contract with OVH.
So this is the good time to ask if OCamlCore.org has enough "horsepower" or if we should upgrade the service.
We should see at least two points:
* using a small server allow to spend less money and less power
* using a bigger server allow to host more project
So if you have any problem in the past with some resource limitation of ocamlcore.org please, leave a comment to this post so that we can see if we need to upgrade.
Sylvain Le Gall for OCamlCore.org admin team |
1 |
1 |
2009-01-12 21:13 |
No Moderation |
| ocamlduce-3.11.0.0rc1 |
A release candidate of OCamlDuce 3.11.0.0, based on OCaml 3.11.0, is available. Embedded documentation is not yet up-to-date. Please have a look at: https://forge.ocamlcore.org/frs/shownotes.php?release_id=69 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| phylomel--temporarily--moved |
Project temporarily moved to phylomel.googlecode.com
(just have to fix ssh connexion problem) |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| delimited-overloading---computer-assisted-proofs. |
A new example has been added to show how the use of Delimited Overloading can ease the writing of code for a computer assisted proof. You can see an interplay between various "levels of abstraction" (intervals, polynomials, analytic functions) and appreciate the clarity of the mathematical expressions that Delimited Overloding enables. See http://forge.ocamlcore.org/plugins/scmsvn/viewcvs.php/trunk/examples/comp_assit_proof/?root=pa-do
The code is based on the paper
http://pcc2341f.unige.ch/publications/paper020/94-394_ps.pdf |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-release-of-melt---latex-with-ocaml |
Melt is a set of libraries and tools which allows you to program LaTeX documents using OCaml. This combines the typesetting power of LaTeX with the programming power of OCaml. It can be combined with Mlpost to include figures.
This is the first release of Melt. Thus, it might not be considered as truly stable. However, several documents, including articles and slides, have already been produced using Melt, so it is definitely usable.
The documentation is included in the distribution (read the README). Some examples can be found in the "bench" directory. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-alpha-3-released |
OCaml Batteries Included Alpha 3 is now available for download at http://forge.ocamlcore.org/frs/?group_id=17&release_id=73 . You may read the complete documentation at http://batteries.forge.ocamlcore.org/doc.preview:batteries-alpha3/html/index.html . For expanded release notes, see http://dutherenverseauborddelatable.wordpress.com/2009/02/06/ocaml-batteries-included-alpha-3/ . |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| delimited-overloading--version-0.8.3-released |
What is new:
- Overload record fields (concrete syntax);
- Improvements to the overloadings of standard integer modules;
- OVERLOAD X = Y;
- Sources of the OCaml meeting 09 talk.
- New examples. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| melt-1.0.1 |
Melt 1.0.1 has been released. It should now compile and be usable on more configurations, with or without Mlpost. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| camlbz2-api-reference-available-on-the-web |
The ocamldoc API reference in HTML format for CamlBZ2 is now available at http://camlbz2.forge.ocamlcore.org/api/ . It is also available from the doc manager of the CamlBZ2 forge project. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| easyocaml--documentation-and-port-to-3.11 |
Comprehend documentation is now available for EasyOCaml. Additionally ported to the ocaml-3.11 source tree (in SVN). |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| env-now-on-forge.ocamlcore.org |
Env, a small OCaml library implementing environments (mapping over identifiers), is now available from forge.ocamlcore.org.
It is still available from its old webpage for a while: http://www.lri.fr/~signoles/prog.en.html#env |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| mvc-now-on-forge.ocamlcore.org |
MVC, a small OCaml library providing a generic implementation of the design pattern Model-View-Controller, is now available from forge.ocamlcore.org.
It is still available from its old webpage for a while:
http://www.lri.fr/~signoles/prog.en.html#mvc |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| calendar-now-on-forge.ocamlcore.org |
Calendar, an OCaml library managing dates and times, is now available from forge.ocamlcore.org.
It is still available from its old webpage for a while:
http://www.lri.fr/~signoles/prog.en.html#calendar
It is also accessible via GODI. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-release |
HLVM has been released! Download it from the SVN repository. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| fixed-gc |
The latest version of HLVM can collect deep heaps without stack overflowing. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-release-of-fury-puyo--a-furious-puzzle-game |
Fury Puyo is a clone of Puyo Puyo, which is a puzzle game (i.e. a Tetris-like) where you group blocks of the same color to build huge chains and combos. Version 0.1 has just been released, and it features a playable single player game. The game is written using OcamlSDL.
I'm already quite happy with the feeling of the game. However, rules, graphism and so on will most likely change a lot in the future. Multiplayer is high on my list of priorities. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| gc-optimizations-in-hlvm |
The GC has been optimized and is now sufficient for general use. Benchmarks show HLVM running no more than 5x slower than OCaml on heavily-allocating code. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| standalone-compilation-in-hlvm |
HLVM has been extended to support standalone compilation as well as JIT compilation. In particular, standalone compilation allows the use of LLVM's opt tool for optimizing LLVM IR and that improves performance on the HLVM test suite by up to 80%!
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| melt-1.1.0 |
Version 1.1.0 of Melt, the tool to write LaTeX documents in OCaml, has been released. Its main changes are: a better configuration tool, a very handy pseudocode Verbatim tool, more LaTeX commands and of course the mandatory bugfixes.
The complete set of changes can be seen here:
https://forge.ocamlcore.org/frs/shownotes.php?release_id=115 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| optimizations-in-hlvm |
HLVM now includes a simple term rewriter designed to support local optimization passes as well as a loop unrolling optimization pass.
The GC has also been optimized to record only addresses internally rather than (triple-word) references.
Unrolling is very beneficial in HLVM because it amortizes the cost of updating the shadow stack. Consequently, HLVM is now significantly faster than ocamlopt on all of the numerical benchmarks included in the HLVM test suite.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| hlvm-documentation |
The docs.sh script in HLVM now generates HTML documentation for the entire VM in the /docs directory.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| front-end-for-hlvm |
Now that HLVM is maturing we have begun a sub-project to develop an example front-end. The current implementation is a simple calculator that evaluates expressions using JIT compilation.
Alp Mestan has joined the HLVM team and intends to start by developing the HLVM top-level into a complete programming language.
This will serve as an excellent example for anyone developing a front end for HLVM and will also help us to make HLVM even friendlier for language implementors.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-autoconf-1.0-is-out |
We have just released version 1.0 of ocaml-autoconf.
It is the first official release since the start of the forge project. This version basically integrates all the previous "legacy" work which was floating around in separate autoconf macros, and adds support for more recent tools appeared in the latest OCaml releases.
Give it a try and send us feedback!
Note that the license is BSD-like, so you can integrate the macros in your project without virality fears ... do not forget to check for updates though ;-) |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ospec-0.1.0-released |
This is the first public release of OSpec, a Behavior-Driven Development library for OCaml. It includes a Camlp4 syntax extension for writing expectations and a command line tool to run and report test results. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-beta-1-released |
After numerous sleepless nights, the OCaml Batteries Included team is happy to inform you of the release of version Beta 1. Barring any bugfix, this release should mark API and syntax freeze.
You may download the source tarball from the Forge [1], read the on-line API documentation [2] or the extended release notes [3].
Thanks to all the members of the team. We're waiting for your feedback and bug reports!
[1] http://forge.ocamlcore.org/frs/?group_id=17&release_id=117
[2]
http://batteries.forge.ocamlcore.org/doc.preview:batteries-beta1/html/api/index.html
[3]
http://dutherenverseauborddelatable.wordpress.com/2009/04/06/ocaml-batteries-included-beta-1/ |
2 |
4 |
2009-06-08 20:01 |
No Moderation |
| delimited-overloading--pa_do---version-0.8.5-released |
- Much improved complex optimizations (including accross let-bindings and evaluating constant expressions at compilation time) coming with several more test cases.
- [expr_fold] to allows to add transformations that carry information down the AST.
- Fixes for compatibility with OCaml 3.11.0.
- META and toplevel improvements.
- Hooks for constructions like M.[e] and M.{e}.
- Several bug fixes. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| litiom-1.0-released |
The Ocsigen project already includes Eliom, a web programming framework for the Ocaml language. Eliom provides a solid and extensive foundation for building highly dynamic sites. Litiom aims to complement Eliom, offering higher-level modules codifying a number of common patterns found in web sites. (The name of the project comes from the fact that Lithium follows Helium in the periodic table of elements).
Presently, Litiom includes two modules: Litiom_blocks and Litiom_wizard. The former is based on the realisation that many web sites are composed of fairly independent boxes arranged in a hierarchy. With Litiom_blocks, the user provides the contents for each box, together with its relation to other boxes in the web site hierarchy tree. The module automatically takes care of spawning Lwt threads in such a way that independent branches of the tree are executed in parallel. As for the latter, it aims to simplify the construction of sites relying on wizard-like interactions. It is based on the fact that most wizards follow a fairly repetitive pattern.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ospec-0.2.0-released |
OSpec 0.2.0 has just been released, featuring support for nested specifications and property testing. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| hlvm-beta-0.4-release |
A tarball of the latest source release with reliability and performance improvements is now available. See:
http://flyingfrogblog.blogspot.com/2009/03/performance-ocaml-vs-hlvm-beta-04.html
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| 0.1.3-sources-now-in-subversion |
The 0.1.3 ocaml-http sources are now in subversion. This starts the ocamlforge development of these sources from the ocaml-http original site. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-text |
Have you ever tried to play to with other things than latin-1 strings and found it painfull ?
OCaml-Text try to to change that. It supports:
- easy encoding/decoding of text
- a lot of functions for manipulation of UTF-8 encoded strings
- locale-specific text functions (compare, upper, is_alpha, ...)
It is composed of only two modules:
- "Encoding" for encoding/decoding text
- "Text" for text manipulation
And i hope ocaml-text is easy to use and interacts well with other projects.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| call-for-translators-of-the-unix-system-programming-course |
Hello,
We are launching an effort to translate Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml [1].
We are looking for one translator and one proofreader for each of the seven main chapters. To facilitate the task of proof readers and get the best translation preference will be given to native english speaking contributors. If you are interested in participating please email me privately (daniel.buenzl i@erratique.ch) with the following information : chapter you'd like to translate/proofread and whether your are a native english speaker or not.
The work of the translators will be published online as html and pdf documents at this adress [2] under a Creative Commons BY-NC-SA french license [3]. Note that the non commercial aspect of the license doesn't preclude a subsequent publication of the result as a (non free as in wine) book. However in that case an agreement would be sought between the authors, the translators and the publisher.
Thanks for your help,
Daniel
[1] http://pauillac.inria.fr/~remy/poly/system/camlunix/index.html
[2] http://ocamlunix.forge.ocamlcore.org/
[3] http://creativecommons.org/licenses/by-nc-sa/2.0/fr/deed.en |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-metrics-beta--0.51--released |
OCaml Metrics is a simple OCaml code analysis tool. You can use it to check how easy to maintain your code is. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamlduce-3.11.1.0 |
A new version of OCamlDuce, a merger of OCaml and CDuce that extends OCaml with XML types, has been released.
The changes from the previous version (3.11.0.0rc1) are:
- merge with OCaml 3.11.1
- remove some GNUisms [Jaap Boender]
- fix -annot [Boris Yakobowski]
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| new-hlvm-examples |
We've added two new example compilers using HLVM: a calculator and a REPL for a tiny programming language with tuples.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| concurrent-cell-now-supports--dvar. |
Concurrent Cell version 2.0.0 now supports Dvar. Module [Dvar] provides a kind of mutable variable that can make dependency between variables. Thease dependency be resolved automatically when a variable's value is updated. This system is similar to Functional Reactive Programming. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| regstab-first-release |
RegSTAB is a SAT-solver able to deal with formula schemata.
i.e. you can give it a scheme of formula such as "/\i=1..n P_i -> P_i+1" and it will be able to answer you if *all the formulas of this form (i.e. for every value of n) are unsatisfiable*. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| new-release-0.7 |
We are proud to release Version 0.7 of mlpost. It contains lots of new features, small changes and bugfixes and a new backend, based on Cairo. See the details in the Changelog.
Mlpost can be downloaded from the Files section of its OcamlForge site, or on http://mlpost.lri.fr/.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| mlpost--bugfix-release-0.7.1 |
Only one day after the release of version 0.7, we release version 0.7.1, containing the fix for a performance bug. You really should upgrade, the old version is very slow in the common case of deeply nested boxes. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| camlhighlight-0.8-released |
This release introduces slight changes to the internal representation and API. Moreover, we now provide direct bindings to the library portion of Highlight 2.10, instead of just parsing the output of Highlight's executable.
The code is stable, and hopefully no further core/API changes will be required before a 1.0 release.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| regstab-new-release |
RegSTAB new release: performance is much improved.
In case the slow performance got you away from the previous versions, give it a new try!
---
RegSTAB is a SAT-solver able to deal with patterns of formulae.
i.e. you can give it a pattern such as "/\i=1..n P_i -> P_i+1" and it will be able to answer you if *all the formulas of this form (i.e. for every value of n) are unsatisfiable*. In one shot :) |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-version-available |
Can be found on ocamlcore forge or at http://ocamlviz.lri.fr
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| melt-1.2.0 |
Version 1.2.0 of Melt, the tool to write LaTeX documents in OCaml, has been released. Its main changes are: support for Mlpost 0.7, some bugfixes, small additions to the Latex library and various minor tweaks.
The complete set of changes can be seen here:
https://forge.ocamlcore.org/frs/shownotes.php?release_id=173 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| mlblocks---screen-captures |
I have added a short description of the project alongside screen captures on http://mlblocks.forge.ocamlcore.org so that you would not have to build it to see what it looks like. Enjoy! |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| new-ssh-host-for-cvs-svn-darcs-git-and-websites |
Hello,
OCamlCore.org team is setting up a new vserver to replace the VERY limited chroot we have actually. On monday, the SSH key for {cvs|svn|darcs|git|shell}.forge.ocamlcore.org will change. See end of the message for the new keys.
This new host will provide a more user friendly environment to manage your projects. In particular, we will add rsync and unison to the set of available tools.
Post a comment if you need more tools.
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
SSH keys for ssh.ocamlcore.org:
1024 3c:a0:3a:17:66:22:01:08:7c:67:c2:49:c7:a4:55:71 /etc/ssh/ssh_host_dsa_key.pub (DSA)
2048 d8:87:7f:b3:0c:fc:ef:ea:79:e5:23:64:b9:db:02:00 /etc/ssh/ssh_host_rsa_key.pub (RSA)
Sylvain Le Gall
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCAAGBQJKvNtWAAoJEEe+WKJKPLha9OsP/AqdveuLUcUjmrbHMHv6xvwU
KBSA4nirS4BDdyYs9INrq1VfD1V6e0O4XUid6EcQm45DPXHOLQW9FPox4YgNgTlW
eHKgU6NbUVRGq+eHTpiW5YlMGePi5+5T9hCR8KHoKUIfslYWZhVt0NGKjurjff5V
ezaCrVrDC6Be10u72gkWw73N0d5CUhN2Kd5jIsKllx8iojHljWXYHr+JOGsFlADx
COVTTRVzul54cJxlwmO3slTBcAWKaQCmr9DBINl566llR9hpb0OWmfyNGDU/nuxG
vUuiHQl0HBNAcVgdQAcqNeCmjxBxZqb91sDZ6TQfGX2WuJOoBlH3f2tgkstVQsQR
VPbRxbsZxhlE6gkIIYVBHRQQCJV5CyS1LmMEwncLGy5I6YgnR6D5lzy4NltG6Ciy
aQouCh6q5NIY+hmo/akOfd5EtDR8YA4I5cTUJx94DspJbnnNQf7vYmrKv2fqZHEc
fvXD/it8aTqhzv5qwi5tsCafFYYUYQMBrZjuWK0PUfzXe7J6g8VV/sP1GbUijBnt
cSLlQkEezDxDAbHieDelYhqRyN+PNAcBNvy8G0c9krV5ZfuNoDdsdTC4cvXJ8DVF
wopDAzT6jkPktmevn9bEozoGM2hVGSVZY0ipzUpFi5bWQKGLaW7j/mPVg5e0lEYv
HVFF31EhKHDdVP1W9c4k
=IjDD
-----END PGP SIGNATURE----- |
1 |
1 |
2009-09-28 12:16 |
No Moderation |
| pa_polyrec-0.1-released |
pa_polyrec 0.1 released. Here is the announcement on caml-list:
http://groups.google.com/group/fa.caml/msg/5ce4b0fd64274416 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ssh.ocamlcore.org-is-alive |
We finish the setup of ssh.ocamlcore.org. This new host provide all the shell services of the forge. In particular, git/darcs/bzr/cvs/svn will now use it. If you have any problems, please fill a bug here:
https://forge.ocamlcore.org/tracker/?atid=101&group_id=1&func=browse
This new host also provides more features than the very limited shell environment of the former chroot. In particular, you now have rsync/unison and vi. These new utilities should help you manage your project webpages.
For the OCamlCore.org team
Sylvain Le Gall |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| regstab-1.4 |
RegSTAB install is much easier. As a consequence it now works natively on Windows, and does not require Ocaml 3.11 anymore. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| new-ip-for--.ocamlcore.org |
Since 2 years, ocamlcore.org is sharing resources with ocamlcore.com. In particular, we are sharing the same IP address.
Having the same IP cause a lot of complication. We need to forward traffic from ocamlcore.com to ocamlcore.org for services which are common (SMTP, http).
Starting from this week, we will migrate ocamlcore.org to a new IP address: 87.98.154.45. The update will take time to propagate and can cause various problems.
If you encounter any problems, contact a member of the OCamlCore.org team, directly if SMTP is down or submit a bug to Site Admin project:
https://forge.ocamlcore.org/tracker/?atid=101&group_id=1&func=browse
Regards
Sylvain Le Gall, for OCamlCore.org team
OCamlCore.org team:
Mehdi Dogguy
Pietro Abate
Romain Beauxis
Stefano Zacchiroli
Stéphane Glondu
Sylvain Le Gall
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| mlpost--bugfix-release-0.7.2 |
We release mlpost 0.7.2. It contains only minor bug fixes and changes. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| obus-1.0rc1-is-out- |
The first stable version of OBus has been released.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| new-ocaml-autoconf-release--1.1 |
OCaml Autoconf 1.1 has just been released.
It features a couple of new macros (checking OS Type and word sizes), it fixes some bugs (e.g. it avoid redefining OCAMLLIB if previous set), and it features new documentation in the form of a mini-tutorial and a complete autoconf/automake example. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| mindstorm-library-version-0.5.2 |
The library allowing to control LEGO mindstorms from OCaml has moved to OCamlForge. You can see some robots build with this at http://ocaml-mindstorm.forge.ocamlcore.org/users.html and videos at http://www.youtube.com/watch?v=Q56vuWgLulA and
http://www.youtube.com/watch?v=ZDlFVQSkmbE
Enjoy! |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2010-poll |
Hello,
OCaml Meeting 2010 is the third meeting of OCaml enthusiasts in France.
This year OCaml Meeting in France is back in Paris. We choose to organize it on 16th or 17th April to avoid any conflicts with JFLA and other events (including French holiday).
We open a poll to know what attendants want:
https://forge.ocamlcore.org/survey/survey.php?group_id=77&survey_id=1
You need to login to answer the poll. It will remain open for a week (ending Wednesday 28th October). It will help us to choose the best date for the the meeting.
Sylvain Le Gall on behalf of OCaml Meeting 2010 organization team.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| new-hlvm-gc-and-llvm-2.6-support |
HLVM has been updated to work with the new LLVM 2.6 release and with a new GC that stores mark state in the heap rather than in a hash table.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| fury-puyo-0.4 |
Fury Puyo 0.4 has been released. The main new features of this version are: multiplayer games, replays, sandbox mode, and some new sprites.
The online mode features an account-based highscore list (so you can view your friends' high scores in single player mode), and multiplayer games. The server can handle several games at the same time. A game can have several players at the same time. You may team up and give a handicap to stronger players.
Replays are automatically saved in the ~/.furypuyo directory. View them by launching furypuyo with the "-replay <filename>" option.
The sandbox mode is a single player mode where no garbage is sent to you, and you have all the time you want to think before placing a piece (you make the piece drop yourself with the down arrow or the spacebar). |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| -.ocamlcore.org-migration-to-lenny |
The administration team will proceed next monday (2009/12/01) to a distribution upgrade of ocamlcore.org (Etch -> Lenny). This can lead to many bugs.
Tomorrow (2009/11/25), we will proceed to an upgrade of dom0 (ocamlcore.com) and reboot of the ocamlcore.org server. At this time, we will also suppress some redirection like the reverse proxy for the website. This also can lead to many bugs.
Please feel free to submit a bug to site admin project or contact me directly "sylvain @pas de pourriel@ le-gall.net", if you cannot submit bugs:
https://forge.ocamlcore.org/tracker/?atid=101&group_id=1&func=browse
Regards
Sylvain Le Gall on behalf of ocamlcore.org team |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| csv-module-1.2.0-released |
A new version of the CSV module (which unsurprisingly allows to read and write files in the CSV format) has been released. It supersedes -- but is compatible with -- the CSV module <http://merjis.com/developers/csv>. Improvements include the possibility of reading CSV files record by record and to use input/output object channels. Enjoy ! |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| parallel-programming-in-hlvm |
HLVM now supports threads and allows them to run in parallel using a simple stop-the-world mark+sweep GC, making it possible to do parallel programming in HLVM for the first time!
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| -.ocamlcore.org-migration-to-lenny-finished |
OCamlCore.org team has just finished the migration to Lenny. Most of the visible services seem to be running correctly.
Please submit bugs to Site admin project or contact sylvain @no-pourriel@ le-gall.net if you encounter any errors in ocamlcore.org sites:
https://forge.ocamlcore.org/tracker/?atid=101&group_id=1&func=browse
Sylvain Le Gall on behalf of the OCamlCore.org administration team |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ld.ocaml-0.2.1-released |
ld.ocaml is a dynamic linker/loader for OCaml. It does for native plugins
(Dynlink's .cmxs files) what ld.so does for shared libs: it infers the cmxs
libs needed by the program object(s), locates them and then loads them all in
the required order.
ld.ocaml 0.2.1 is the first public release. It has been tested with OCaml
3.11.1 on Linux x86 and Linux x86_64.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| regstab-1.4.2-released-- |
-Fixed some bugs occurring in trivial cases
-Fixed bugs that could cause non-termination
-Improved parser messages when the schema is irregular
-Improved information when the schema is satisfiable |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| calendar-2.02-released |
Hello,
A new release of calendar (version 2.02) is out, as well as the new home page: http://calendar.forge.ocamlcore.org
Changes are:
o [License] add the usual Ocaml linking exception in the license
o [Calendar] Calendar_sig.Period.to_time is deprecated.
Replaced by a new function Calendar_sig.Period.safe_to_time
o [Date] Date.Period.nb_days is deprecated.
Replaced by a new function Date.Period.safe_nb_days
o [Compilation] calendarLib.cmxs provided if ocaml >= 3.11 is installed (patch of Mehdi Dogguy)
o [Date] new functions Date.make_year and Date.make_year_month
o [Date] improve memory representation of Date.Period.t
* [Compilation] remove installation of packed *.cmi
* [Compilation] bug fixed under Cygwin
* [Compilation] META files was incorrect, so "ocamlfind ocamlopt" did not work
* [Compilation] file date_sig.mli, time_sig.mli and calendar_sig.mli was not properly linked
Have fun with calendar,
Julien Signoles |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| public-release-of-aaa-batteries |
After stewing for some months, we are finally ready to present the community with AAA-batteries, a stripped down version of the Batteries Included project with fewer dependencies and a more understandable architecture. The batteries project isn't dead, it just had to reorganize a bit. Let us know what you want at http://github.com/thelema/AAA-batteries/issues/ and let us know what you'll help with on #ocaml on irc.freenode.net. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-mysql-1.1.0-released |
New release of OCaml bindings to access MySQL databases is out. This release fixes crash bugs and adds preliminary support for prepared statements.
Project homepage is now at http://ocaml-mysql.forge.ocamlcore.org
Previous release 1.0.4 (made by Shawn Wagner) is available at http://raevnos.pennmush.org/code/ocaml-mysql/
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| concurrent-cell-supports-frp--beta-version- |
New beta release of concurrent cell supports FRP(functional Reactive Programming). Two modules (Frp.TimeVaryReact and Frp.TimeVaryEvent) has thread safe functions below:
module Frp : sig
module rec TimeVaryReact : sig
type 'a t
val make : ?src:'a Mbox.t -> 'a -> 'a t * ('a -> unit)
val return : 'a -> 'a t
val read : 'a t -> 'a
val map : ('a -> 'b) -> 'a t -> 'b t
val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
val app : ('a -> 'b) t -> 'a t -> 'b t
val join : 'a t t -> 'a t
val switch : 'a t -> 'a t TimeVaryEvent.t -> 'a t
val bind : 'a t -> ('a -> 'b t) -> 'b t
val accum : 'a -> ('a -> 'a) TimeVaryEvent.t -> 'a t
val fold : ('a -> 'b -> 'a) -> 'a -> 'b TimeVaryEvent.t -> 'a t
val changes : ?eq:('a -> 'a -> bool) -> 'a t -> 'a TimeVaryEvent.t
val history : int -> 'a t -> 'a list t
end
and TimeVaryEvent : sig
type 'a t
val make : ?src:'a Mbox.t -> unit -> 'a t * ('a -> unit)
val map : ('a -> 'b) -> 'a t -> 'b t
val listen : ('a -> unit) -> 'a t -> unit
val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
val merge : 'a t -> 'a t -> 'a t
val filter : ('a -> bool) -> 'a t -> 'a t
val fmap : ('a -> 'b option) -> 'a t -> 'b t
val join : 'a t t -> 'a t
val accum : 'a -> ('a -> 'a) t -> 'a t
val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a t
val select : 'a t list -> 'a t
val switch : 'a t -> 'a t t -> 'a t
val history : int -> 'a t -> 'a list t
val with_prev : 'a t -> ('a * 'a) t
val changes : ?eq:('a -> 'a -> bool) -> 'a t -> 'a t
val merge : 'a t -> 'a t -> 'a t
val filter : ('a -> bool) -> 'a t -> 'a t
val fmap : ('a -> 'b option) -> 'a t -> 'b t
val join : 'a t t -> 'a t
val accum : 'a -> ('a -> 'a) t -> 'a t
val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a t
val select : 'a t list -> 'a t
val switch : 'a t -> 'a t t -> 'a t
val history : int -> 'a t -> 'a list t
val with_prev : 'a t -> ('a * 'a) t
val changes : ?eq:('a -> 'a -> bool) -> 'a t -> 'a t
end |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| high-performance-parallelism-with-hlvm |
The first-working version of parallelism in HLVM was very inefficient due to repeated fetching of thread-local data via pthreads. The latest update passes thread-local data to every function in an auxiliary argument and achieves production-level performance: 2× faster than OCaml on average over non-list benchmarks.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2010-inscription-is-opened |
For the third time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2010 in Paris.
This year event takes place in Paris and tries to avoid collision with all other events. It will be on Friday 16th April 2010. Subscription is opened today and will be closed on Friday 2nd April 2010.
As last year, participants are invited to give a talk on what they are doing with OCaml, submit a description of your talk on the wiki or contact me.
The meeting is sponsored by INRIA CAML Consortium and OCamlCore. Participation for lunch is covered by the Consortium, you just need to subscribe. The facility can only host 80 people, so we will have to filter the list of participants if there are more people. We will give priority to people giving a talk and coming from abroad.
Volunteers to help before/during the event can contact me directly. We are particularly looking for a video team. You can also forward this invitation to any groups that can be interested in (Haskell user group, CUFP mailing list...)
Further information: http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
For people who need further information, you can contact me (see wiki.cocan.org for contact details).
The day after OCaml Meeting, Mehdi Dogguy from PPS helps me to organize an informal day where OCaml teams can meet to work. There will be internet access and a blackboard in each room. We will have 2 classrooms (each classroom can host 45 persons). Inscription will is free, stay tuned.
Hope to see a lot of you Regards Sylvain Le Gall on behalf of the OCaml Meeting organization team. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-included-1.0.0 |
The Batteries Included project has come under new management since David Teller moved on. The project has gone through a process of reorganization and is finally ready for a release. We've rethought a lot of the structure decisions of the old codebase to make it easier to use and develop.
Major changes:
* Builds in 10 seconds, plus 10 seconds for documentation
* Depends only on Camomile and Findlib
* Syntax Extensions now optional
* Less magic in build system
* Allows smaller executable creation
We're using OMake instead of ocamlbuild and a much more stock ocamldoc for documentation generation. All the modules we provide are standard modules, no [module Array = struct include Array ... end] magic except in batteries.ml which ties everything together for convenience. Of course there's a bunch of bug fixes and additional functions.
We're using Semantic Versioning (http://semver.org/) for version numbers, meaning we're taking backwards compatibility very seriously. This is our 1.0.0 release, but we don't expect to stay at it very long. We're looking forward to fixing any bugs you find.
To use:
Download: https://forge.ocamlcore.org/frs/download.php/346/batteries-1.0.0.tar.gz
Documentation: http://thelema.github.com/batteries-included/hdoc
To contribute:
Mailing list: https://lists.forge.ocamlcore.org/cgi-bin/listinfo/batteries-devel
Issue Tracker: http://github.com/thelema/batteries-included/issues
Code: git://github.com/thelema/batteries-included.git
[1] Like the small batteries used in TV remote controls |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| macaque-beta-3-released |
Macaque has been released to ocamlcore at Beta 2 :
this is the first release building on user feedback.
Many thanks to flux on #ocaml for the motivating feature requests. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| hlvm-on-the-ray-tracer-language-comparison |
The first working serial version of our ray tracer written in HLVM already provides blistering performance and excellent memory consumption:
http://flyingfrogblog.blogspot.com/2010/01/hlvm-on-ray-tracer-language-comparison.html
The next challenge is to parallelize the HLVM implementation!
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| fury-puyo-0.5 |
Fury Puyo, the "furious" puzzle game, has reached version 0.5. You may now view the playfield of other players! You can also use the classic dropset (only pairs of puyos) if you're an old-timer of puyo games.
The full list of changes follows.
* in multiplayer games, you may view the opponent's
playfield (choose which opponent with the TAB key)
* players may choose the classic dropset (only pairs of puyos) in
sandbox mode and multiplayer games
* players may change the speed of the game in sandbox mode
* puyo rotations may move the puyo up but only just enough
* there is only one usable invisible line, puyos on top of it are
deleted
* ESC key may be used to quit online mode in login screens
* random puyo generator is a little less random and more friendly
* in multiplayer games, all players have the same random puyos
* option ALPHA in ~/.furypuyo/furypuyo.cfg allows you to disable
alpha transparency (game becomes ugly but runs faster) |
1 |
2 |
2010-01-26 22:39 |
No Moderation |
| ocamlduce-3.11.2.0 |
A new version of OCamlDuce, a merger of OCaml and CDuce that extends OCaml with XML types, has been released.
The changes from the previous version (3.11.1.0) are:
- merge with OCaml 3.11.2
- build and install native-code plugin
- build ocamldoc library
- accept also ocaml_cmi_magic_number in objinfo
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| release-of-camlhighlight-1.0 |
Camlhighlight is a library offering syntax highlighting facilities for Ocsigen programmes. This is the first public stable release, and the library's API will not suffer any backwards incompatible changes for the 1.x series. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-included-1.0.1-released |
This is a bugfix release, in thanks for the bugs users found in 1.0.0. Let us help you enjoy ocaml more by continuing to find bugs. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| blahcaml-2.0-released |
Blahcaml offers partial bindings to the C++ library Blahtex. To be precise, only the portions of Blahtex that convert between equations in TeX format into their MathML counterparts are supported. Furthermore, Blahcaml indulges the paranoid by adding an extra layer of security that ensures the result produced by Blahtex is safe for inclusion in web pages. This is done by validating the result against the official MathML2 DTD. Version 2.0 of Blahcaml brings slight changes to the API, a migration to the latest version of Blahtex, and a new module offering direct access to the MathML2 DTD. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-unix-course--the-threads-chapter-is-translated |
Thanks to the translation of Eric Cooper and the proofreading job of Prashanth Mundkur, the threads chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1].
[1] http://ocamlunix.forge.ocamlcore.org/threads.html
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2010-second-call |
For the third time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2010 in Paris.
This year event takes place in Paris on Friday 16th April 2010. Subscription is opened and will be closed on Friday 2nd April 2010.
Presentations include:
* Enforcing Type-Safe Linking using Inter-Package Relationships for OCaml Debian packages
* The Ocamlviz visualization toolkit
* Cluster computing in Ocaml
* Ocaml in a web startup
* React, functional reactive programming for OCaml
* OASIS, a Cabal like system for OCaml
* OPA, same web, but with types and lambda
As last year, participants are invited to give a talk on what they are doing with OCaml. You can submit a description of your talk on the wiki or contact me.
The meeting is sponsored by INRIA, the Caml Consortium and OCamlCore. Inscription is free but the number of participants is limited.
Further information and inscriptions:
http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
The day after OCaml Meeting, Mehdi Dogguy from PPS helps me to organize an informal day where OCaml teams can meet to work. We will have 2 classrooms, each can host 45 persons. There will be an internet access and a blackboard in each room. Inscription is free.
Further information and inscriptions:
http://wiki.cocan.org/events/europe/ocamlhackingday2010
Volunteers willing to help before/during these events can contact me directly. We are particularly looking for a video team. You can also forward this invitation to any groups that can be interested in (Haskell user group, CUFP mailing list...)
For people who need further information, you can contact me (see wiki.cocan.org for contact details).
Hope to see a lot of you Regards Sylvain Le Gall on behalf of the OCaml Meeting organization team. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-unix-course--the-processes-chapter-is-translated |
Thanks to the translation of Mark Wong-VanHaren and the proofreading job of Anil Madhavapeddy, the processes chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1].
[1] http://ocamlunix.forge.ocamlcore.org/processes.html |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-unix-course--the-generalities-chapter-is-translated |
Thanks to the translation of Eliot Handelman and the proofreading job of Prashanth Mundkur, the generalities chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1].
[1] http://ocamlunix.forge.ocamlcore.org/generalities.html |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-unix-course--the-sockets-chapter-is-translated |
Thanks to the co-translation of Till Varoquaux, Priya Hattiangdi and Prashanth Mundkur and the proofreading job of Prashanth Mundkur, the sockets chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1].
[1] http://ocamlunix.forge.ocamlcore.org/sockets.html |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| camlhighlight-2.0-released |
For version 2.0, Camlhighlight switches the underlying bound library from Highlight [1] to GNU Source-highlight [2]. This simplifies the parsing process and hopefully makes installation easier, as more Linux distros ship with packages for GNU Source-highlight. The Ocaml API is backwards compatible with version 1.0.
[1] http://www.andre-simon.de/doku/highlight/en/highlight.html
[2] http://www.gnu.org/software/src-highlite/
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-1.1.0-released |
New Set organization (PSet now available as Set.t), non-threaded library, bugfixes, etc. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamleditor-1.2-released |
http://ocamleditor.forge.ocamlcore.org/ |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| depreciated |
I am depreciating this project in favor of Andre Nathan's. His does everything mine does but with a better build system and also it includes 128 bit integers.
http://github.com/andrenth/ocaml-uint |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2010--3-weeks-before-end-of-subscription |
For the third time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2010 in Paris.
This year event takes place in Paris on Friday 16th April 2010. Subscription is opened and will be closed on Friday 2nd April 2010.
Presentations include:
* Enforcing Type-Safe Linking using Inter-Package Relationships for OCaml Debian packages
* The Ocamlviz visualization toolkit
* Cluster computing in Ocaml
* Ocaml in a web startup
* React, functional reactive programming for OCaml
* OASIS, a Cabal like system for OCaml
* OPA, same web, but with types and lambda
* OC4MC, Objective Caml for MultiCore
* Lwt, Cooperative Light-Weight Threads
* naclgrid: the collaborative rendering farm, a JoCaml-powered desktop grid
The meeting is sponsored by INRIA, the Caml Consortium and OCamlCore. Inscription is free but the number of participants is limited.
Further information and inscriptions:
http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
The day after OCaml Meeting, Mehdi Dogguy from PPS helps me to organize an informal day where OCaml teams can meet to work. We will have 2 classrooms, each can host 45 persons. There will be an internet access and a blackboard in each room. Inscription is free.
Further information and inscriptions:
http://wiki.cocan.org/events/europe/ocamlhackingday2010
Volunteers willing to help before/during these events can contact me directly. We are particularly looking for a video team. You can also forward this invitation to any groups that can be interested in (Haskell user group, CUFP mailing list...)
For people who need further information, you can contact me (see wiki.cocan.org for contact details).
Sylvain Le Gall on behalf of the OCaml Meeting organization team. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2010-poll-results |
I know it is a bit late, but I would like to give the results of the poll for OCaml Meeting 2010. I use a weighted mean of the poll answers to sort the results. Values of the answers range from 5 to 1, weight is the matching percentage of votes.
The date was chosen according to your answers, since Friday 16th April came first with a mean value of 3.85. Saturday 17th was second with 3.40.
For the last hour, the demonstration time came first with 3.84, then discussion time (3.78) and lightning talks (3.62).
There were 32 people that answered the poll.
I thank all the OCaml community to help us choose the right options.
See you at OCaml Meeting 2010
http://wiki.cocan.org/events/europe/ocamlmeetingparis2010 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ccss-1.0-released |
CCSS is a preprocessor for CSS, extending the language with arithmetic operations and the possibility to declare and use variables. This is the first public release of the project. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ccss-1.1-released |
This version adds support for unit conversion. This feature is off by default; please provide command line option '--convert' (short version '-c') to activate it. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-unix-course--the-pipes-chapter-is-translated |
Thanks to the translation of Daniel Bünzli and the proofreading job of John Clements, the pipes chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1].
[1] http://ocamlunix.forge.ocamlcore.org/pipes.html |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-unix-course--the-files-chapter-is-translated- |
Thanks to the translation of Richard Paradies and the proofreading job of Erik de Castro Lopo, the files chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1].
[1] http://ocamlunix.forge.ocamlcore.org/files.html |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-unix-course--the-signals-chapter-is-translated- |
Thanks to the translation of Thaddeus Meyer and the proofreading job of David Allsopp, the signals chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1].
All the chapters have now been translated and proofread. But don't start your printer yet, some details need to be ironed out. An annouce will be made when the document is ready.
[1] http://ocamlunix.forge.ocamlcore.org/signals.html |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ccss-1.2-released |
This release improves the coverage of CSS (namely !important declarations), and adds support for some corner cases in unit handling (such as divisions between quantities with the same unit and additions/subtractions when one of the operands is the scalar 0). |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2010--end-of-subscription-is-on-next-friday |
Only 5 days before the end of subscription. We are already 60 people.
----
For the third time, I am proud to invite all OCaml enthusiasts to join
us at OCaml Meeting 2010 in Paris.
This year event takes place in Paris on Friday 16th April 2010. Subscription is
opened and will be closed on Friday 2nd April 2010.
Presentations include:
* Enforcing Type-Safe Linking using Inter-Package Relationships for OCaml Debian packages
* The Ocamlviz visualization toolkit
* Cluster computing in Ocaml
* Ocaml in a web startup
* React, functional reactive programming for OCaml
* OASIS, a Cabal like system for OCaml
* OPA, same web, but with types and lambda
* OC4MC, Objective Caml for MultiCore
* Lwt, Cooperative Light-Weight Threads
* naclgrid: the collaborative rendering farm, a JoCaml-powered desktop grid
The meeting is sponsored by INRIA, the Caml Consortium and OCamlCore. Inscription is free but the number of participants is limited.
Further information and inscriptions:<br>
http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
The day after OCaml Meeting, an OCaml hacking day will take place:
Further information and inscriptions:<br>
http://wiki.cocan.org/events/europe/ocamlhackingday2010
Volunteers willing to help before/during these events can contact me directly. We are particularly looking for a video team. You can also forward this
invitation to any groups that can be interested in (Haskell user group, CUFP
mailing list...)
For people who need further information, you can contact me (see
wiki.cocan.org for contact details).
Hope to see a lot of you <br>
Regards<br>
Sylvain Le Gall on behalf of the OCaml Meeting organization team. |
1 |
1 |
2010-03-30 09:55 |
No Moderation |
| the-course-on-unix-system-programming-in-ocaml-is-translated |
It is my pleasure to announce that Xavier Leroy and Didier Rémy's
course on Unix system programming in Objective Caml is now available
in english at this address :
http://ocamlunix.forge.ocamlcore.org/
If you had a look at the individual publications of the chapters
announced on the project feed you may want to have a look again: some
parts of the text were improved and a few translation errors were
corrected in the final version.
The translation was made by :
* Eric Cooper
* Eliot Handelman
* Priya Hattiangdi
* Thad Meyer
* Prashanth Mundkur
* Richard Paradies
* Till Varoquaux
* Mark Wong-VanHaren
* Daniel C. Bünzli
And the resulting text was proofread by :
* David Allsopp
* Erik de Castro Lopo
* John Clements
* Anil Madhavapeddy
* Prashanth Mundkur.
A big thank to all of them for the time they provided for the project.
A special mention goes to Prashanth Mundkur who was very supportive
and responsive all along. He not only proofread more than one chapter
but also provided fixes and improvements for every part of the
document.
Thanks also to all the people working on ocamlcore.org for the hosting
resources.
Best,
Daniel |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| oasis-0.1.0-first-public-release- |
This is the first public release of OASIS. It aims to provide a clean and efficient way to create a configure/build and install system for your OCaml applications and libraries using a single '_oasis' file.
It is inspired by Haskell's Cabal.
Features:
* generate a standalone setup.ml which provides standard entry points in the build system,
* plugin system that allows to choose the best sub-system: OCamlbuild, custom build (Makefile based)...
* the file _oasis can be used as a metadata storage to help other tools analyze your source code
* customization of every piece of the generated build system by just editing the files concerned
* full OCaml script, no Unix call involved
* tested on Linux and Windows
Bonus features:
* available in french, using ocaml-gettext
* binary installers for Linux and Windows (32bits)
Website:
http://oasis.forge.ocamlcore.org
If you want to contribute:
http://oasis.forge.ocamlcore.org/contribute.html
Regards
Sylvain Le Gall
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamleditor-1.3-released |
Now available for Linux.
http://ocamleditor.forge.ocamlcore.org/ |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamleditor-1.3-released |
Now available for Linux
http://ocamleditor.forge.ocamlcore.org/ |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| mlpost--new-version-0.8 |
Mlpost 0.8 is finally out!
You can get it at http://mlpost.lri.fr/ or at the ocamlforge. Notable changes are a few new modules, such as Tree_adv which delivers more powerful placement of trees, using overlays, or Real_plot, a nice alternative to Plot for float-valued functions.
There also is a new system of contributions (contribs), and two contribs for the moment. The first, Mlpost_lablgtk, allows to easily include Mlpost figures into a GTK interface. The other one, Mlpost_dot, draws graphs using a placement as given by the dot(graphviz) tool.
The Cairo backend is considered stable now and delivers mostly identical results as the Metapost backend. It supports PS, PDF , PNG and SVG output.
A few minor bugs have been fixed, thanks to Julien Signoles, Stéphane Glondu and others.
Finally, there are 4 incompatible changes, hopefully they do only affect a few people.
See the CHANGES file for more details.
Have fun and do not hesitate to submit bug reports, either by mail to the developers, or via the bug tracking system on the forge.
If you want to follow the Mlpost development more closely, we are now using a public git repository at the INRIA forge:
git clone git://scm.gforge.inria.fr/mlpost/mlpost.git
The Mlpost developers |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| tomorrow-is-ocaml-meeting-2010- |
Hello all,
Tomorrow the meeting will start at 09:30 at Hotel Ibis Paris Alesia Montparnasse, 49 rue des Plantes, 75014 Paris.
http://wiki.cocan.org/events/europe/ocamlmeetingparis2010#Location_Date
Here is the final schedule for the day:
* 09:00 - 09:30: Participant arrival with coffee
* 09:30 - 10:30: Foreword by Xavier Leroy
* 10:30 - 10:45: OCamlCore.org news and projects by Sylvain Le Gall
* 10:45 - 11:15: Enforcing Type-Safe Linking using Inter-Package Relationships for OCaml Debian packages, by Stefano Zacchiroli
* 11:15 - 11:30: Break
* 11:30 - 12:00: OASIS, a Cabal like system for OCaml, by Sylvain Le Gall
* 12:00 - 12:30: Cluster computing in Ocaml, by Gerd Stolpmann
* 12:30 - 13:00: Ocaml in a web startup, by Dario Teixeira
* 13:00 - 13:05: Meeting photo
* 13:00 - 14:30: Lunch
* 14:30 - 15:00: React, functional reactive programming for OCaml, by Daniel Bünzli
* 15:00 - 15:30: Ocamlviz by Sylvain Conchon
* 15:30 - 16:00: OC4MC : Objective Caml for MultiCore, by Benjamin Canou
* 16:00 - 16:30: Break
* 16:30 - 17:00: Cooperative Light-Weight Threads by Jérémie Dimino
* 17:00 - 17:30: The collaborative rendering farm: a JoCaml-powered desktop grid by William Le Ferrand
* 17:30 - 18:00: OCaml in the clouds, by Thomas Gazagnaire
* 18:00 - 19:00: Demonstration time, starting with Ocsigen 2.0
More information:
http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
See you all there
Sylvain Le Gall |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| sebib-1.0.0-released. |
Sebib means "S-Expressions for BIBliography", it provides a hackable Bibliographic References Management System: http://sebib.forge.ocamlcore.org/
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2010-is-over |
This year meeting was quite a success. With more than 75 subscribed participants, this is the biggest OCaml Meeting since its beginning. Some people were not able to come due to railway strike and airports closed, but they were replaced at the last minute.
R. Jones already published some photos:
http://rwmj.wordpress.com/2010/04/17/ocaml-users-conference-2010/
The last good news is that the sound of videos is good this year. Videos should be published soon on Google Video.
Thanks to all participants, talkers and INRIA Cours et Colloque team
Sylvain Le Gall |
1 |
1 |
2010-05-13 20:37 |
No Moderation |
| variant-types-and-pattern-matching-in-hlvm |
The HLVM distribution now includes a third example compiler and provides variant types and pattern matching. The resulting compiler can run quite sophisticated programs: http://flyingfrogblog.blogspot.com/2010/04/variant-types-and-pattern-matching-in.html |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| cia-bot-for-forge.ocamlcore.org--git- |
Hello all,
With a little help from OCamlCore.org administrator, our fellow OCaml developper ygrek has set up a CIA bot for one of his project.
You need to be login to forge.ocamlcore.org with ssh. Here is his recipe.
$ cd /gitroot/ocaml-mysql/ocaml-mysql.git
$ wget http://cia.vc/clients/git/ciabot.pl
$ vi ciabot.pl
# review configuration section, set project name and email address, ensure $xml_rpc=0
# setup update hook
$ cat hooks/update
refname=${1#refs/heads/}
[ "$refname" = "master" ] && refname=
oldhead=$2
newhead=$3
for merged in $(git-rev-list $newhead ^$oldhead | tac); do
/gitroot/ocaml-mysql/ocaml-mysql.git/ciabot.pl $merged $refname
done
$ chmod a+x hooks/update
Thanks to ygrek for this recipe.
Sylvain Le Gall |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| uploaded-sources-of-ocaml-semaphore-to-hg-repository |
Mercurial repository with source code is located here:
http://hg.ocamlcore.org/cgi-bin/hgwebdir.cgi/ocaml-semaphore/ocaml-semaphore/ |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| regstab-1.4.4-released |
- Added many examples
- Option -verbose is now --verbose or -v
- Options --print-lemmas and -l added: prints the lemmas
- Option --verbose is now much more verbose (nb of applications of rules, nb of lemmas, ...)
- Fixed a bug in the parser: definition applications cannot (should not) introduce captures anymore
- Fixed a small bug that may occur when you give a constraint that does not "follow" the bounds of iterations (e.g. /\i=3..n ... | n>=0)
- Manual now contains the formal grammar and a table of examples
- License change to CECILL-B (BSD-like licence) in order to be compatible with French law (should have been done before :-S). Contact me in case that's a problem.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| tuareg-2.0.1 |
This is the second release of the Emacs tuareg-mode for editing OCaml files from Jane Street.
This release fixes a bug manifest in older emacsen.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-included-1.2.0-released |
This release will be available through GODI, as our build system has changed back to a much simpler ocamlbuild/makefile-based system. Once Camomile resolves its problems with loading its data files, this version of batteries will support setting an environment variable to choose what camomile files to load. And of course the usual set of bugfixes and improvements. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| csv-1.2.1 |
New version of the OCaml CSV library. This is a bugfix release (correcting all reported bugs). |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamleditor-1.4 |
This release includes the new feature "External Build Tasks" that allows you to execute external shell commands as part of the build process or to fully replace the standard process proposed.
For the full list of features and other changes in this release, see http://ocamleditor.forge.ocamlcore.org/ |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| calendar-2.03-released |
Hello,
A new release of calendar (version 2.03) is out. The godi package has been updated as well.
Changes are:
* Detect whether native dynlink works (prevents compilation bug on Mac OS X, thanks to Mykola Stryebkov for its help)
o [Date] new function Date.precise_sub
o [Calendar] new function Calendar.precise_sub (from Dario Teixeira's suggestion)
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| changed-license-to-lgpl---ocaml-linking-exception |
Now I release all my OCaml libraries under LGPLv3+ with the exception that permits static linking with anything.
It was GPL before, but I read more about the subject. Enjoy the code :-). |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamlduce-3.12.0.0 |
A new version of OCamlDuce, a merger of OCaml and CDuce that extends OCaml with XML types, has been released.
The changes from the previous version (3.11.2.0) are:
- merge with OCaml 3.12.0
- drop native ocamlducedoc
- fix memory leak issue in NS handling [Stefan Lampe]
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| planet-ocamlcore-on-twitter |
Planet OCamlCore is now on Twitter. Follow OCaml news here:
http://twitter.com/planetocamlcore
If you want to be part of the OCaml Planet, read this HOWTO:
http://www.ocamlcore.org/planet/
Thanks to Martin Jambon for the idea.
Sylvain Le Gall for the OCamlCore.org team |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| project-started- |
This project recently started. Expect an installer for the 32 bit msvc port of OCaml in the comming weeks with a 64bit version following later.
/Martin |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| new-ssl-certificate-for-ocamlcore.org |
The OCamlCore.org team was pondering if we should use a commercial certificate to replace the free CACert.org certificate. While we acknowledge that CACert is a very important initiative, we decided to change the certificate.
This way, OCaml Forge user should not need to add exceptions or trust the CACert root certificate. Access to the forge should be easier.
The SSL certificate is now issued by Equifax. If you have problem loading https://forge.ocamlcore.org, contact the administration team (through our bug tracker http://forge.ocamlcore.org/tracker/?group_id=1).
NB: we use a wildcard certificate for *.ocamlcore.org, this doesn't cover lists.forge.ocamlcore.org -- which was already the case for CACert. For now, we recommend to add an exception when accessing https://lists.forge.ocamlcore.org.
Sylvain Le Gall, on behalf of the OCamlCore.org team |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-fileutils--release-0.4.1--bugfix- |
The project ocaml-fileutils just release a bugfix version, including two patches. It fixes a mismatch in FileUtilStr.
Here is the changelog:
v0.4.1:
* Apply patch from S. Glondu to use the right find function in FileUtilStr (Closes: #731)
* Fix some typo in documentation
* Apply patch from Debian to use a byte plugin for ocamlbuild
Sylvain Le Gall |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-data-notation--release-0.0.2 |
This is a bugfix release that workaround camlp4 differences between OCaml 3.11 and 3.12. You can now compile odn with both versions.
Sylvain Le Gall |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| new-release--cryptokit-1.4 |
- Added Blowfish block cipher.
- Added MAC functions based on HMAC construction applied to
SHA-256 and RIPEMD-160.
- Added OASIS and findlib support (Closes: #589)
Sylvain Le Gall on behalf of Crytpokit developers |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-expect-v0.0.1 |
First public release of this library. It can helps to build efficient interactive program unit test (with OUnit for example).
It provides the basic command of expect: spawn, send and expect. You can match strings using regular expression (Str), you can also match a timeout and eof.
Sylvain Le Gall |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| camera-rescue-v0.0.1 |
This is the first release of a tool that I have already used in "real life". If you take a lot of picture, or if friends of you do so, you should have already seen a memory card crashed.
This can happen for various reasons:
* you remove the card while the camera is flushing it
* you remove the battery while the camera is flushing the card
* the card just crash
Most of the time, it happens when the picture are really important.
This tool helps you to recover the JPEG files from the card by looking for JPEG markers. This is quite efficient (scan 8GB in less than 10min, using a dump of the card) and helps to recover the pristine picture, with its metadata.
So far, the program helps me to save a trip to Marrakech and a wedding.
Sylvain Le Gall |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| gammu--html-documentation |
The documentation of ml-Gammu (a binding to Gammu, a library to access your phone) is available at http://ml-gammu.forge.ocamlcore.org/doc/ |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| onotify-0.6---the-first-public-release-- |
I am pleased to announce the first public release of Onotify !
Onotify is an OCaml binding for the Linux Inotify framework.
This project is a fork of ocaml-inotify, another Inotify OCaml binding initiated by
Vincent Hanquez <vincent@snarc.org> which can be found here :
http://projects.snarc.org/ocaml-inotify
Yet, Onotify is heavily based on this initial project and I would like
to thank Vincent Hanquez for his work.
The essential differences between Onotify and the initial project are :
- a new build system based on OCamlbuild, GNU make and a shell script ;
- some slight changes in the API, especially :
- a call to Inotify.read can now be safely blocking
- use of Unix.Unix_error to report runtime errors
- a documented API using ocamldoc
- a slightly improved test program
- the drop of the Inotify compatibility header (yet still present under unused/)
You can download the tarball from the download area provided by OCamlForge.
Moreover, you can visit the project homepage (currently very light !) at : http://onotify.forge.ocamlcore.org/
Enjoy !
Ludovic Stordeur |
1 |
2 |
2010-10-05 12:34 |
No Moderation |
| ocaml-expect-v0.0.2 |
This is a new release that features:
* replace variant matches like ExpectFun by `Fun
* split Str match into a separate module and add a Pcre module
* allow to dynamically determine the result of an expect call (through ~fmatches)
* allow to provide an environment when spawning a process
All of these changes comes from a discussion with Gaius Hammond:
http://gaiustech.wordpress.com/2010/09/22/expect-2/
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| onotify-0.6.1---a-bugfix-release |
I am pleased to announce the second release of Onotify : 0.6.1.
This is essentially a bugfix release which fixes an issue preventing
Onotify to be installed with ocaml-inotify. (because of an ocamlfind name clash).
See the release notes for more details.
Enjoy !
Ludovic Stordeur
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| website-completed |
The Onotify website is now complete and is accessible here :
http://onotify.forge.ocamlcore.org |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| some-changes-in-the-communication-tools |
The "Announce" mailing-list has been removed. Future major announces will now only be posted through the OCamlForge News system.
The "Tech. Support" tracking tool has been created. But you can always use the devel mailing-list to ask for any technical question.
Last but not least, the Bug Report tracking tool is now the only way to submit bug reports. Use of the devel mailing list is now discouraged. This makes easier the centralization of bug reports and avoid bug report duplicatas between the tracking tool and the mailing-list.
The README and website have been updated according to these changes.
Ludovic Stordeur |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ounit-1.1.0 |
This is a new release of OUnit that contains quite a lot of changes:
- improved documentation
http://ounit.forge.ocamlcore.org/api/
- lot of changes: assert_command to run command,bracket_tmpfile,
- backtrace support
- can use extra command line arguments with run_test_tt_main
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| melt-1.3.0 |
Version 1.3.0 of Melt, the tool to write LaTeX documents in OCaml, has been released. This version features variables computed using a fixpoint, which allow you to ask for future values of the variable. Man pages have been written, *many* new latex commands have been added, comments may be used in text and math mode, and of course some bugs have been fixed.
The complete set of changes can be seen here:
https://forge.ocamlcore.org/frs/shownotes.php?release_id=340 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| onotify-0.6.2-released |
This is a minor release.
Changed :
* renamed this file from ChangeLog to NEWS and reworked its content
Improved :
* some changes in the README file ;
* completed the API documentation :
+ added a short example (mostly borrowed from the test program) ;
+ reworked the function documentations (dropped the use of tag @return)
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| onotify-available-in-godi--- |
I am very pleased to announce the availability of Onotify in the GODI distribution.
For GODI users, trying Onotify is now just a matter of :
godi_perform -build godi-onotify
Enjoy !! |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-http-0.1.4-now-uploaded |
After quite a while, we now have the source of ocaml-http 0.1.4 on OCamlForge!
Here's to many more releases soon. If you're having trouble, please see the bug-tracker at https://forge.ocamlcore.org/tracker/?group_id=90. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-http-now-on-git- |
I've migrated the old SVN repository to a lovely new Git one, proudly hosted by OCamlCore!
The repository can be browsed here: http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=ocaml-http/ocaml-http.git;a=summary |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| oasis-v0.2.0-release |
I have just released the v0.2.0.
Full blog post about the release here:
http://www.ocamlcore.com/wp/2010/10/oasis-v02-release/
Sylvain Le Gall |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-data-notation--release-0.0.3 |
This new release just add a partial support for polymorphic variant, as used in OASIS.
Sylvain Le Gall |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-sphinx-0.0.1-released |
This is the first release of OCaml client API for Sphinx fulltext search engine <http://sphinxsearch.com>.
Get it at https://forge.ocamlcore.org/frs/?group_id=182 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-extunix-0.0.1-released |
ExtUnix aims to collect thin bindings to various low-level system API in one library with consistent interface. Project goals are detailed in README at http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=extunix/extunix.git;a=blob_plain;f=README.txt;hb=HEAD
This is a preliminary alpha release, some API may change (based on your feedback). Implemented bindings :
* fsync fdatasync
* eventfd signalfd
* statvfs fstatvfs
* dirfd openat unlinkat fstatat
* uname
* fadvise fallocate
* ttyname setpgid getpgid setreuid setregid
* realpath
Get it at https://forge.ocamlcore.org/frs/?group_id=175 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| regstab-1.4.6-released |
Fixed a huge bug that could make a satisfiable formula unsatisfiable.
If this ever happened to you and made you forget about RegSTAB, then give it a new try! |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| fusionforge-migration |
Wednesday, December 15th 2010, we will proceed to the migration of the OCaml Forge to FusionForge. During two days, the forge and related services may not be accessible due to this migration.
Among various bug fixes, this migration will bring:
* direct support of git, darcs and bazaar
* wiki plugin
More information here:
http://fusionforge.org
This migration will be made with the help of Roland Mas, a developper of FusionForge:
http://gnurandal.com
Sylvain Le Gall, on behalf of the OCamlCore.org administration team |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| fusionforge-migration--reminder |
Tomorrow, the OCaml Forge will migrate to FusionForge 5. Expect some hours of unavailability.
Sylvain Le Gall on behalf of OCamlCore.org administration team |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-extunix-0.0.2-released |
ExtUnix aims to collect thin bindings to various low-level system API in one library with consistent interface.
New release adds more bindings.
Get it at https://forge.ocamlcore.org/frs/?group_id=175 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| yypkg-1.0.0-beta1-released |
YYPkg is a cross-platform package manager working in a separate prefix. It should prove particularly useful for windows, including when cross-compiling, but it can also serve any purpose. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-http-0.1.5-released |
ocaml-http-0.1.5 has been released!
This minor update:
* fixes a bug with cookie parsing, where common (but technically incorrect) constructs of cookies would cause the request to not be processed
* fixes a bug where empty request strings (e.g. a URI of the form "/xyz?") would cause the request to not be processed
* adds "Connection" header setters/getters
* changes the default behaviour of sockets to be closed after writing out a response
Enjoy. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| argot--1.0-alpha |
Argot is an enhanced HTML generator for ocamldoc.
Features:
- stroked, underlined, and highlighted styles
- image data inclusion
- full table support (caption, headers, rows, and data)
- token substitution
- @typevar tag to document type variable
- @unimplemented, @todo, @todoc, @docme, @fixme, @tofix tags for remaining work
- @threadsafe, @threadunsafe tags for thread compatibility
- @stateful tag for state-based functions
- @attention, @bug, @error, @info, @new, @note, @remark, @warning tags
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| mascot--1.0-alpha |
Mascot is a style-checker for Objective Caml sources.
Features:
- customization of activated checks (and exceptions) by configuration files
- code checks: overloading of builtin elements, useless constructs, deeply
nested constructs, 'open' statements, magic numbers, complex conditions
- documentation checks: presence of comments, and spellcheck
- interface checks: empty interface, and number of exported elements
- metrics checks: coupling, Halstead, and McCabe
- miscellaneous checks: matching of regular expressions
- typographic checks: spaces, tabulations, headers, and file/line lengths
- support for CheckStyle, CSV, HTML, JDepend, bare text, and XML outputs
- support for plugins (custom checks and outputs) |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-1.3.0-released |
Finally, a new release of batteries, with support for OCaml 3.12, a new testing infrastructure with tests auto-extracted from source and using QuickCheck for property verification, new useful functions and modules, documentation improvements and lots of bug fixes.
Download at: https://forge.ocamlcore.org/frs/?group_id=17&release_id=380 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| bolt--1.1 |
This post announces the 1.1 release of the Bolt project, whose goal is to provide
a comprehensive yet flexible logging framework for the Objective Caml language.
Main changes since 1.0:
- update for Objective Caml 3.12.0
- new build system (ocamlbuild-based)
- reorganization of 'src' directory
- code refactoring
- enhanced manual
- new 'hostname', 'process' and 'origin' properties added to events
- enhanced support for name of 'file' output
- support for Growl output (visual notifications for Mac OS X)
- preliminary support for Paje layout (trace format for parallel programs)
- bug #51: unportable use of 'which'
- bug #52: thread-compatibility module does not compile
- bug #53: printf-like messages support at most 2 arguments
- bug #54: META file does not contain all dependencies
- bug #55: preprocessor de-parenthesizes first argument
- bug #56: tests fail if 'ocamljava' is not present
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamleditor-1.6.0-released |
* Code folding.
* Indentation lines.
* Code templates.
* Show line endings.
* File tab context menu.
* Find definition/references, based on ".annot" files. Shortcuts for
"find definition" are Ctrl+Click or Ctrl+Return; shortcut for "find
references" is Shift+Ctrl+Return. When you move to a definition,
navigation is stored in the location history.
* Automatic compilation of the currently open file. Delay and compiler
flags are configurable in project properties. Error/warning locations
are underlined in the source and marked in the "gutter" and in the
global gutter. Error messages are shown with a tooltip.
* Multiple runtime configurations.
* Added minimal support for tree-structured projects.
* Ability to specify the working directory for external tasks.
* Global shortcut for "Find All" (Shift+Ctrl+F) and in "Find Text"
dialog window (Ctrl+Return).
* Reduced CPU consumption with GtkThread as proposed in
http://yquem.inria.fr/pipermail/lablgtk/2009-December/000335.html
* Various other GUI improvements and changes.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamleditor-1.6.0-released |
Main changes:
- Code folding.
- Indentation glines.
- Code templates.
- Show line endings.
- File tab context menu.
- Find definition/references.
- Automatic compilation of the currently open file.
- Multiple runtime configurations.
- Added minimal support for tree-structured projects.
- Ability to specify the working directory for external tasks.
- Global shortcut for "Find All" (Shift+Ctrl+F) and in "Find Text"
dialog window (Ctrl+Return).
- Reduced CPU consumption with GtkThread as proposed in
http://yquem.inria.fr/pipermail/lablgtk/2009-December/000335.html
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamleditor-1.6.0-released |
Main changes:
- Code folding.
- Indentation glines.
- Code templates.
- Show line endings.
- File tab context menu.
- Find definition/references.
- Automatic compilation of the currently open file.
- Multiple runtime configurations.
- Added minimal support for tree-structured projects.
- Ability to specify the working directory for external tasks.
- Global shortcut for "Find All" (Shift+Ctrl+F) and in "Find Text"
dialog window (Ctrl+Return).
- Reduced CPU consumption with GtkThread as proposed in
http://yquem.inria.fr/pipermail/lablgtk/2009-December/000335.html
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| bisect-1.1 |
This post announces the 1.1 release of the Bisect project, whose goal is to provide
a code coverage tool for the Objective Caml language.
Home page: http://bisect.x9c.fr
Main changes since 1.0:
- update for Objective Caml 3.12.0
- new build system (ocamlbuild-based)
- reorganization of 'src' directory
- 'instrument.cmo' renamed to 'bisect_pp.cmo' (and now depends on 'str.cma')
- instrumentation modes ('safe', 'fast', and 'faster')
- '-exclude' command-line switch to exclude functions from instrumentation
- '(*BISECT-MARK*)' / '(*BISECT-VISIT*)' comments to mark lines
- '(*BISECT-IGNORE-BEGIN*)' / '(*BISECT-IGNORE-END*)' / '(*BISECT-IGNORE*)'
comments to ignore parts of source file
- bug #51: unportable use of 'which'
- bug #52: thread-compatibility module does not compile
- bug #59: instrumented code is 20 times slower
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| kaputt-1.1 |
This post announces the 1.1 release of the Kaputt project, whose goal is to provide
a comprehensive testing framework for the Objective Caml language.
Home page: http://kaputt.x9c.fr
Main changes since 1.0:
- update for Objective Caml 3.12.0
- new build system (ocamlbuild-based)
- assertion builders for data containers
- generators for functions (both total and partial)
- enumerators for file contents (chars, bytes, lines, and marshalled values)
- additional shell commands, and possibility to configure shell syntax
- enhanced big array, and big num support
- fix for possible non-termination on unsatisfiable precondition
- implementation of reduction (to try to produce smaller counterexamples)
- bug #51: unportable use of 'which'
- bug #57: tests fail on 64-bit platform
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2011--inscription-is-opened |
For the fourth time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2011 in Paris.
This year event takes place in Paris on Friday 15th April 2011. Subscription is opened now and will be closed on Friday 8th April 2011.
As last year, participants are invited to give a talk on what they are doing with OCaml, submit a description of your talk on the wiki or contact me.
The meeting is sponsored by INRIA CAML Consortium and organized OCamlCore. Participation for lunch is covered by the Consortium, you just need to subscribe. The facility can only host 70 people, so we will have to filter the list of participants if there are more people. We will give priority to people giving a talk and coming from abroad.
For people who need further information, you can contact me (see the wiki for contact details).
Further information:
https://forge.ocamlcore.org/plugins/mediawiki/wiki/ocaml-meeting/index.php/OCamlMeeting2011
Registration:
http://ocaml-meeting.forge.ocamlcore.org/2011-paris/reg_add
Hope to see a lot of you
Regards
Sylvain Le Gall on behalf of the OCaml Meeting organization team
p.s. the registration website is made with Ocsigen and connected to the forge, so you need to be logged in the OCaml Forge to be able to subscribe |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-version-of-ocsigen-bundler |
This is the first version of this application. It is a simple application that helps create self contained Ocsigen web server with its Eliom
modules.
It is used to deploy various Ocsigen application on ocamlcore.org. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ansiterminal-0.5-released |
ANSITerminal is a module allowing to use the colors and cursor movements on ANSI terminals and the windows shell. The current release includes a better windows module thanks to the help of Vincent Hugot. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2011--3-weeks-before-registration-closed |
For the fourth time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2011 in Paris.
This year event takes place in Paris on Friday 15th April 2011. Registration is opened now and will be closed on Friday 8th April 2011.
As last year, participants are invited to give a talk on what they are doing with OCaml, submit a description of your talk on the wiki or contact me.
The meeting is sponsored by the INRIA CAML Consortium and organized by OCamlCore SARL. Participation for lunch is covered by the Consortium, you just need to subscribe. The facility can only host 70 people, so we will have to filter the list of participants if there are more people. We will give priority to people giving a talk and coming from abroad.
__At the date of this post, only 40 places remain.__
For people who need further information, you can contact me (see the wiki for contact details).
Further information:
https://forge.ocamlcore.org/plugins/mediawiki/wiki/ocaml-meeting/index.php/OCamlMeeting2011
Registration:
http://ocaml-meeting.forge.ocamlcore.org/2011-paris/reg_add
Hope to see a lot of you
Regards
Sylvain Le Gall on behalf of the OCaml Meeting organization team
p.s. the registration website is made with Ocsigen and connected to the forge, so you need to be logged in the OCaml Forge to be able to subscribe |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| calendar-2.03.1-released |
Hello,
A new minor release of calendar (version 2.03.1) is out. It only contains bug fixes. The godi package has been updated as well.
Changes are:
* [Calendar] Fixed bug in Calendar.prev and Fcalendar.prev: mostly raised exception Date.Out_of_bounds before.
* [Printer] `Thurday' was printed instead of `Thursday'
Best regards,
Julien Signoles |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-commnity-not-selected-for-gsoc |
Despite the best efforts of the GSoC OCaml admin team as well as several members of the community, I am sorry to announce that the OCaml community was not selected as a mentor organization for the GSoC 2011. I have asked for some feedback so we can improve for next year.
On behalf of the admin team, I would like to thank everybody who has put their name on the mentor list and especially those who spend some time to write a draft on our ideas list. Do not hesitate to put more ideas on the wiki [1], they will be of use for next year or for other projects.
[1] https://forge.ocamlcore.org/plugins/mediawiki/wiki/gsoc-team/index.php/GSoC2011/Applying |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| mesh-0.7 |
“Mesh” is interface to various mesh generators, in particular triangle. This is its first public release. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2011--1-week-before-end-of-registration |
For the fourth time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2011 in Paris.
This year event takes place in Paris on Friday 15th April 2011. Registration is
opened now and will be closed on Friday 8th April 2011.
As last year, participants are invited to give a talk on what they are doing
with OCaml, submit a description of your talk on the wiki or contact me.
__ Only 30 places left and only one week before remains __
We are still looking for:
* someone to handle the camrecorder
* someone to welcome people and direct them to the cafeteria
Both of these tasks will only take you a limited amount of time during the
meeting. It will help the organization team a lot.
The meeting is sponsored by INRIA CAML Consortium and organized OCamlCore.
Further information:
http://bit.ly/eaZi1C
Registration:
http://bit.ly/hqaDWb
Hope to see a lot of you
Regards
Sylvain Le Gall on behalf of the OCaml Meeting organization team
p.s. the registration website is made with Ocsigen and connected to the forge,
so you need to be logged in the OCaml Forge to be able to subscribe. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2011--hacking-day |
Pierre Chambart from IRILL is setting up a hacking day the day after the meeting. It will take place at IRILL and every OCaml hackers is welcome to participate. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2011--2-days-before-end-of-registration |
For the fourth time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2011 in Paris.
This year event takes place in Paris on Friday 15th April 2011. Registration is opened now and will be closed on Friday 8th April 2011.
As last year, participants are invited to give a talk on what they are doing with OCaml, submit a description of your talk on the wiki or contact me.
__ Only 10 places left and only 2 days remains __
The day after the meeting, an OCaml Hacking day will take place at IRILL, more information will be given by Pierre Chambart during the Meeting.
We are still looking for:
* someone to handle the camrecorder
* someone to welcome people and direct them to the cafeteria
Both of these tasks will only take you a limited amount of time during the meeting. It will help the organization team a lot.
People talking at the meeting are invited to complete the description of their talks on the wiki and to send me their slides before the meeting.
The meeting is sponsored by INRIA CAML Consortium and organized OCamlCore.
Further information:
http://bit.ly/eaZi1C
Registration:
http://bit.ly/hqaDWb
Hope to see a lot of you
Regards
Sylvain Le Gall on behalf of the OCaml Meeting organization team
p.s. the registration website is made with Ocsigen and connected to the forge, so you need to be logged in the OCaml Forge to be able to subscribe. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2011--last-day-of-registration |
For the fourth time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2011 in Paris.
This year event takes place in Paris on Friday 15th April 2011. Registration is opened now and will be closed today.
__ Only 10 places left __
The day after the meeting, an OCaml Hacking day will take place at IRILL, more information will be given by Pierre Chambart during the Meeting.
We are still looking for:
* someone to handle the camrecorder
* someone to welcome people and direct them to the cafeteria
Further information:
http://bit.ly/eaZi1C
Registration:
http://bit.ly/hqaDWb
Hope to see a lot of you
Regards
Sylvain Le Gall on behalf of the OCaml Meeting organization team |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| sebib-1.1.0-released |
The Sebib project aims at providing a highly hackable “Bibliographic References Management System”. It is a library and a command-line application which handle an ad-hoc file format based on S-Expressions.
This version fixes build problems and adds the option "-reverse". |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| hardware-problem--ovh-is-investigating |
Hello all,
Since a few months the server hosting the forge has experienced unexpected reboots. Most of the time, it reboots without problems, within 15 minutes.
Today, the reboot takes longer than expected and we decided to solve this problem with the help of OVH admin.
It seems that we have a bad RAM module, that will need to be replaced. Expect a little more downtime in the next days, but hopefully it will solve problems.
Cheers
Sylvain Le Gall on behalf of the OCaml Forge team |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-meeting-2011--tomorrow-in-paris |
Tomorrow is the OCaml Meeting in Paris. It will take place at Telecom ParisTech. It will start at 9am. The meeting entrance will be at 46 rue Barrault (main Telecom ParisTech entrance).
http://www.telecom-paristech.fr/telecom-paristech/adresses-acces-contacts.html
More information (schedule...)
https://forge.ocamlcore.org/plugins/mediawiki/wiki/ocaml-meeting/index.php/OCamlMeeting2011
See you tomorrow
Sylvain Le Gall |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ansiterminal-0.6-released |
ANSITerminal is a module allowing to use the colors and cursor movements on ANSI terminals and the windows shell. This version uses OASIS. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| benchmark-v1.0-released |
Benchmark is a small module to measure running times of functions and compare the results. This release uses the OASIS framework to compile and install the code. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| lpd-v1.1-released. |
Lpd is a Line Printer Daemon (LPD) server library written entirely in OCaml. This version uses OASIS. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| csv-1.2.2-released. |
Csv is a pure OCaml library to read and write CSV files, including all extensions used by Excel. This release uses OASIS. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| gammu-0.9-released |
Gammu is a binding to libGammu <http://wammu.eu/>, which provides abstraction layer to work with different cell phones from different vendors. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| how-newcomers-can-easily-contribute-to-the-ocaml-batteries |
Batteries is a community effort to build a base library for the OCaml
languages. It builds upon the current minimal standard library
provided with the compiler, and the ExtLib effort which extended it
with several useful functions and modules.
Again, Batteries is a community effort: it is developed by volunteers
that have gathered, starting from the 2008 OCaml Meeting, to solve
what they thought was one of the most pressing obstacle to the ease of
use of the OCaml language. This means everyone can participate in the
Batteries effort, and we're proud to say that we're doing our best to
help non-frequent contributors and simple users to have an impact on
the project.
There are lots of things you can do to help us on the Batteries
front. Our manpower is scarce and we are aware of a lot of places
where the state of Batteries is lacking. Most of them are simple
things, but fixing a lot of simple things is a lot of work; you can
help.
- We need your help to improve documentation. Documentation should be
a major aspect of every software project, evermore for base
libraries. Documentation is admittedly one of the weak points of the
current state of Batteries. It has evolved a lot since its birth,
some module miss basic documentation, and some documentation of
older things that have changed is inconsistent. Don't hesitate to
report such issues. We would appreciate help to improve this: if you
see an problem (typo, documentation of some function missing,
inconsistency between two descriptions, etc.) in the documentaiton,
you can fix it directly, and provide a patch (the ocamldoc-generated
API documentation comes from the `.mli` files, which you can easily
modify).
We are also interested in code examples and use cases for specific
Batteries function. In an ideal world with infinite manpower, we
would like to have a simple useful example for each function, and
more consistent code snippets to highlight common patterns of uses
of a given module, feature or style. That's something that you can
certainly do, even if you're not familiar with the Batteries
internals.
- Some useful functions are still missing. If you begin using
Batteries but at some point realize that some function is missing
that you would really expect in a base library (think `List.filter`;
hopefully we got that one covered), please let us know.
We're also interested in suggestions to improve consistency across
modules : if module `Foo` has a `bar` function, but module `Foo2`
which is really similar doesn't, maybe we should add
`Foo2.bar`. Sometimes, a function name is not optimal, it should
rather be this other name that is common to those other modules, and
we may also try to fix it (but we must strive to preserve
backwards-compatibility, so we're limited in what we can change).
- We need your feedback. If you use Batteries but something doesn't
work for you or is missing, please let us know. If you *don't* use
Batteries because something doesn't work for you or is missing,
please let us know. We won't be angry at you because you don't use
it, and we will pay attention to (polite) harsh words.
To report any problem (bug, missing feature, inconsistency,
documentation problem...), you may use our issue tracker, which is
simple and easy to use.
https://github.com/ocaml-batteries-team/batteries-included/issues
For less precise feedback, more general discussion, if you want to
propose (and better, implement) more ambitious changes, or if you for
some reason don't want to use our issue tracker, please send us a mail
on the batteries-discuss mailing list, kindly provided by the
OCamlcore Forge.
batteries-discuss, lists.forge.ocamlcore.org
If you want to submit patches, please discuss them on our development
mailing list. We're very open to code submissions.
batteries-devel, lists.forge.ocamlcore.org
You will find the archives of both mailing-list on the Ocaml Forge:
https://forge.ocamlcore.org/mail/?group_id=17 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-iteratees-0.3-released |
ocaml-iteratees 0.3 released. Here is a list of changes from version 0.1a:
+ installing via findlib
+ I.UTF8.utf8_of_char: enumeratee for char -> utf8char conversion
+ I.limit enumeratee to limit iteratee with the specified amount of input elements
+ I.catch / I.catchk for catching errors (with optional recovery)
+ I.feedI -- ported from Oleg's code
+ generating it_type.ml with type of module made by Iteratees.Make(IO) |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| l-bfgs-0.5-released |
L-BFGS is a limited-memory quasi-Newton code for bound-constrained multidimensional optimization. This is its first public release. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| mleternal-0.2-released |
mleternal is an incremental build tool for OCaml programs.
The most important changes since 0.1 are:
* FUSE is employed to make ocamlc look as if it returns continuations: when it asks for a .cmi file, it pauses until we provide it.
* The new testing system checks if everything works OK staring from pure Debian to results of individual test cases. This is based on chroot and btrfs snapshots.
* bytecode compilation and linking works
Still, mleternal 0.2 is far from production quality. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-1.4.0-released |
Almost 250 commits to git since 1.3.0, we have a new batteries release. In addition to the usual slew of bug fixes, tests and documentation and performance improvements, we've added:
* a new core for both polymorphic and functorized Sets and Maps, giving better performance and a more consistent interface (i.e. many new functions for the functorized Sets/Maps). This also brings map merging to a new level, allowing complex merging operations to be performed easily on maps.
* Splay trees (Map and Set)
* Tuple2/3/4/5 modules for handling n-tuples in easier ways (obseleting the Pair module)
* Oasis support (doesn't generate our build system yet, just provides metadata and installation via odb)
* support for most new functions added to 3.12's stdlib (some names collided, full support coming in 2.0)
* Infix operators now available by opening Foo.Infix, as well as Foo.(expr) in 3.12
* Improved unification of numeric types with more operations shared by all.
* Additional printers installed by default in the toplevel
* LazyList matching support via camlp4
We're looking forward to v2.0 which will clean up some of the warts we've accumulated over the 1.x series by finally breaking backwards compatibility. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamlduce-3.12.1.0 |
A new version of OCamlDuce, a merger of OCaml and CDuce that extends OCaml with XML types, has been released.
The changes from the previous version (3.12.0.0) are:
- merge with OCaml 3.12.1 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-extunix-0.0.3-released |
ExtUnix aims to collect thin bindings to various low-level system API in one library with consistent interface.
New release adds more bindings and various compatibility fixes.
Get it at https://forge.ocamlcore.org/frs/?group_id=175 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| argot--1.0-beta |
Argot is an enhanced HTML generator for ocamldoc.
Changes since 1.0-alpha:
- switch to OCaml 3.12.1
- support for folding
- enhanced support for tables (horizontal span, check for well-formedness)
- @copyright and @license tags for legal information
- '-argot-version' command-line switch
- tests for base64 encoding
- support for ocamlfind has been fixed
- support for use as native plugin has been fixed
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| mascot--1.0-beta |
Mascot is a style-checker for Objective Caml sources.
Changes since 1.0-alpha:
- switch to OCaml 3.12.1
- revamped configure/build system
- support for checks based on annotation files
- support for checks using a state (for cross-file checks)
- new code checks: 'empty_for', 'empty_try', and 'empty_while'
- new code check: 'deprecated' to detect deprecated elements
- new code check: 'tuple_size' to detect lenghty tuples
- strict mode for documentation checks (rejects empty comments)
- bug #66: allowed modules in 'code.open' check
- bug #67: detection of useless parentheses in 'if', 'when', 'while', and
'for' constructs ('code.code_useless_external_parentheses')
- bug #68: 'code.physical_comparisons' check added
- bug #70: support for preprocessors
- bug #71: detection of textual code duplication ('code.textual_duplicate')
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| barista---2.0-alpha |
Barista is both a library for Java class file construction and a Java [dis]assembler.
Features:
- full support for class file format up to version 1.7
- experimental support for 'future' features (e. g. modules)
- can be used as a library, or as a command-line [dis]assembler
Changes since 1.4:
- update for Objective Caml 3.12.1
- update for Camomile 0.8.3
- new build system (ocamlbuild-based)
- reorganization of 'src' directory
- support for Unicode in 'src/utf8' directory
- major refactoring of code (with impact on API)
- executable names changed to 'barista.byte' and 'barista.native'
- peephole optimizations
- optimization of stack frames
- optimization of exception tables
- optimization of 'transitive' jumps
- new '-optimize' command-line switch to enable peephole/jump optimizations
- support for 'invodynamic' (JSR 292)
- preliminary support for type annotations (JSR 308)
- preliminary support for Java modules (project Jigsaw / JSR 294)
- support for 'package-info' and 'module-info' class files
- support for Java serialization protocol (version 2 only)
- new implementation for i/o operations
- improved manual
- Java API has been removed
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| bolt--1.2 |
This post announces the 1.2 release of the Bolt project, whose goal is to provide
a comprehensive yet flexible logging framework for the Objective Caml language.
Home page: http://bolt.x9c.fr
Main changes since 1.1:
- update for Objective Caml 3.12.1
- support for Daikon layout
- enhanced support for Paje layout
- file rotation can now be requested on signal reception (SIGHUP, SIGUSR1, or
SIGUSR2) using the 'signal' key in the configuration file
- syntax extension: possibility to use an identifier as the 'LOG' message
- syntax extension: 'WITH' and 'EXN' as synonyms for respectively 'PROPERTIES'
and 'EXCEPTION'
- some code factorization
Xavier Clerc |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| zarith-1.0-released |
First release of Zarith, a new OCaml library for exact, arbitrary-precision arithmetic over integers and rationals. This library is both space- and time-efficient, owing to the use of unboxed integers for small integers and GMP for big integers. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| l-bfgs-0.8-released |
This version
• introduces a "max" function for convenience;
• is compatible with FORTRAN code v3.0 that was released this summer. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| logistic-regression-in-ocaml |
Shows how to classify data using the Logistic model. Demonstrate the use of the L-BFGS OCaml module.
http://math.umons.ac.be/anum/en/software/OCaml/Logistic_Regression/ |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-release |
First public release of the native MySQL protocol library. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| tuareg-mode-is-available-through-marmalade |
The tuareg mode has been uploaded to http://marmalade-repo.org/ making it very easy to install. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-mysql-protocol-0.2-available |
A tutorial and some documentation have been added. The PDF version of the tutorial is also available in the "Documents" section. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocamlcore.org-future |
OCamlCore S.A.R.L has been proud to initiate, organize, and support various services for the OCaml community, with the help of the community and the CAML consortium. This includes:
- the OCaml forge (forge.ocamlcore.org) (400 users, 250 projects)
- the RSS agregator (planet.ocamlcore.org)
- 4 community meetings
- the creation of OASIS and OASIS-DB
All these help to improve the visibility of the OCaml Community. And it will continue that way.
OCamlCore S.A.R.L is proud that the above has been achieved not by the company alone, but also with the help of volunteers from the community.
For reasons unrelated to the above, OCamlCore S.A.R.L will be discontinued. It is now time for me (Sylvain Le Gall) to move to a new company and to take new challenges.
Concerning all services, the CAML Consortium has offered support and the individuals behind the various ocamlcore.org services (including Sylvain Le Gall) have decided to continue offering the services to the community.
On the long term, the real changes will be that the services will be named "*.ocaml.org" rather than "*.ocamlcore.org" (thanks to Xavier Leroy for making this possible). This will make the services more vendor-neutral.
Backward compatibility links will be preserved for 1 year starting from the domain name change. We will make an official announcement when we start the migration, so please be prepared to update your links.
More than ever, you can join the volunteers maintaining the OCaml[Core].org services. Contact me (gildor @AT@ ocamlcore.org). |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| disk-space-problem-solved |
The server has run out of disk space, due to buggy program eating /tmp space. The bug is not fixed but the problem will only show up again in a few months. It will hopefully give me time to solve it.
Cheers
Sylvain Le Gall |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| argot--1.0 |
This versions brings the following changes :
- new '-search' command-line switch to generate search information
(available on HTML pages through the magnifying glass icon)
- search by exact name
- search by name using regular expression
- search by type using isomorphisms (experimental)
- new '-definitions' command-line switch to load variables from file
- correct handling of embedded tables
- more predefined licenses for the '@license' tag
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-release-0.1 |
https://forge.ocamlcore.org/frs/?group_id=276 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| release-2.0-alpha |
https://forge.ocamlcore.org/frs/?group_id=225 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-release-0.1.0 |
This is the first public release of the ocamlnat project, which aims to provide a native code toplevel for the OCaml language, that is mostly compatible to the byte code toplevel, but up to 100 times faster. It is based on the optimizing native code compiler, the native runtime and an earlier prototype by Alain Frisch. It is build upon Just-In-Time techniques and currently supports Unix-like systems (i.e. Linux, BSD or Mac OS X) running on x86 or x86-64 processors. Support for additional architectures and operating systems is planned, but not yet available. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| melt-1.4.0---the--thesis-release- |
Version 1.4.0 of Melt, the tool to write LaTeX documents in OCaml, has been released. New LaTeX commands have been added, the melt tool binary has been renamed as melt-build, and some bugs have been fixed.
My original goal with Melt was to use it to write my thesis. This release marks the version of Melt I used to compile the final version of my thesis. Along the way, Melt received several contributions from other PhD students who also wrote their thesis using Melt. Other articles and slides have been written as well. We can say that Melt is now mature.
By the way, thanks to Stéphane Glondu, Melt is also available as a Debian package called ocaml-melt.
The complete set of changes can be seen here:
https://forge.ocamlcore.org/frs/shownotes.php?release_id=537 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-moving-to-2.0 |
Batteries is edging closer to making a 2.0 release, where we finally clean up some of the cruft that was included in 1.x releases. If you have any cruft that's bothering you, now's the time to let us know at https://github.com/ocaml-batteries-team/batteries-included/issues or on the mailing list batteries-devel@lists.forge.ocamlcore.org We're also finally going to use 3.12 features in batteries, so if this has held you back from contributing, show us your code. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| barista--2.0-alpha2 |
Changelog:
- move from Java 1.6 to Java 1.7 as default version
- syntax extension for 'exception pattern' (BARISTA_ERROR)
- syntax extension for Unicode literals (@"string" and @'c')
- InputStream.t and OutputStream.t can now be created from functions
- better error reporting when a signature is invalid
- helper functions for serialization
- minor refactoring of code (with small impact on API)
- removed dependency to 'Str' module
- bug #73: uniform handling of depencies
- bug #83: correct construction of constant pool w.r.t. LDC instructions
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| packing-circles-into-a-rectangle |
How to pack a given number of disks into a rectangle so that they cover the greatest possible area.
<https://math.umons.ac.be/anum/en/software/OCaml/Circle_Packing/>. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| libsndfile-ocaml-0.8-available |
This is Erik de Castro Lopo own binding to it's libsndfile, maintained by Ph.Strauss. Usefull for reading/writing various audio file formats. Tarball and public git should be ok now. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| lacaml-v6.0.0-released |
Lacaml is a binding to the celebrated linear algebra routines BLAS and LAPACK. This version builds with OASIS. Moreover the precision dependent code is available with Lacaml.D,... instead of the former Lacaml.Impl.D,... Enjoy. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| gapi-ocaml-0.1 |
gapi-ocaml is a simple, unofficial, OCaml client for Google Services. The library supports ClientLogin, OAuth 1.0a, and OAuth 2.0 authentication. Currently supported RESTful APIs: Calendar APIs v3 (JSON based), Google+ API v1, Tasks API v1, APIs Discovery Service v1, URL Shortener API v1, OAuth2 API v2, Calendar Data API v2 (old Atom based version).
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-mysql-protocol-0.3-available |
Compatibility with bitstring 2.0.3 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| jingoo-v1.0-release |
jingoo is ocaml template engine almost compatible with jinja2. see README and example/cheatsheet.tmpl will help you understand template syntax of jingoo. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| preparing-release |
I'm finally got around to preparing a release for upload to Debian and uploaded 1.0~rc2 files. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| releasing-libaio-ocaml-1.0 |
Libaio-ocaml 1.0 has been released and uploaded to Debian.
The Aio module provides bindings for the libaio (Linux kernel AIO access library) C library. It can be used for fast asynchronous I/O.
Compared with the OCaml standard and Unix I/O functions this library:
* does not block
* does I/O in the background
* calls a continuation when the I/O has completed
It also contains Aio.Buffer providing page aligned blocks of memory needed for Aio and helper functions to get and set various datatypes from/to the buffer. e.g. to extract an int64 in little endian order at offset 16.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-mysql-protocol-0.4-available |
Now tested with several versions of MySQL server (5.0.95, 5.1.61 and 5.5.20). |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| zarith-1.1-released |
ZArith is a fast, space-efficient, GMP-based library for arbitrary-precision integer and rational arithmetic. This minor release brings a few bug fixes, minor performance improvements, and improved support for future OCaml versions. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| hg-repository-on-bitbucket |
See http://bitbucket.org/mmottl/lacaml |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| regstab-2.0.0-released |
- Complete refactoring
- Improved efficiency
- Now able to generate refutations
- UTF8 output
- A few more examples
- Various new command-line options:
* use inclusion instead of equality for cycle detection
* display the lemmas that are actually used in the deduction
* possibility to annotate files so as to indicate if the expected result is SAT or UNSAT
* display options: UTF8 or ASCII, display the body of iterations or not for more conciseness
* printing the model in case of satisfiability is not the default anymore
- Improved user documentation
- Improved developper documentation
- Translation from schemata to LTL: sch2ltl |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| barista--2.0-alpha3 |
Changelog:
- support for '*.sym' and '*.war' files in classpath
- 'JAVA_HOME' environment variable used to load JDK classes
- '/usr/libexec/java_home' utility used to load JDK classes (MacOS X)
- 'Predef' module renamed to 'Predefined'
- peephole rule for optimization of load/load sequences
- no automatic detection of 'ocamljava' binary
- bug #99: wrong packing of int32 into int64
- bug: ocamlbuild plugin for ocamljava-based compilation
- bug: invalid stack maps when double/long is followed by top
- bug: invalid locals size when over 255
- bug: incorrect graph flattening when wide gotos are used
- bug: install 'cmi' file
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-extunix-0.0.4-released |
ExtUnix aims to collect thin bindings to various low-level system API in one library with consistent interface.
New release adds more bindings and introduces bigarray variants for some functions.
Get it at https://forge.ocamlcore.org/frs/?group_id=175 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-winsvc-0.0.1-released |
winsvc turns OCaml program into Windows service. This is the first release (albeit somewhat late). |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-snappy-0.0.1-released |
ocaml-snappy implements bindings to snappy - a fast compression/decompression library. First release introduces simple functions to compress and decompress string buffers. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-mysql-1.1.1-released |
ocaml-mysql provides bindings to libmysqlclient. This release updates build tools and introduces windows builds (both for msvc and mingw), fixes OCaml 3.12 compatibility and adds a couple of new features.
Get it at https://forge.ocamlcore.org/frs/?group_id=137 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-geoip-0.0.1-released |
ocaml-geoip implements bindings to libGeoIP by maxmind.com . This first release provides comprehensive coverage of C api via camlidl. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-lzo-0.0.1-release |
ocaml-lzo implements bindings to LZO - a portable lossless data compression library. First release provides simple functions for compressing and decompressing string buffers. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-updates |
Version 1.4.3 of batteries is just released, the third in a series of small-fix releases going on in the 1.4 branch while 2.0 gets ready. This release fixes the documentation, removing information about some previously available functionality and adding the `ocamlfind batteries/ocaml` wrapper for the toplevel with batteries included. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-gperftools-0.1-released |
gperftools provides interface to control the behavior of tcmalloc and monitor memory usage. This is the first release of ocaml bindings. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-extunix-0.0.5-released |
This release includes build compatibility tweaks, fixes potential crash with upcoming OCaml 4 and makes oUnit an optional dependency.
ExtUnix aims to collect thin bindings to various low-level system API in one library with consistent interface. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| calendar-2.03.2-released |
This release only fixes a compatibility issue with upcoming OCaml 4. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| oasis-v0.3.0-release |
See the full blog post here:
http://le-gall.net/sylvain+violaine/blog/index.php?post/2012/06/28/OASIS-0.3.0-release |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| major-change-soon... |
I am about to make a major change in the parser interface to allow parsing of any kind of tokens, the same way Ometa is doing:
http://www.ometa.net/nl/Paginas/Home.aspx
The parser will actually be a bit *smaller* and will NOT depend on the type of the parsed token stream.
Any feedback on the current alpha-0.4 is nevertheless welcome (in case you have some specific requirements). |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| pg-ocaml-1.6-released |
This version fixes an issue in the build system which prevented PG'OCaml to be compiled with the upcoming OCaml 4.00. Users of OCaml 3.12.1 and older need not upgrade. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| release-of-ocaml-safepass-1.0 |
This is the first stable release of OCaml-safepass, a library offering facilities for the safe storage of user passwords. By "safe" we mean that passwords are salted and hashed using the Bcrypt algorithm. Salting prevents rainbow-table based attacks, whereas hashing by a very time-consuming algorithm such as Bcrypt renders brute-force password cracking impractical.
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-mysql-protocol-0.5-available |
The license is now LGPL. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| yypkg-1.5-released |
Yypkg is a small, fast, platform-agnostic package manager. It can be
used to manage any directory. It is built to help cross-compilation
setups and it works both for and on Windows.
Functionality changes:
- doesn't rely on sexplib's camlp4 extension anymore (*)
- handles running shell scripts when installing a package (yypkg)
- skips packaging libtool's .la files (makeypkg)
- doesn't try to adapt hard-coded paths in .pc files to the location
they are installed to: there are too many hard-coded paths anyway
- improve the GUI (still work to do)
Fixes:
- bad code with select() when reading bsdtar's output (yypkg -install)
- don't mix bsdtar warnings with filenames during package installation
(yypkg -install)
- properly extract files in directories which are not ".". |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| argot--1.1-release |
Main changes since 1.0:
- full-text search over comments
- search by type can now take advantage of type manifests
- search by type now handles labeled parameters
- search by type now handles optional parameters
- new '-search-frame' command-line switch to have search panel in a frame,
rather than in a window
- update for OCaml 4.00.0 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| bisect-1.2 |
Changes:
- new '-combine-expr' to allow combination of results
- new 'dump' output mode (mainly for debug)
- new 'bisect' output mode (i. e. format of runtime data)
- new '-exclude-file' command-line switch to exclude toplevel functions
listed in a file
- update for OCaml 4.00.0
- bug #95: polymorphic recursion is not handled
- bug #104: configure script should be executable
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| bolt--1.3 |
Changes:
- enhanced support for Daikon
- enhanced support for Pajé
- removed dependency upon 'Str' library
- API change: logger names now have type 'Name.t' rather than 'string'
- new configuration format (through 'BOLT_CONFIG' environment variable),
old format still available (through 'BOLT_FILE' environment variable)
- loggers are now stored in a tree, for better performances
- update for OCaml 4.00.0
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| lablwebkit-1.8.2-released |
Lablwebkit is a binding to the corresponding webkit-gtk version. Almost all of its API besides the DOM-related function is handled.
This new version is an update to the webkit-gtk 1.8.2 API and doesn't introduce other changes.
The bindings are generated automatically by cowboy and its support for glib2-based libraries.
You can download the source at:
https://forge.ocamlcore.org/frs/download.php/977/lablwebkit-1.8.2.tar.gz
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| mascot-1.0 |
- support for checks based on binary annotations
- support for binary output mode, and report-only mode
- new code check: 'catch_all' to detect patterns catching all exceptions
- new code check: 'code.ignore_unit' check to detect application of 'ignore'
to expression whose type is 'unit'
- bug #72: allow punctuation after closing a block
- bug #74: handle the '::' operator
- bug #75: do not require whitespace after '?' used for optional label
- bug #76: do not require whitespace around '..' used for character range
- bug #77: allow absence of whitespace before unary minus if previous token
is an opening one
- bug #79: treat '[< ... >]' and '[| ... |]' blocks like '{ ... }' blocks
- bug #80: allow whitespace after '.' when used to introduce polymorphic
type
- bug #81: allow opening token after a label
- bug #84: use 'center' rather than 'p' tag with 'align' attribute, and
correct handling of icons
- bug #87: install shouldn't build anything
- bug #89: do not activate warnings by default
- bug #90: output available checks as a ready-to-use config
- bug #93: 'interface.duplicate' to detect duplicate entries in signatures
- bug #94: do not require whitespace after colon
- bug #96: 'typography.trailing_white_space' now has a 'tolerance' parameter
in order to indicate how many whitespace characters may be tolerated
- update for OCaml 4.00.0 |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| kaputt-1.2 |
- new 'Mock' module providing means of recording calls made to a function
- support for specification of partial functions (i. e. raising exceptions)
- preprocessor allowing to store tests in separated '.mlt' files
- removed deprecated functions
- update for OCaml 4.00.0
- bug#85: cmi file is not installed
- bugfixes to bigarray and nums support
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| first-release-of-ocaml-binding-of-lua-library |
I'm happy to announce the first release of ocaml-lua, the OCaml binding of the Lua library. With ocaml-lua you can embed a Lua interpreter in an OCaml program in a few lines of code, and use Lua for configuration or customization purposes.
Here are some references:
The homepage of the project is hosted on OCaml Forge: http://ocaml-lua.forge.ocamlcore.org/
The complete library reference (ocamldoc generated) is here: http://ocaml-lua.forge.ocamlcore.org/api-lua/
Source tarballs are on the download page on OCaml Forge: http://forge.ocamlcore.org/frs/?group_id=167
The official GIT repository is here: http://forge.ocamlcore.org/scm/browser.php?group_id=167
Bug reports and feature requests are on my page on GitHub: https://github.com/pdonadeo/ocaml-lua/issues
I hope it could be useful. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-mysql-protocol-0.6-available |
This release mainly fix a bug in handshake packet. The thread id was not correctly decoded and this could break the connection when this id > 255. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| google-drive-ocamlfuse-v0.1-released |
google-drive-ocamlfuse is a FUSE-based file system backed by Google Drive, written in OCaml. It lets you mount your Google Drive storage to a local directory on Linux. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| delimited-overloading-0.8.15 |
This new release of Delimited Overloading is compatible with OCaml 4.00.0 and is built using oasis. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| archimedes-0.4.15 |
Highlights:
- Compiles with OCaml 4.00.0
- Graphics can output a BMP file (this makes possible to have a file output without requiring Cairo — limit dependencies on Windows).
- Runs on Windows (path escape fixes,...).
- uses _oasis 0.3 (remove the pack workaround) |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| macaque-0.6-released |
Macaque is the result of a student project aiming to develop
a type-safe and composable way to interact with SQL databases from
OCaml. We propose a form of "comprehension syntax" that allow to
modularily create queries in a strongly-typed and relatively
principled way.
## Release 0.6
After a few years of this mild continuous development, people have
requested at several occasions that release be made. I tentatively tag
the current state of Macaque as "0.6".
You can get an archive from the forge:
https://forge.ocamlcore.org/frs/download.php/1027/macaque-0.6.tar.gz
You can also get the new version from darcs:
darcs get --tag 0.6 http://forge.ocamlcore.org/anonscm/darcs/macaque/macaque
Thanks to everyone I have interacted with during this development;
thanks to Vincent Balat and Anastasia Gornostaeva for their
feedback. Thanks in particular to Jacques-Pascal Deplaix for his
frequent feedback and occasional suggestions and contributions.
## More Details
Macaque was initially developed at the PPS lab in Paris, under the
supervision of Jérôme Vouillon. The current development mode could be
described as "coinductive": things get done in reaction to user
requests or needs.
The technical limitations of Macaque are the following:
- It only support PostGreSQL (from lack of time to develop
other backends).
- Each feature of the SQL language must be considered and added
separately, with the right typing; this aspect makes it structurally
less complete than direct (but less composable) embedding of full
SQL queries like the parent project PG'OCaml does, so the subset of
SQL supported by Macaque is smaller -- but you can help extending
it!
http://pgocaml.forge.ocamlcore.org/
- You have to learn the comprehension-like syntax used by Macaque
(it should be possible to write a frontend using the SQL syntax, but
this hasn't been done yet).
- The documentation *does* exist, but is not very good. It's the
README that you can see at
http://darcs.ocamlcore.org/repos/macaque/README
and patches to improve it are welcome
The version number below 1.0 highlights that Macaque is still an
evolving project with no strong production-readiness guarantees, yet
a number substantially higher than 0.1 indicates that it has seen
several users and probably fixed the most glaring issues with the
current feature set.
(I would have initially chosen 0.3 or 0.7 as a version number. Like
most people. '6' is an oft-overlooked number, a factorial and the
product of the two first prime numbers.)
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| yypkg-1.6-released |
Yypkg, a small, fast and portable package manager, gets higher-level tools to download and install packages, along with a few UI improvements. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-rdf-0.2-is-available |
This release includes a new backend to store graphs in a Postgresql database. And now uses prepared queries to improve performance of database backends. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| -godi-for-windows--homepage-online |
The Homepage for "Godi for Windows" is now online: http://wodi.forge.ocamlcore.org/
First test builds are linked there.
The forge is currently only used for the tracker. Gui code repository: http://github.com/arirux/godigui ; official godi homepage: http://godi.camlcity.org/ |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| -godi-for-windows--homepage-online |
The Homepage for "Godi for Windows" is now online: http://wodi.forge.ocamlcore.org/
First test builds are linked there. The forge is currently only used for the tracker/homepage. Gui repository: http://github.com/arirux/godigui ; official godi homepage: http://godi.camlcity.org/ |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| bolt--1.4 |
This post announces the 1.4 release of the Bolt project, whose goal is to provide
a comprehensive yet flexible logging framework for the OCaml language.
Main changes since 1.3:
- API change: introduction of modes, allowing to choose when data is written
- API change: updated support for Pajé format (version 1.2.3)
- support for '&&' and '||' in filters (new configuration format only)
- new 'minimal' layout using only message
- new 'bell' output writing the bell character on the standard output
- new 'say' output using MacOS X text-to-speech
- support for Growl under Windows
- bug#86: '-ocaml-prefix' doesn't really work
- bug#87: install shouldn't build anything
- bug#89: do not activate warnings by default
- bug#105: crashes with 'Not_found' when both BOLT_FILE and BOLT_CONFIG are not set
- bug#107: when using syntax extension with level NONE, preprocessed code |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| bisect--1.3 |
Main changes since 1.2:
- new instrumenter based on '-ppx'
- new '-summary-only' to output only summary (text mode only)
- refactoring, including minor bugfixes
- bug#86: '-ocaml-prefix' doesn't really work
- bug#87: install shouldn't build anything
- bug#89: do not activate warnings by default |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| macaque-0.6.1 |
This is mostly a bugfix release: Jacques-Pascal Deplaix has spotted a bug in the way Macaque handles PostgreSQL rather baroque string escaping convention (you don't want to know the details), and after some head scratching we have a reasonable fix.
In addition, Petter Urkedal has contributed support for the 'bytea' and 'int32_array' datatypes; for now, there is no literal syntax to describe them in the syntax extension, so one should build values on the OCaml side, through Sql.Value.bytea and Sql.Value.int32_array. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| batteries-2.0-released |
Get it here: https://forge.ocamlcore.org/frs/download.php/1096/batteries-2.0.tar.gz
Detailed interface changes: https://forge.ocamlcore.org/frs/download.php/1096/batteries-2.0.tar.gz
API Docs: http://ocaml-batteries-team.github.com/batteries-included/hdoc2/index.html |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocurl-0.5.4-released |
ocurl is the set of bindings to libcurl - URL transfer library, supporting HTTP and many other protocols.
This project is the fork of http://ocurl.sourceforge.net/ and accumulates many bugfixes and enhancements which didn't make it to the original version, including the multi API wrappers and pluggable asynchronous interface (which makes it possible to inject curl transfers in your event loop of choice). This is the first release for the fork, that incorporates all the bugfixes and new features from 3 years of its history, except the asynchronous api. Next release will merge branch event.
I would like to thank Lars Nilsson, the original author of ocurl, who brought this project to existence. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| release-of-ocaml-bitcoin-1.1 |
This release brings the OCaml-bitcoin API up-to-date with the recently released Bitcoin 0.8. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| barista--2.0-beta |
Changes:
- update for Objective Caml 4.00.1
- update for Camlzip 1.05
- new 'graph' command, allowing to generate the graph of classes references
from a list of archives (supported file formats: Dot, GEXF, and GraphML)
- new 'Lookup' module allowing to search for Java elements (classes,
constructors, fields, and methods) from string queries
- new 'Manifest' module providing support for archive manifest files
- new 'ArchiveBuilder' module allowing to construct archives from classes,
and handling manifest, services, and copy from other archives
- the 'flow' command can now generate output to either GEXF, or GraphML, in
addition to Dot
- improved handling of classpaths
- improved performance for class encoding (about 50% speed-up)
- improved performance for stack state computations (about 30% speed-up)
- optimization of switches (turning lookup switches into table switches if it
saves some place)
- new peephole optimizations, in order to avoid simple conversions of
constants
- API CHANGE: class types for 'traversal' objects enhanced with new methods
- API CHANGE: 'Traversal' module renamed to 'ClassTraversal'
- new 'traversal' class type allowing to fold over class elements
- new 'ArchiveTraversal' module allowing to traverse archives
- bug: incorrect handling of some 'package-info' class files
- bug #86: '-ocaml-prefix' doesn't really work
- bug #87: install shouldn't build anything
- bug #89: do not activate warnings by default
- bug #104: configure script should be executable
- bug #110: error in annotation encoding of string value
- bug #111: invalid stack frame when locals are changed in a protected block
- bug #116: invalid stack frame after "invokespecial" instruction
|
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-extunix-0.0.6-released |
Except for backwards-incompatible change in fstatat, this is a regular update, with a couple of new bindings.
ExtUnix is a collection of thin wrappers for various low-level system api not covered by Unix module. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| google-drive-ocamlfuse-v0.3.2-released |
google-drive-ocamlfuse is a FUSE-based file system backed by Google Drive, written in OCaml. It lets you mount your Google Drive storage to a local directory on Linux.
Features: full read/write access to ordinary files and folders, read-only access to Google Docs, Sheets, and Slides (exported to
configurable formats), multiple account support, duplicate file handling, access to trash (.Trash directory)
Also available: OPAM package, Ubuntu 12.10 native executables |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| forge-distribution-upgrade-starting-2013-04-25---04-28 |
The admin team plans to upgrade the forge system. There will be various upgrade on the system. So some program can be broken in the next coupld of days. I expect to spend in between 1 and 3 days, depending on what breaks on the system.
Feel free to contact me directly sylvain ... le-gall.net or gildor on IRC #ocaml.
Sylvain Le Gall
on behalf of the admin team. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| cryptokit-1.7-released |
Now includes the SHA-3 hash function recently standardized by NIST. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-mysql-protocol-0.7-available |
This version drops tests for MySQL 5.0 and add tests for MySQL 5.6. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| zarith-1.2-released |
Zarith is a fast, space-efficient, GMP-based library for arbitrary-precision integer and rational arithmetic. This minor release fixes a couple of bugs, improves Windows/Mingw support, and adds a fast path coded in assembly for ARM processors. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
| ocaml-rdf-0.5 |
Now include a Turtle parser and writer. |
0 |
0 |
1970-01-01 00:00 |
No Moderation |
