149 search results for "tag:"ca""

Showing 101 - 149
  1. ocplib_stuff
    Documentation
    Basic stuff used by some OCP libraries and tools
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    28 Apr 2023
  2. odoc-depgraph
    Documentation
    Custom OCamldoc generator to insert clickable dependency graphs in generated html page
    ocamldoc graph
    Maxence Guesdon
    1.0
    LGPL-2.1-only
    Used by 0 other packages
    08 Apr 2015
  3. oframl
    Documentation
    Farcaster Frames in OCaml
    topics Farcaster Frames
    Noah Citron
    0.0.1
    MIT
    Used by 0 other packages
    07 Feb 2024
  4. omd
    Documentation
    A Markdown frontend in pure OCaml
    org:ocamllabs org:mirage
    Philippe Wang <philippe.wang@gmail.com> Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    2.0.0~alpha4
    ISC
    Used by 23 other packages
    24 Jul 2023
  5. opam-bin
    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 0 other packages
    30 Dec 2022
  6. opam-bundle
    Documentation
    A tool that creates stand-alone source bundles from opam packages
    org:ocamlpro
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.4
    GPL-3.0-only
    Used by 0 other packages
    03 Dec 2018
  7. opam-ci
    Documentation
    Query the opam package build status
    org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    13 Jun 2018
  8. opam-custom-install
    Documentation
    An opam plugin to install a package using a custom command
    org:ocamlpro org:opam
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    08 Nov 2022
  9. opam-doc

    No documentation

    Produce documentation for OPAM packages
    org:ocamllabs
    thomas@gazagnaire.org
    0.9.3
    Used by 0 other packages
    02 Jan 2014
  10. 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
  11. opam-sync-github-prs

    No documentation

    Sync OCaml GitHub issues with OPAM
    org:ocamllabs
    Anil Madhavapeddy
    1.1.0
    Used by 0 other packages
    07 Aug 2015
  12. 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
  13. 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
  14. 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
  15. par_incr
    Documentation
    Parallel Self Adjusting Computation
    ocaml incremental multicore-ocaml
    Dipesh Kafle
    0.1
    MIT
    Used by 0 other packages
    15 Aug 2023
  16. 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
  17. 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
  18. 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 39 other packages
    14 Mar 2023
  19. 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
  20. 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 9 other packages
    16 Jun 2022
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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 84 other packages
    03 Feb 2021
  28. 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
  29. stog-writing
    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
  30. 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
  31. topkg
    Documentation
    The transitory OCaml software packager
    packaging ocamlbuild org:erratique
    The topkg programmers
    1.0.7
    ISC
    Used by 232 other packages
    01 Feb 2023
  32. topkg-care
    Documentation
    The transitory OCaml software packager
    packaging ocamlbuild org:erratique
    The topkg programmers
    1.0.7
    ISC
    Used by 0 other packages
    01 Feb 2023
  33. trace-tef
    Documentation
    A simple backend for trace, emitting Catapult/TEF JSON into a file
    trace tracing catapult TEF chrome-format
    Simon Cruanes
    0.8
    MIT
    Used by 7 other packages
    17 Sep 2024
  34. travis-senv
    Documentation
    Utility to manipulate Travis CI secure environment variables
    org:ocamllabs org:mirage
    1.0.0
    Used by 0 other packages
    21 Nov 2013
  35. 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 16 other packages
    16 Jul 2017
  36. 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
  37. 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
  38. unix-fcntl

    No documentation

    Unix fcntl.h types, maps, and support
    unix posix fcntl syscall open
    David Sheets Jeremy Yallop
    0.3.5
    ISC
    Used by 0 other packages
    22 Jan 2017
  39. 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
  40. 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
  41. 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 5 other packages
    24 Jan 2024
  42. why

    No documentation

    Why is a software verification platform.
    deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL
    Jean-Christophe Filliâtre Claude Marché Yannick Moy Romain Bardou
    2.41
    LGPL-2.1-only
    Used by 0 other packages
    03 Jul 2018
  43. 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.0
    LGPL-2.1-only
    Used by 4 other packages
    13 Dec 2024
  44. why3-base

    No documentation

    Why3 environment for deductive program verification (base)
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  45. 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.0
    LGPL-2.1-only
    Used by 0 other packages
    13 Dec 2024
  46. 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.0
    LGPL-2.1-only
    Used by 0 other packages
    13 Dec 2024
  47. 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
  48. 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
  49. 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