12 search results for "author:"Armaël Guéneau""

Showing 1 - 12
  1. i3ipc
    Documentation
    A pure OCaml implementation of the i3 IPC protocol
    i3 ipc window-manager
    Armaël Guéneau
    0.4
    MIT
    Used by 1 other packages
    Added to opam-repository
  2. incremental_cycles
    Documentation
    A state-of-the-art formally verified incremental cycle detection algorithm
    algorithms
    Armaël Guéneau <> Jacques-Henri Jourdan <> Arthur Charguéraud <> François Pottier <>
    0.1
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  3. kittyimg
    Documentation
    An implementation of Kitty's terminal graphics protocol
    Armaël Guéneau <armael.gueneau@ens-lyon.org>
    0.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  4. memgraph
    Documentation
    A small library to inspect memory representation of ocaml values
    Guillaume Bury <guillaume.bury@gmail.com> Armaël Guéneau <armael.gueneau@ens-lyon.org>
    1.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  5. memgraph_kitty
    Documentation
    Display the representation of memory values in the Kitty terminal emulator
    Guillaume Bury <guillaume.bury@gmail.com> Armaël Guéneau <armael.gueneau@ens-lyon.org>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  6. mustache
    Documentation
    Mustache logic-less templates in OCaml
    Rudi Grinberg <me@rgrinberg.com> Armaël Guéneau <armael.gueneau@ens-lyon.fr> Gabriel Scherer
    3.3.0
    MIT
    Used by 5 other packages
    Added to opam-repository
  7. mustache-cli
    Documentation
    CLI for Mustache logic-less templates
    Rudi Grinberg <me@rgrinberg.com> Armaël Guéneau <armael.gueneau@ens-lyon.fr> Gabriel Scherer
    3.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  8. nanosvg
    Documentation
    Simple SVG parser and rasterizer
    Mikko Mononen memon@inside.org Armaël Guéneau <armael.gueneau@ens-lyon.org>
    0.2
    MIT
    Used by 2 other packages
    Added to opam-repository
  9. nanosvg_text
    Documentation
    Text rendering for NanoSVG text nodes
    Mikko Mononen memon@inside.org Armaël Guéneau <armael.gueneau@ens-lyon.org>
    0.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  10. pp_loc
    Documentation
    Quote and highlight input fragments at a given source location
    Armaël Guéneau <armael.gueneau@ens-lyon.org>
    2.1.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  11. ppx_deriving_cmdliner
    Documentation
    Cmdliner.Term.t generator
    syntax cli
    Isaac Hodes <isaachodes@gmail.com> B. Arman Aksoy <arman@aksoy.org> Seb Mondet <seb@mondet.org> Nick Zalutskiy <nick@const.fun> Armaël Guéneau <armael.gueneau@ens-lyon.fr> et al.
    0.6.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  12. vocal
    Documentation
    VOCaL -- The Verified OCaml Library
    Arthur Charguéraud Martin Clochard Jean-Christophe Filliâtre Léon Gondelman Armaël Guéneau et al.
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository