37 search results for "tag:"log""

Showing 1 - 37
  1. archsat
    Documentation
    A first-order theorem prover with formal proof output
    sat smt solver theorem prover tptp logic smtlib dimacs
    Guillaume Bury
    1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  2. bos
    Documentation
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.2.1
    ISC
    Used by 90 other packages
    06 Oct 2021
  3. camyll
    Documentation
    A static site generator
    blog web website
    Alan Hu <ahulambda@gmail.com>
    0.4.4
    MIT
    Used by 0 other packages
    07 Apr 2025
  4. cmdlang-cmdliner-err-runner
    Documentation
    Cmdlang runner for programs using [Err] with a cmdliner backend
    cli cmdlang logs pp
    Mathieu Barbin
    0.0.16
    MIT
    Used by 2 other packages
    26 Sep 2025
  5. combic
    Documentation
    A lightweight library for combinatory logic
    topics combinatory logic functional programming lambda calculus ocaml
    zandacw
    1.0.0
    MIT
    Used by 0 other packages
    10 Apr 2024
  6. coq-of-ocaml
    Documentation
    Compile a subset of OCaml to Coq
    keyword:compilation keyword:OCaml logpath:CoqOfOCaml
    Guillaume Claret
    2.5.3+4.14
    MIT
    Used by 0 other packages
    06 Jan 2023
  7. coq-waterproof

    No documentation

    Coq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-11-04 logpath:Waterproof
    Jelle Wemmenhove Pim Otte Balthazar Pathiachvili Cosmin Manea Lulof Pirée et al.
    3.0.0+9.0
    LGPL-3.0-or-later
    Used by 0 other packages
    28 Aug 2025
  8. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.7
    BSD-2-Clause
    Used by 1 other packages
    18 Oct 2024
  9. dolmen
    Documentation
    A parser library for automated deduction
    parser logic tptp smtlib dimacs
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 7 other packages
    24 Jun 2024
  10. dolmen_bin
    Documentation
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  11. dolmen_loop
    Documentation
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 4 other packages
    24 Jun 2024
  12. dolmen_lsp
    Documentation
    A LSP server for automated deduction languages
    logic computation automated theorem prover lsp language server protocol
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  13. dolmen_model
    Documentation
    The Dolmen library for verifying models generated by automated theorem provers and SMT solvers
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 2 other packages
    24 Jun 2024
  14. dolmen_type
    Documentation
    The Dolmen library for typechecking languages
    logic type typechecking first order polymorphism
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 5 other packages
    24 Jun 2024
  15. echo
    Documentation
    A minimal interop OCaml + C logging solution
    logging console
    Zachary Deak <deakodev@outlook.com>
    0.0.5
    MIT
    Used by 0 other packages
    15 Jul 2025
  16. hardcaml-lua
    Documentation
    A lua client for interfacing hardcaml to verilator, UHDM, Verible and RTLIL front-ends
    Verilator Surelog UHDM Verible Yosys RTLIL
    Jonathan Kimmitt
    0.0.1
    MIT
    Used by 0 other packages
    28 Aug 2024
  17. libzipperposition
    Documentation
    Library for Zipperposition
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 2 other packages
    05 Sep 2021
  18. logs
    Documentation
    Logging infrastructure for OCaml
    log system org:erratique
    The logs programmers
    0.9.0
    ISC
    Used by 298 other packages
    10 Jul 2025
  19. logs-async
    Documentation
    Jane Street Async logging with Logs
    async logs
    Vincent Bernardoff <vb@luminar.eu.org>
    1.4
    ISC
    Used by 1 other packages
    14 Jul 2025
  20. logs-async-reporter
    Documentation
    Logs reporter compatible with Async
    async logs
    Vincent Bernardoff <vb@luminar.eu.org>
    1.4
    ISC
    Used by 1 other packages
    14 Jul 2025
  21. logtk
    Documentation
    Core types and algorithms for logic
    logic unification term
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 3 other packages
    05 Sep 2021
  22. orthologic-coq
    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
  23. phylogenetics
    Documentation
    Algorithms and datastructures for phylogenetics
    bioinformatics evolution phylogeny
    Louis Duchemin Vincent Lanore Philippe Veber
    0.3.0
    CeCILL-B
    Used by 0 other packages
    09 Jul 2024
  24. pplumbing
    Documentation
    Utility libraries to use with [pp]
    cli cmdlang logs pp
    Mathieu Barbin
    0.0.16
    MIT
    Used by 12 other packages
    26 Sep 2025
  25. pplumbing-log
    Documentation
    An interface to [logs] using [Pp_tty] rather than [Format]
    cli logs pp
    Mathieu Barbin
    0.0.16
    MIT
    Used by 3 other packages
    26 Sep 2025
  26. pplumbing-log-cli
    Documentation
    Command line helpers to configure the [err], [logs] and [fmt] libraries
    cli cmdlang logs pp
    Mathieu Barbin
    0.0.16
    MIT
    Used by 2 other packages
    26 Sep 2025
  27. ppx_minidebug
    Documentation
    Debug logs for selected functions and let-bindings
    logger debugger printf debugging
    Lukasz Stafiniak
    2.4.0
    LGPL-2.1-or-later
    Used by 2 other packages
    04 Oct 2025
  28. prolect
    Documentation
    Pure prolog interpreter
    prolog interpreter
    Ali Heydari <aliheidary1381@gmail.com>
    1.1.3
    CC0-1.0
    Used by 0 other packages
    28 Aug 2025
  29. simlog
    Documentation
    A simple OCaml logging library
    log logging logger
    Muqiu Han
    0.0.4
    MIT
    Used by 0 other packages
    15 Oct 2023
  30. smbc
    Documentation
    Experimental model finder/SMT solver for functional programming
    logic narrowing model smt
    Simon Cruanes
    0.6.1
    Used by 0 other packages
    14 Nov 2019
  31. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 0 other packages
    17 Apr 2024
  32. 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
  33. tinyfiledialogs
    Documentation
    OCaml bindings to tinyfiledialogs
    GUI Dialogs File Dialog Color Picker Cross-Platform TinyFileDialogs Open File Dialog Save File Dialog Select Folder Message Box Input Box
    Charles Averill <charlesaverill20@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    13 Sep 2025
  34. tip-parser
    Documentation
    Parser for https://tip-org.github.io/format.html
    TIP parse inductive logic
    Simon Cruanes
    0.6
    Used by 1 other packages
    09 Feb 2019
  35. vlt
    Documentation
    A variant of Bolt logging tool
    logging
    Xavier Clerc Codinuum
    0.2.5
    LGPL-3.0-only
    Used by 22 other packages
    07 Mar 2025
  36. yocaml_cmark
    Documentation
    YOCaml Common Mark processor
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  37. 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