19 search results for "author:"Tarides""

Showing 1 - 19
  1. ansi
    Documentation
    ANSI escape sequence parser
    Antonin Décimo <antonin@tarides.com> talex5@gmail.com
    0.7.0
    Apache-2.0
    Used by 1 other packages
    18 Sep 2023
  2. backoff
    Documentation
    Exponential backoff mechanism for OCaml
    KC Sivaramakrishnan <kc@tarides.com>
    0.1.0
    ISC
    Used by 0 other packages
    07 Aug 2023
  3. cactus
    Documentation
    A B-Tree based index implementation
    Gabriel Belouze <gabriel.belouze@ens.psl.eu> Ioana Cristescu <ioana@tarides.com>
    1.0.0
    MIT
    Used by 0 other packages
    30 Jul 2021
  4. cb-check
    Documentation
    Json schema checker for current-bench
    Ambre Austen Suhamy <ambre@tarides.com>
    0.1
    Apache-2.0
    Used by 0 other packages
    13 Jun 2023
  5. config-file
    Documentation
    A library used to manage configuration files
    Antonin Décimo <antonin@tarides.com> Fabrice Le Fessant <fabrice.lefessant@inria.fr> Maxence Guesdon <maxence.guesdon@inria.fr> Jean-Baptiste Rouquier <jrouquie@gmail.com>
    1.2.1
    LGPL-2.0-or-later
    Used by 6 other packages
    07 Oct 2021
  6. current-web-pipelines
    Documentation
    Simplify the creation of pipeline websites
    lucas@tarides.com
    0.1
    MIT
    Used by 0 other packages
    06 Jul 2023
  7. index
    Documentation
    A platform-agnostic multi-level index for OCaml
    Craig Ferguson <craig@tarides.com> Thomas Gazagnaire <thomas@tarides.com> Ioana Cristescu <ioana@tarides.com> Clément Pascutto <clement@tarides.com>
    1.6.2
    MIT
    Used by 11 other packages
    06 Jun 2023
  8. irmin-cli
    Documentation
    CLI for Irmin
    Tarides
    3.9.0
    ISC
    Used by 2 other packages
    11 Oct 2023
  9. mirage-crypto-ec
    Documentation
    Elliptic Curve Cryptography with primitives taken from Fiat
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> Nathan Rebours <nathan.p.rebours@gmail.com> Clément Pascutto <clement@tarides.com> Etienne Millon <me@emillon.org> Andres Erbsen <andreser@mit.edu> et al.
    0.11.2
    MIT
    Used by 10 other packages
    19 Sep 2023
  10. ocamlformat
    Documentation
    Auto-formatter for OCaml code
    Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> Jules Aguillon <jules@j3s.fr>
    0.26.1
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 52 other packages
    19 Sep 2023
  11. ocamlformat-lib
    Documentation
    OCaml Code Formatter
    Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> Jules Aguillon <jules@j3s.fr>
    0.26.1
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    19 Sep 2023
  12. ocamlformat-rpc-lib
    Documentation
    Auto-formatter for OCaml code (RPC mode)
    Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> Jules Aguillon <jules@j3s.fr>
    0.26.1
    MIT
    Used by 4 other packages
    19 Sep 2023
  13. odoc
    Documentation
    OCaml Documentation Generator
    Anton Bachin Daniel Bünzli David Sheets <sheets@alum.mit.edu> Jon Ludlam <jon@recoil.org> Jules Aguillon <juloo.dsi@gmail.com> et al.
    2.3.1
    ISC
    Used by 1103 other packages
    30 Oct 2023
  14. ortac-core
    Documentation
    Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel
    Clément Pascutto <clement@pascutto.fr> Nicolas Osborne <nicolas.osborne@tarides.com> Samuel Hym <samuel.hym@rustyne.lautre.net>
    0.1.0
    MIT
    Used by 1 other packages
    26 Oct 2023
  15. ortac-qcheck-stm
    Documentation
    QCheck-STM plugin for Ortac
    Nicolas Osborne <nicolas.osborne@tarides.com> Samuel Hym <samuel.hym@rustyne.lautre.net>
    0.1.0
    MIT
    Used by 0 other packages
    26 Oct 2023
  16. ortac-runtime
    Documentation
    Runtime support library for Ortac-generated code
    Clément Pascutto <clement@pascutto.fr> Nicolas Osborne <nicolas.osborne@tarides.com> Samuel Hym <samuel.hym@rustyne.lautre.net>
    0.1.0
    MIT
    Used by 2 other packages
    26 Oct 2023
  17. ppx_irmin
    Documentation
    PPX deriver for Irmin type representations
    Craig Ferguson <craig@tarides.com>
    3.9.0
    ISC
    Used by 8 other packages
    11 Oct 2023
  18. tezos-context-hash
    Documentation
    Specification of the Tezos context hash
    Clément Pascutto <clement@pascutto.fr> Mattias Roux <mattias@tarides.com> Thomas Gazagnaire <thomas@tarides.com>
    1.0.0
    MIT
    Used by 2 other packages
    15 Jul 2021
  19. tezos-context-hash-irmin
    Documentation
    Irmin implementation of the Tezos context hash specification
    Clément Pascutto <clement@pascutto.fr> Mattias Roux <mattias@tarides.com> Thomas Gazagnaire <thomas@tarides.com>
    1.0.0
    MIT
    Used by 0 other packages
    15 Jul 2021