37 search results for "tag:"log""

Showing 1 - 37
  1. bos
    Documentation
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.3.0
    ISC
    Used by 92 other packages
    Added to opam-repository
  2. camyll
    Documentation
    A static site generator
    blog web website
    Alan Hu <ahulambda@gmail.com>
    0.4.4
    MIT
    Used by 0 other packages
    Added to opam-repository
  3. 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 4 other packages
    Added to opam-repository
  4. 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
    Added to opam-repository
  5. 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
    Added to opam-repository
  6. coq-waterproof
    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 Dick Arends Cosmin Manea et al.
    3.1.0+9.1
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  7. 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
    Added to opam-repository
  8. 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 9 other packages
    Added to opam-repository
  9. 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
    Added to opam-repository
  10. 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 6 other packages
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. 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
    Added to opam-repository
  13. 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 7 other packages
    Added to opam-repository
  14. 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
    Added to opam-repository
  15. 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
    Added to opam-repository
  16. kaun-board
    Documentation
    Training dashboard and logging for Raven
    training-dashboard monitoring logging machine-learning
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository
  18. logs
    Documentation
    Logging infrastructure for OCaml
    log system org:erratique
    The logs programmers
    0.10.0
    ISC
    Used by 343 other packages
    Added to opam-repository
  19. logs-async
    Documentation
    Jane Street Async logging with Logs
    async logs
    Vincent Bernardoff <vb@luminar.eu.org>
    1.5
    ISC
    Used by 1 other packages
    Added to opam-repository
  20. logs-async-reporter
    Documentation
    Logs reporter compatible with Async
    async logs
    Vincent Bernardoff <vb@luminar.eu.org>
    1.5
    ISC
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  24. pplumbing
    Documentation
    Utility libraries to use with [pp]
    cli cmdlang logs pp
    Mathieu Barbin
    0.0.16
    MIT
    Used by 12 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  27. ppx_minidebug
    Documentation
    Debug logs for selected functions and let-bindings
    logger debugger printf debugging
    Lukasz Stafiniak
    3.0.0
    LGPL-2.1-or-later
    Used by 2 other packages
    Added to opam-repository
  28. prolect
    Documentation
    Pure prolog interpreter
    prolog interpreter
    Ali Heydari <aliheidary1381@gmail.com>
    1.1.3
    CC0-1.0
    Used by 0 other packages
    Added to opam-repository
  29. simlog
    Documentation
    A simple OCaml logging library
    log logging logger
    Muqiu Han
    0.0.4
    MIT
    Used by 0 other packages
    Added to opam-repository
  30. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  31. 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
    Added to opam-repository
  32. syslog-rfc5424
    Documentation
    Syslog Protocol (RFC5424) parser and pretty-printer
    log syslog rfc5424
    Vincent Bernardoff <vb@luminar.eu.org>
    0.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  34. tip-parser
    Documentation
    Parser for https://tip-org.github.io/format.html
    TIP parse inductive logic
    Simon Cruanes
    0.6
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository