45 search results for "author:"Tarides""

Showing 1 - 45
  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.1
    ISC
    Used by 11 other packages
    28 Sep 2024
  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 2 other packages
    07 Oct 2021
  6. current
    Documentation
    Pipeline language for keeping things up-to-date
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.7.1
    Apache-2.0
    Used by 11 other packages
    27 Feb 2025
  7. current-web-pipelines
    Documentation
    Simplify the creation of pipeline websites
    lucas@tarides.com
    0.1
    MIT
    Used by 0 other packages
    06 Jul 2023
  8. current_docker
    Documentation
    OCurrent Docker plugin
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.7.1
    Apache-2.0
    Used by 2 other packages
    27 Feb 2025
  9. current_examples
    Documentation
    Example pipelines for OCurrent
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.7.1
    Apache-2.0
    Used by 0 other packages
    27 Feb 2025
  10. current_git
    Documentation
    Git plugin for OCurrent
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.7.1
    Apache-2.0
    Used by 6 other packages
    27 Feb 2025
  11. current_github
    Documentation
    GitHub plugin for OCurrent
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.7.1
    Apache-2.0
    Used by 2 other packages
    27 Feb 2025
  12. current_ocluster
    Documentation
    OCurrent plugin for OCluster builds
    Antonin Décimo <antonin@tarides.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> Mark Elvers <mark.elvers@tunbury.org> et al.
    0.3.0
    Apache-2.0
    Used by 1 other packages
    09 Feb 2024
  13. current_rpc
    Documentation
    Cap'n Proto RPC plugin for OCurrent
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.7.1
    Apache-2.0
    Used by 1 other packages
    27 Feb 2025
  14. current_slack
    Documentation
    Slack plugin for OCurrent
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.7.1
    Apache-2.0
    Used by 0 other packages
    27 Feb 2025
  15. current_web
    Documentation
    Test web UI for OCurrent
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.7.1
    Apache-2.0
    Used by 6 other packages
    27 Feb 2025
  16. 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 9 other packages
    06 Jun 2023
  17. irmin-cli
    Documentation
    CLI for Irmin
    Tarides
    3.11.0
    ISC
    Used by 2 other packages
    23 Jun 2025
  18. kcas
    Documentation
    Software transactional memory based on lock-free multi-word compare-and-set
    KC Sivaramakrishnan <kc@tarides.com> Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.7.0
    ISC
    Used by 4 other packages
    27 Feb 2024
  19. kcas_data
    Documentation
    Compositional lock-free data structures and primitives for communication and synchronization
    KC Sivaramakrishnan <kc@tarides.com> Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.7.0
    ISC
    Used by 0 other packages
    27 Feb 2024
  20. mirage-block-unikraft
    Documentation
    Unikraft implementation of MirageOS block interface
    org:mirage
    Fabrice Buoro <fabrice@tarides.com> Samuel Hym <samuel@tarides.com>
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    29 Jun 2025
  21. 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> Virgile Robles <virgile.robles@protonmail.ch> et al.
    2.0.1
    MIT
    Used by 7 other packages
    15 May 2025
  22. mirage-net-unikraft
    Documentation
    Unikraft implementation of MirageOS network interface
    org:mirage
    Fabrice Buoro <fabrice@tarides.com>
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    29 Jun 2025
  23. obuilder
    Documentation
    Run build scripts for CI
    Antonin Décimo <antonin@tarides.com> Arthur Wendling <art.wendling@gmail.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> et al.
    0.6.0
    Apache-2.0
    Used by 2 other packages
    08 Feb 2024
  24. obuilder-spec
    Documentation
    Build specification format
    Antonin Décimo <antonin@tarides.com> Arthur Wendling <art.wendling@gmail.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> et al.
    0.6.0
    Apache-2.0
    Used by 2 other packages
    08 Feb 2024
  25. ocaml-index
    Documentation
    A tool that indexes value usages from cmt files
    ulysse@tarides.com
    5.5-503
    MIT
    Used by 3 other packages
    25 Jun 2025
  26. 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.27.0
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 77 other packages
    03 Dec 2024
  27. 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.27.0
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Dec 2024
  28. ocamlformat-mlx
    Documentation
    Auto-formatter for OCaml .mlx code
    Andrey Popp <me@andreypopp.com> Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> et al.
    0.27.0.1
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    23 Jun 2025
  29. ocamlformat-mlx-lib
    Documentation
    OCaml .mlx Code Formatter
    Andrey Popp <me@andreypopp.com> Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> et al.
    0.27.0.1
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    23 Jun 2025
  30. 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.27.0
    MIT
    Used by 4 other packages
    03 Dec 2024
  31. ocluster
    Documentation
    Distribute build jobs to workers
    Antonin Décimo <antonin@tarides.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> Mark Elvers <mark.elvers@tunbury.org> et al.
    0.3.0
    Apache-2.0
    Used by 0 other packages
    09 Feb 2024
  32. ocluster-api
    Documentation
    Cap'n Proto API for OCluster
    Antonin Décimo <antonin@tarides.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> Mark Elvers <mark.elvers@tunbury.org> et al.
    0.3.0
    Apache-2.0
    Used by 3 other packages
    09 Feb 2024
  33. ocluster-worker
    Documentation
    OCluster library for defining workers
    Antonin Décimo <antonin@tarides.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> Mark Elvers <mark.elvers@tunbury.org> et al.
    0.3.0
    Apache-2.0
    Used by 1 other packages
    09 Feb 2024
  34. 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.
    3.0.0
    ISC
    Used by 1536 other packages
    20 Mar 2025
  35. odoc-driver
    Documentation
    OCaml Documentation Generator - Driver
    Anton Bachin Daniel Bünzli David Sheets <sheets@alum.mit.edu> Jon Ludlam <jon@recoil.org> Jules Aguillon <juloo.dsi@gmail.com> et al.
    3.0.0
    ISC
    Used by 0 other packages
    20 Mar 2025
  36. odoc-md
    Documentation
    OCaml Documentation Generator - Markdown support
    Daniel Bünzli Paul-Elliot Anglès d'Auriac <paul-elliot@tarides.com> Jon Ludlam <jon@recoil.org>
    3.0.0
    ISC
    Used by 1 other packages
    20 Mar 2025
  37. 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@tarides.com>
    0.7.0
    MIT
    Used by 3 other packages
    04 Jul 2025
  38. ortac-dune
    Documentation
    Generate dune rules for other ortac plugins
    Nicolas Osborne <nicolas.osborne@tarides.com> Charlène Gros <charlène@tarides.com>
    0.7.0
    MIT
    Used by 0 other packages
    04 Jul 2025
  39. ortac-qcheck-stm
    Documentation
    QCheck-STM plugin for Ortac
    Nicolas Osborne <nicolas.osborne@tarides.com> Samuel Hym <samuel@tarides.com> Nikolaus Huber <mail@n-huber.eu>
    0.7.0
    MIT
    Used by 1 other packages
    04 Jul 2025
  40. 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@tarides.com>
    0.7.0
    MIT
    Used by 3 other packages
    04 Jul 2025
  41. ortac-runtime-qcheck-stm
    Documentation
    Runtime support library for Ortac/QCheck-STM-generated code
    Nicolas Osborne <nicolas.osborne@tarides.com> Nikolaus Huber <mail@n-huber.eu>
    0.7.0
    MIT
    Used by 1 other packages
    04 Jul 2025
  42. ortac-wrapper
    Documentation
    Wrapper plugin for Ortac
    Clément Pascutto <clement@pascutto.fr> Nicolas Osborne <nicolas.osborne@tarides.com> Charlène Gros <charlène@tarides.com>
    0.7.0
    MIT
    Used by 1 other packages
    04 Jul 2025
  43. ppx_irmin
    Documentation
    PPX deriver for Irmin type representations
    Craig Ferguson <craig@tarides.com>
    3.11.0
    ISC
    Used by 8 other packages
    23 Jun 2025
  44. 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
  45. 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