138 search results for "tag:"ca""

Showing 101 - 138
  1. opam-package-upgrade
    Documentation
    Upgrades opam package definition files to the latest format
    org:ocamlpro
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.2
    GPL-3.0-only
    Used by 0 other packages
    23 Mar 2020
  2. opam_bin_lib
    Documentation
    The opam-bin tool is a simple framework to use `opam` with binary packages
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    1.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    30 Dec 2022
  3. opine
    Documentation
    Python AST unparse implementation in OCaml
    topics ocaml python ast
    Arulselvan Madhavan
    0.1.3
    MIT
    Used by 0 other packages
    23 Feb 2023
  4. orthologic-coq

    No documentation

    A plugin to add orthologic-based tactics to Coq
    category:Miscellaneous/Coq Extensions keyword:orthologic logpath:OLCoq
    Simon Guilloud Clément Pit-Claudel
    0.9.1
    CC-BY-4.0
    Used by 0 other packages
    17 Apr 2025
  5. owi

    No documentation

    OCaml toolchain to work with WebAssembly, including an interpreter
    owi ocaml webassembly wasm interpreter compiler
    Léo Andrès <contact@ndrs.fr> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Eric Patrizio <epatrizio@mpns.fr> Arthur Carcano <arthur.carcano@ocamlpro.com
    0.2
    AGPL-3.0-or-later
    Used by 0 other packages
    26 Apr 2024
  6. par_incr
    Documentation
    Parallel Self Adjusting Computation
    ocaml incremental multicore-ocaml
    Dipesh Kafle
    0.1
    MIT
    Used by 0 other packages
    15 Aug 2023
  7. parsite
    Documentation
    A micro library for simple parsing combinators
    string ocaml functional-programming parsing-combinators parsing-library
    faber-1
    0.1.2
    MIT
    Used by 0 other packages
    31 Jul 2024
  8. polka
    Documentation
    Polka: convex polyhedron library by Bertrand Jeannet (now part of apron)
    clib:stdc clib:camlidl
    Bertrand Jeannnet
    2.71.15
    LGPL-2.1-or-later
    Used by 1 other packages
    03 Nov 2022
  9. ppx_cstruct
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 22 other packages
    14 Mar 2023
  10. prc
    Documentation
    Utilities for precision-recall curves
    precision recall statistics machine-learning
    Philippe Veber
    0.1.0
    CeCILL-B
    Used by 0 other packages
    03 Nov 2021
  11. raven

    No documentation

    Meta package for the Raven ML ecosystem
    machine-learning data-science numerical-computation
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 0 other packages
    05 Jul 2025
  12. rpc

    No documentation

    A library to deal with RPCs in OCaml - meta-package
    org:mirage org:xapi-project deprecated
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 1 other packages
    16 Jun 2022
  13. scgi
    Documentation
    Simple Common Gateway Interface (SCGI) protocol support for interface with HTTP servers
    scgi web application
    Mike Wells <https://github.com/mwells> Martin Jambon <https://github.com/mjambon> Bikal Lem <https://github.com/bikallem>
    1.0
    BSD-3-Clause
    Used by 0 other packages
    08 Apr 2019
  14. snf_mcp

    No documentation

    A Model Context Protocol server for web search and content fetching
    mcp fetch search web eio ocaml
    Marcello Seri <marcello.seri@gmail.com>
    0.2.0
    ISC
    Used by 0 other packages
    03 Jul 2025
  15. solidity-alcotest
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  16. solidity-common
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    27 Apr 2021
  17. solidity-parser
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    27 Apr 2021
  18. solidity-test
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  19. solidity-typechecker
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Apr 2021
  20. stdlib-shims
    Documentation
    Backport some of the new stdlib features to older compiler
    stdlib compatibility org:ocaml
    The stdlib-shims programmers
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 74 other packages
    03 Feb 2021
  21. stog-rdf

    No documentation

    Plugin for Stog. Define and query RDF graphs in rewrite rules.
    publication rdf sparql semantic web
    Maxence Guesdon
    0.16.1
    GPL-3.0-only
    Used by 0 other packages
    22 Mar 2016
  22. stog-writing

    No documentation

    Stog plugin adding new rewrite rules to use footnotes and bibliographies in documents
    publication web blog bibliography
    Zoggy <zoggy@bat8.org>
    0.19.0
    GPL-3.0-only
    Used by 0 other packages
    18 May 2021
  23. sundialsml

    No documentation

    Interface to the Sundials suite of numerical solvers
    numerical simulation mathematics science
    Timothy Bourke <tim@tbrk.org> Jun Inoue <Jun.Lambda@gmail.com> Marc Pouzet <Marc.Pouzet@ens.fr>
    6.1.1p1
    BSD-3-Clause
    Used by 1 other packages
    21 Mar 2022
  24. topkg
    Documentation
    The transitory OCaml software packager
    packaging ocamlbuild org:erratique
    The topkg programmers
    1.0.8
    ISC
    Used by 109 other packages
    12 Mar 2025
  25. topkg-care
    Documentation
    The transitory OCaml software packager
    packaging ocamlbuild org:erratique
    The topkg programmers
    1.0.8
    ISC
    Used by 0 other packages
    12 Mar 2025
  26. trace-tef

    No documentation

    A simple backend for trace, emitting Catapult/TEF JSON into a file
    trace tracing catapult TEF chrome-format chrome-trace json
    Simon Cruanes
    0.10
    MIT
    Used by 8 other packages
    28 May 2025
  27. uchar
    Documentation
    Compatibility library for OCaml's Uchar module
    text character unicode compatibility org:ocaml.org
    Daniel Bünzli
    0.0.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    16 Jul 2017
  28. unix-dirent
    Documentation
    ocaml-unix-dirent provides access to the features exposed in dirent.h
    unix posix dirent syscall readdir
    David Sheets Jeremy Yallop
    0.3.5
    ISC
    Used by 0 other packages
    22 Jan 2017
  29. unix-errno
    Documentation
    Unix errno types, maps, and support
    errno errno.h errors unix syscall
    David Sheets <sheets@alum.mit.edu>
    0.6.2
    ISC
    Used by 15 other packages
    22 Mar 2023
  30. unix-sys-stat
    Documentation
    ocaml-unix-sys-stat provides access to the features exposed in sys/stat.h
    unix posix sys/stat.h syscall stat
    David Sheets Jeremy Yallop
    0.5.2
    ISC
    Used by 0 other packages
    22 Jan 2017
  31. user-setup
    Documentation
    Helper for the configuration of editors for the use of OCaml tools
    org:ocamlpro
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.8
    ISC
    Used by 0 other packages
    05 Sep 2024
  32. vg
    Documentation
    Declarative 2D vector graphics for OCaml
    pdf svg canvas cairo browser declarative graphics org:erratique
    The vg programmers
    0.9.5
    ISC
    Used by 4 other packages
    24 Jan 2024
  33. why3

    No documentation

    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.1
    LGPL-2.1-only
    Used by 7 other packages
    09 Jun 2025
  34. why3-coq

    No documentation

    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jun 2025
  35. why3-ide

    No documentation

    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jun 2025
  36. yaml
    Documentation
    Parse and generate YAML 1.1/1.2 files
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>
    3.2.0
    ISC
    Used by 22 other packages
    06 Nov 2023
  37. yaml-sexp
    Documentation
    Parse and generate YAML 1.1 files
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org> Rizo Isrof <rizo@odis.io> Patrick Ferris favonia@gmail.com Alan J Hu <alanh@ccs.neu.edu>
    3.2.0
    ISC
    Used by 2 other packages
    06 Nov 2023
  38. zipperposition
    Documentation
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
1 2 3