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 84 other packages
    06 Oct 2021
  3. camyll
    Documentation
    A static site generator
    blog web website
    Alan Hu <alanh@ccs.neu.edu>
    0.4.3
    MIT
    Used by 0 other packages
    16 Mar 2023
  4. 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
  5. 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 Balthazar Pathiachvili Cosmin Manea Lulof Pirée Adrian Vrămuleţ et al.
    2.1.0+8.17
    LGPL-3.0-or-later
    Used by 0 other packages
    07 Nov 2023
  6. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.6
    BSD-2-Clause
    Used by 0 other packages
    13 Mar 2019
  7. dolmen
    Documentation
    A parser library for automated deduction
    parser logic tptp smtlib dimacs
    Guillaume Bury <guillaume.bury@gmail.com>
    0.9
    BSD-2-Clause
    Used by 7 other packages
    06 Jul 2023
  8. dolmen_bin
    Documentation
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.9
    BSD-2-Clause
    Used by 0 other packages
    06 Jul 2023
  9. dolmen_loop
    Documentation
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.9
    BSD-2-Clause
    Used by 4 other packages
    06 Jul 2023
  10. 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.9
    BSD-2-Clause
    Used by 0 other packages
    06 Jul 2023
  11. dolmen_model
    Documentation
    A model checker for automated deduction languages
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.9
    BSD-2-Clause
    Used by 1 other packages
    06 Jul 2023
  12. dolmen_type
    Documentation
    A typechecker for automated deduction languages
    logic type typechecking first order polymorphism
    Guillaume Bury <guillaume.bury@gmail.com>
    0.9
    BSD-2-Clause
    Used by 4 other packages
    06 Jul 2023
  13. 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
  14. lilis
    Documentation
    Library to Interpret Lindenmayer Systems
    lsystem grammar graphics logo
    Gabriel Radanne
    0.2.1
    MIT
    Used by 0 other packages
    25 Oct 2014
  15. logs
    Documentation
    Logging infrastructure for OCaml
    log system org:erratique
    The logs programmers
    0.7.0
    ISC
    Used by 282 other packages
    13 Aug 2019
  16. logs-async
    Documentation
    Jane Street Async logging with Logs
    async logs
    Vincent Bernardoff <vb@luminar.eu.org>
    1.3
    ISC
    Used by 1 other packages
    03 Oct 2023
  17. logs-async-reporter
    Documentation
    Logs reporter compatible with Async
    async logs
    Vincent Bernardoff <vb@luminar.eu.org>
    1.3
    ISC
    Used by 1 other packages
    03 Oct 2023
  18. 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
  19. phylogenetics
    Documentation
    Algorithms and datastructures for phylogenetics
    bioinformatics evolution phylogeny
    Louis Duchemin Vincent Lanore Philippe Veber
    0.2.0
    CeCILL-B
    Used by 0 other packages
    15 May 2023
  20. ppx_minidebug
    Documentation
    Debug logs for selected functions and let-bindings
    logger debugger printf debugging
    Lukasz Stafiniak
    0.3.3
    LGPL-2.1-or-later
    Used by 0 other packages
    15 Sep 2023
  21. simlog
    Documentation
    A simple OCaml logging library
    log logging logger
    Muqiu Han
    0.0.4
    MIT
    Used by 0 other packages
    15 Oct 2023
  22. 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
  23. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.4
    BSD-2-Clause
    Used by 0 other packages
    28 Jun 2022
  24. 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
  25. taglog
    Documentation
    Logging library using levels and tags to determine what to log.
    log
    Maxence Guesdon
    0.3.0
    LGPL-3.0-only
    Used by 0 other packages
    09 Dec 2015
  26. 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
  27. vlt
    Documentation
    A variant of Bolt logging tool
    logging
    Xavier Clerc Codinuum
    0.1
    LGPL-3.0-only
    Used by 0 other packages
    17 May 2023
  28. yocaml
    Documentation
    YOCaml It is a static site generator, mostly written in OCaml
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 8 other packages
    21 Nov 2023
  29. 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
  30. yocaml_git
    Documentation
    YOCaml Runtime using Git as target
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Xavier Van de Woestyne <xaviervdw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  31. yocaml_jingoo
    Documentation
    Deal with Jingoo in YOCaml
    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
  32. yocaml_markdown
    Documentation
    YOCaml Markdown 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
  33. yocaml_mustache
    Documentation
    Deal with Mustache in YOCaml
    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
  34. yocaml_syndication
    Documentation
    YOCaml Syndication
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Xavier Van de Woestyne <xaviervdw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  35. yocaml_unix
    Documentation
    YOCaml Unix runtime
    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
  36. yocaml_yaml
    Documentation
    Deal with Yaml in YOCaml
    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