saltimfo.com
Le chameau saltimbanque : La genèse du blog
http://www.saltimfo.com/posts/blog-genesis.html
La genèse du blog. Lundi 5 mai 2014. Ouvrir un blog, ce n'est pas qu'écrire, mais aussi mettre en place toute une infrastructure technique (à moins d'utiliser une plateforme toute faite comme Blogger). J'ai opté pour un blog statique et comme j'aime bien OCaml, j'ai décidé d'utiliser Stog. Il fallait aussi un système de commentaires, externe, puisque le blog est statique et j'ai choisi Isso. Qui est opensource et peut facilement être autohébergé. 1 Générer des sites statiques avec Stog. Indique de créer ...
oasis.forge.ocamlcore.org
OASIS-DB sub-project
http://oasis.forge.ocamlcore.org/oasis-db.html
Architecture for building OCaml libraries and applications. Author Sylvain Le Gall. This sub-project aims to create a CPAN. For OCaml in OCaml. It relies on the metadata contained in the. Files that must be contained in the tarball of a project. The project manages packages, which are sets of versioned tarballs of the same project. For example, the package. Is the set of tarballs. Ounit-1.0.1.tar.gz. Ounit-1.0.2.tar.gz. Ounit-1.0.3.tar.gz. Each tarball must contain a. File which describes its content.
ocsigen.github.io
Eliom 6.0: mobile and Web apps in OCaml - Ocsigen Blog
https://ocsigen.github.io/blog/2016/12/12/eliom6
Eliom 6.0: mobile and Web apps in OCaml. Written by The Ocsigen Team. On December 12, 2016. We are very happy to announce the release of Ocsigen Eliom 6.0. Which follows the recent releases of Ocsigen Server 2.8. And Ocsigen Js of ocaml 2.8.x. New features include a friendlier service API that retains the expressive power of our service system. Additionally, Eliom can now be used to build cross-platform Web/mobile applications (Android, iOS, ). The new API makes extensive use of OCaml’s GADTs. Eliom 6...
ocsigen.github.io
January 2016 Ocsigen releases - Ocsigen Blog
https://ocsigen.github.io/blog/2016/02/01/january-2016-releases
January 2016 Ocsigen releases. Written by The Ocsigen team. On February 01, 2016. We are excited to announce the releases of. Js of ocaml 2.7. These releases are the result of many months of work by the Ocsigen team, and bring a range of improvements. Eliom 5.0 comes with a PPX-based language. For OCaml 4.02.x). This follows our PPX extensions for js of ocaml. Enhanced js of ocaml library. The js of ocaml library provides additional bindings for established JavaScript APIs. This includes. In addition to ...
stephane.glondu.net
Stéphane Glondu's homepage
http://stephane.glondu.net/index_en.php
Research engineer - Inria. From University Paris Diderot - Paris 7. Mail: firstname@lastname.net, Firstname.Lastname@{in,lo}ria.fr. Formalizing Coq extraction in Coq. Certifying confluence in a timed process calculus. Distributed ElGamal a la Pedersen - Application to Helios. Stéphane Glondu and Malika Izabachene. In Proceedings of the 12th annual ACM workshop on Privacy in the Electronic Society, WPES 2013, Berlin, Germany (2013) 131-142. Stéphane Glondu and Malika Izabachene. In Proceedings of ICSE 2007.
ocsigen.github.io
Lwt 2.7.0 - Ocsigen Blog
https://ocsigen.github.io/blog/2017/01/06/lwt.2.7.0
Written by Anton Bachin. On January 06, 2017. Was released today. This release aims to (1) improve communication between maintainers and users, and (2) prepare for (minor) breaking changes. To some APIs in Lwt 3.0.0 (planned for April). Lwt now uses deprecation warnings (. Especially for upcoming breaking changes. This required dropping support for OCaml 4.01. There is a gradual, communicative, conservative process. For deprecation and breaking. Maintainers of packages in OPAM get notified proactively.
ocsigen.github.io
Ocsigen, the basics - Ocsigen Blog
https://ocsigen.github.io/blog/2016/02/08/tutorial-basics
Ocsigen, the basics. Written by Vincent Balat. On February 08, 2016. Following last week release, I’m starting today a series of tutorials about the Ocsigen framework. For the impatient, most of these tutorials are already available on Ocsigen. A service generating a page. The following code shows how to create a service that answers requests at URL. By invoking an Ocaml function. Generates HTML as a string, taking as argument the list of URL parameters (GET parameters). To create a service with POST par...
ocaml.org
Companies using OCaml – OCaml
http://ocaml.org/learn/companies.html
OCaml helps us to quickly adapt to changing market conditions, and go from prototypes to production systems with less effort . Billions of dollars of transactions flow through our systems every day, so getting it right matters. Facebook has built a number of major development tools using OCaml. Hack. Is a compiler for a variant of PHP that aims to reconcile the fast development cycle of PHP with the discipline provided by static typing. Flow. Use OCaml code taken from the MirageOS. Bloomberg, the global ...