32 search results for "tag:"log""

Showing 1 - 32
  1. 1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  2. 0.2.1
    ISC
    Used by 88 other packages
    06 Oct 2021
  3. 0.4.3
    MIT
    Used by 0 other packages
    16 Mar 2023
  4. 1.0.0
    MIT
    Used by 0 other packages
    10 Apr 2024
  5. 2.5.3+4.14
    MIT
    Used by 0 other packages
    06 Jan 2023
  6. 2.2.0+8.17
    LGPL-3.0-or-later
    Used by 0 other packages
    04 Nov 2024
  7. An in-memory datalog implementation for OCaml
    0.7
    BSD-2-Clause
    Used by 0 other packages
    18 Oct 2024
  8. 0.10
    BSD-2-Clause
    Used by 8 other packages
    24 Jun 2024
  9. 0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  10. 0.10
    BSD-2-Clause
    Used by 4 other packages
    24 Jun 2024
  11. 0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  12. The Dolmen library for verifying models generated by automated theorem provers and SMT solvers
    0.10
    BSD-2-Clause
    Used by 2 other packages
    24 Jun 2024
  13. 0.10
    BSD-2-Clause
    Used by 5 other packages
    24 Jun 2024
  14. A lua client for interfacing hardcaml to verilator, UHDM, Verible and RTLIL front-ends
    0.0.1
    MIT
    Used by 0 other packages
    28 Aug 2024
  15. 2.1
    BSD-2-Clause
    Used by 2 other packages
    05 Sep 2021
  16. Library to Interpret Lindenmayer Systems
    0.2.1
    MIT
    Used by 0 other packages
    25 Oct 2014
  17. 0.7.0
    ISC
    Used by 307 other packages
    13 Aug 2019
  18. 1.3
    ISC
    Used by 1 other packages
    03 Oct 2023
  19. 1.3
    ISC
    Used by 1 other packages
    03 Oct 2023
  20. 2.1
    BSD-2-Clause
    Used by 3 other packages
    05 Sep 2021
  21. 0.3.0
    CeCILL-B
    Used by 0 other packages
    09 Jul 2024
  22. Debug logs for selected functions and let-bindings
    2.0.2
    LGPL-2.1-or-later
    Used by 2 other packages
    24 Oct 2024
  23. A simple OCaml logging library
    0.0.4
    MIT
    Used by 0 other packages
    15 Oct 2023
  24. Experimental model finder/SMT solver for functional programming
    0.6.1
    Used by 0 other packages
    14 Nov 2019
  25. 0.5
    BSD-2-Clause
    Used by 0 other packages
    17 Apr 2024
  26. Stog plugin adding new rewrite rules to use footnotes and bibliographies in documents
    0.19.0
    GPL-3.0-only
    Used by 0 other packages
    18 May 2021
  27. taglog

    No documentation

    Logging library using levels and tags to determine what to log.
    0.3.0
    LGPL-3.0-only
    Used by 0 other packages
    09 Dec 2015
  28. Parser for https://tip-org.github.io/format.html
    0.6
    Used by 1 other packages
    09 Feb 2019
  29. A variant of Bolt logging tool
    0.1
    LGPL-3.0-only
    Used by 0 other packages
    17 May 2023
  30. 1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  31. 1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023
  32. 2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021