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 C68DDBC57 for ; Fri, 24 Sep 2010 17:09:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjMHAK9bnExQDPIbYGdsb2JhbACUFIYPAYgdCxcLCAYUAx+2aI5khUMEgVyCdIhogXo X-IronPort-AV: E=Sophos;i="4.57,230,1283724000"; d="scan'208,217";a="71365674" Received: from smtp20.orange.fr ([80.12.242.27]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Sep 2010 17:09:01 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2012.orange.fr (SMTP Server) with ESMTP id A70532000160 for ; Fri, 24 Sep 2010 17:09:00 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2012.orange.fr (SMTP Server) with ESMTP id 92DE4200019F for ; Fri, 24 Sep 2010 17:09:00 +0200 (CEST) Received: from [192.168.1.114] (c-67-188-213-250.hsd1.ca.comcast.net [67.188.213.250]) by mwinf2012.orange.fr (SMTP Server) with ESMTP id A55DF2000160 for ; Fri, 24 Sep 2010 17:08:59 +0200 (CEST) X-ME-UUID: 20100924150859677.A55DF2000160@mwinf2012.orange.fr X-ME-User-Auth: padator@wanadoo.fr From: Yoann Padioleau Mime-Version: 1.0 (Apple Message framework v1081) Content-Type: multipart/alternative; boundary=Apple-Mail-4--56423506 Subject: Re: [Caml-list] [ANN] pfff_visual, a fancy code visualizer/navigator for OCaml, and more Date: Fri, 24 Sep 2010 08:08:58 -0700 In-Reply-To: <79CF83F9-11AC-4D55-9C74-5294432F2591@wanadoo.fr> To: caml users References: <79CF83F9-11AC-4D55-9C74-5294432F2591@wanadoo.fr> Message-Id: <5411501F-8CE2-4C30-BB81-E005D6A2A738@wanadoo.fr> 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-4--56423506 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 On Sep 23, 2010, at 11:23 PM, Yoann Padioleau wrote: > Hi list, >=20 > 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. >=20 > A demo is available here: > part1: http://www.youtube.com/watch?v=3DHRZjBGD3osw > part2: http://www.youtube.com/watch?v=3D993pmNLY_VU For the people who refuse to vomit while watching a video, here are a few screenshots of the visualizer applied on the linux kernel source, the ocaml source, and the source of pfff itself: http://padator.org/software/pfff/pfff_linux_source.jpg http://padator.org/software/pfff/pfff_ocaml_source.jpg http://padator.org/software/pfff/pfff_ocaml_source2.jpg http://padator.org/software/pfff/pfff_ocaml_source3.jpg http://padator.org/software/pfff/pfff_pfff_source.jpg The screenshots can not show the integration with Emacs though. You'll = have to suffer and watch the videos for that. If you don't have git, you can still download pfff by following this = link: http://github.com/facebook/pfff/archives/master >=20 > 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. >=20 > You can get the source of pfff and pfff_visual here: > http://github.com/facebook/pfff >=20 > 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 >=20 > pfff has been tested on MacOS and Linux and is licensed under the = LGPL. >=20 > 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 >=20 >=20 > Enjoy. > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --Apple-Mail-4--56423506 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

For= the people who refuse to vomit while watching a video,
here = are a few screenshots of the visualizer applied on the = linux
kernel source, the ocaml source, and the source of pfff = itself:

http://pad= ator.org/software/pfff/pfff_ocaml_source.jpg

Th= e screenshots can not show the integration with Emacs though. =  You'll have
to suffer and watch the videos for = that.

If you don't have git, you can still = download pfff by following this link:


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.
_________________________________________= ______
Caml-list mailing list. Subscription management:
http://y= quem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: = http://caml.inria.fr
Beginner's list: = http://groups.yahoo.com/group/ocaml_beginners
Bug reports: = http://caml.inria.fr/bin/caml-bugs

= --Apple-Mail-4--56423506--