21 search results for "author:"Guillaume Bury""

Showing 1 - 21
  1. 1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  2. Tool to run one or more logic programs, on a set of files, and collect the results
    0.1
    Used by 1 other packages
    30 Jul 2020
  3. Server and web UI for benchpress
    0.1
    Used by 0 other packages
    30 Jul 2020
  4. An OCaml interface for the Linux control groups
    0.1
    BSD-3-Clause
    Used by 0 other packages
    29 Jul 2015
  5. colibri2

    No documentation

    0.4
    LGPL-2.1-only
    Used by 0 other packages
    29 Mar 2023
  6. 0.9
    BSD-2-Clause
    Used by 7 other packages
    06 Jul 2023
  7. 0.9
    BSD-2-Clause
    Used by 0 other packages
    06 Jul 2023
  8. 0.9
    BSD-2-Clause
    Used by 4 other packages
    06 Jul 2023
  9. 0.9
    BSD-2-Clause
    Used by 0 other packages
    06 Jul 2023
  10. 0.9
    BSD-2-Clause
    Used by 1 other packages
    06 Jul 2023
  11. 0.9
    BSD-2-Clause
    Used by 4 other packages
    06 Jul 2023
  12. A mcsat-based SMT solver in pure OCaml
    0.1
    Apache
    Used by 0 other packages
    18 Nov 2020
  13. A small library to inspect memory representation of ocaml values
    1.0
    MIT
    Used by 1 other packages
    31 Jan 2023
  14. Display the representation of memory values in the Kitty terminal emulator
    1.0
    MIT
    Used by 0 other packages
    31 Jan 2023
  15. Library containing a SAT solver that can be parametrized by a theory
    0.9.1
    Apache-2.0
    Used by 4 other packages
    24 Mar 2021
  16. SAT solver binary based on the msat library
    0.9.1
    Apache-2.0
    Used by 0 other packages
    24 Mar 2021
  17. A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions
    0.5
    LGPL-2.1-only
    Used by 2 other packages
    24 Nov 2022
  18. Allows to print nested boxes, lists, arrays, tables in several formats
    0.10
    BSD-2-Clause
    Used by 8 other packages
    26 Feb 2024
  19. 0.10
    BSD-2-Clause
    Used by 3 other packages
    26 Feb 2024
  20. 0.10
    BSD-2-Clause
    Used by 1 other packages
    26 Feb 2024
  21. Text renderer for printbox, using unicode edges
    0.10
    BSD-2-Clause
    Used by 5 other packages
    26 Feb 2024