From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 63D42BC57 for ; Fri, 24 Sep 2010 08:24:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao0EAKPgm0xQDPIaYGdsb2JhbACaH4gYCxcLCAYUAx+2Zo5qhUIEgVqCdIhogXo X-IronPort-AV: E=Sophos;i="4.57,227,1283724000"; d="scan'208,217";a="71328177" Received: from smtp20.orange.fr ([80.12.242.26]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Sep 2010 08:24:00 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2014.orange.fr (SMTP Server) with ESMTP id B6CE5200019B for ; Fri, 24 Sep 2010 08:23:59 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2014.orange.fr (SMTP Server) with ESMTP id A773620001BD for ; Fri, 24 Sep 2010 08:23:59 +0200 (CEST) Received: from [192.168.1.114] (c-67-188-213-250.hsd1.ca.comcast.net [67.188.213.250]) by mwinf2014.orange.fr (SMTP Server) with ESMTP id C2F79200019B for ; Fri, 24 Sep 2010 08:23:58 +0200 (CEST) X-ME-UUID: 20100924062358798.C2F79200019B@mwinf2014.orange.fr X-ME-User-Auth: padator@wanadoo.fr From: Yoann Padioleau Content-Type: multipart/alternative; boundary=Apple-Mail-1--87926334 Subject: [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more Date: Thu, 23 Sep 2010 23:23:55 -0700 Message-Id: <79CF83F9-11AC-4D55-9C74-5294432F2591@wanadoo.fr> To: caml users Mime-Version: 1.0 (Apple Message framework v1081) X-Mailer: Apple Mail (2.1081) X-Spam: no; 0.00; pfff:01 ocaml:01 pfff:01 ocaml:01 emacs:01 emacs:01 macos:01 lgpl:01 andrieu:01 stolpmann:01 canasse:01 thorsten:01 ohl:01 filliatre:01 signoles:01 --Apple-Mail-1--87926334 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 Hi list, It is my pleasure to announce pfff_visual, a code visualizer/navigator for OCaml. Note that this is not a replacement for Emacs or vi, but more = a companion that works with Emacs/Vi. A demo is available here: part1: http://www.youtube.com/watch?v=3DHRZjBGD3osw part2: http://www.youtube.com/watch?v=3D993pmNLY_VU pfff_visual is using pfff, which is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code. For now the effort is focused on PHP but there is preliminary support for Javascript, and C++ code. There is also preliminary support for OCaml code so that the = infrastructure can be used on the code of pfff itself. You can get the source of pfff and pfff_visual here: http://github.com/facebook/pfff Here is how to install it: $ git clone git@github.com:facebook/pfff.git $ ./configure $ make depend; make; make opt $ ./pfff_visual /path/to/project/using/supported/languages pfff has been tested on MacOS and Linux and is licensed under the LGPL. Thanks to=20 - Lex Stein for ocamlbdb - Olivier Andrieu for ocamlcairo - Jacques Garrigue for ocamlgtk - Martin Jambon, Mika Illouz and Gert Stolpmann for lib-json - Nicolas Canasse for lib-xml - Jane Street for lib-sexp - Thomas Gazagnaire for dynType - Maas-Maarten Zeeman for OUnit.ml - Thorsten Ohl for xHTML.ml - Sylvain Conchon, Jean-Christophe Filli=E2tre and Julien Signoles for=20= ocamlgraph - Xavier Leroy for ocamlmpi - Markus Mottl for ocamlpcre - Iain Proctor for ocamlthrift - Guillaume Cottenceau for pleac Enjoy. --Apple-Mail-1--87926334 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1 Hi = list,

It is my pleasure to announce pfff_visual, a code = visualizer/navigator
for OCaml. Note that this is not a replacement = for Emacs or vi, but more a
companion that works with = Emacs/Vi.

A demo is available here:
part1: http://www.youtube.c= om/watch?v=3DHRZjBGD3osw
part2: http://www.youtube.c= om/watch?v=3D993pmNLY_VU

pfff_visual is using pfff, which is = mainly an OCaml API to write
static analysis, dynamic analysis, code = visualizations, code
navigations, or style-preserving = source-to-source transformations such
as refactorings on source code. = For now the effort is focused on PHP
but there is preliminary support = for Javascript, and C++ code.
There is also preliminary support for = OCaml code so that the infrastructure
can be used on the code of pfff = itself.

You can get the source of pfff and pfff_visual = here:
http://github.com/facebook/pfff

Here is how to install it:
$ git clone = git@github.com:facebook/pfff.git
$ ./configure
$ make depend; = make; make opt
$ ./pfff_visual = /path/to/project/using/supported/languages

pfff has been tested = on MacOS and Linux and is licensed under the LGPL.

Thanks = to 
- Lex Stein for ocamlbdb
- Olivier Andrieu for = ocamlcairo
- Jacques Garrigue for ocamlgtk
- Martin Jambon, Mika = Illouz and Gert Stolpmann for lib-json
- Nicolas Canasse for = lib-xml
- Jane Street for lib-sexp
- Thomas Gazagnaire for = dynType
- Maas-Maarten Zeeman for OUnit.ml
- Thorsten Ohl for = xHTML.ml
- Sylvain Conchon, Jean-Christophe Filli=E2tre and Julien = Signoles for 
  ocamlgraph
- Xavier Leroy for = ocamlmpi
- Markus Mottl for ocamlpcre
- Iain Proctor for = ocamlthrift
- Guillaume Cottenceau for = pleac


Enjoy.
= --Apple-Mail-1--87926334--