64 search results for "author:"Simon Cruanes""

Showing 1 - 50
  1. Runtime library for encoding/decoding Avro
    0.1
    MIT
    Used by 0 other packages
    12 Dec 2021
  2. Schema compiler for Avro
    0.1
    MIT
    Used by 1 other packages
    12 Dec 2021
  3. BARE encoding, see https://baremessages.org/
    0.3.1
    MIT
    Used by 0 other packages
    07 Sep 2023
  4. 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
  5. Server and web UI for benchpress
    0.1
    Used by 0 other packages
    30 Jul 2020
  6. Bencode (`.torrent` file format) reader/writer in OCaml
    2.0
    MIT
    Used by 2 other packages
    11 Dec 2019
  7. A set of utils for dealing with `bigarrays` of `char`
    0.3
    Used by 10 other packages
    04 Feb 2020
  8. I/O functions for bigstrings using file descriptors and memory-maps
    0.3
    Used by 1 other packages
    04 Feb 2020
  9. Combinators for Type Conversion in OCaml
    0.5
    Used by 4 other packages
    09 Mar 2019
  10. 0.5
    Used by 0 other packages
    09 Mar 2019
  11. Choice monad, for easy backtracking
    0.4
    Used by 0 other packages
    11 Nov 2019
  12. Virtual package relying on cargo (rust build system)
    0.1
    MIT
    Used by 7 other packages
    05 Dec 2018
  13. Virtual package relying on cargo (rust build system)
    1
    MIT
    Used by 2 other packages
    08 Feb 2019
  14. Virtual package relying on cargo (rust build system)
    1
    MIT
    Used by 7 other packages
    13 Oct 2022
  15. A modular, clean and powerful extension of the OCaml standard library
    3.12
    BSD-2-Clause
    Used by 71 other packages
    06 Jun 2023
  16. 3.12
    BSD-2-Clause
    Used by 5 other packages
    06 Jun 2023
  17. 3.12
    BSD-2-Clause
    Used by 0 other packages
    06 Jun 2023
  18. An in-memory datalog implementation for OCaml
    0.6
    BSD-2-Clause
    Used by 0 other packages
    13 Mar 2019
  19. Bencode backend for decoders
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  20. 1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  21. 2.6
    LGPL-2.1-or-later; GPL-2.0-or-later
    Used by 0 other packages
    21 Jan 2022
  22. 0.2.4
    MIT
    Used by 4 other packages
    27 Nov 2023
  23. Friendly wrapper around OCurl, Lwt version
    0.2.4
    MIT
    Used by 1 other packages
    27 Nov 2023
  24. Iterators for OCaml, both restartable and consumable
    1.1
    BSD-2-Clause
    Used by 13 other packages
    16 Mar 2023
  25. Generic, composable IO input and output streams
    0.1
    MIT
    Used by 0 other packages
    28 Aug 2023
  26. IRC client library - core functionality
    0.7.1
    MIT
    Used by 5 other packages
    27 Feb 2023
  27. IRC client library - Lwt implementation
    0.7.1
    MIT
    Used by 1 other packages
    27 Feb 2023
  28. IRC client library - Lwt SSL implementation
    0.7.1
    MIT
    Used by 1 other packages
    27 Feb 2023
  29. IRC client library - TLS implementation
    0.7.1
    MIT
    Used by 1 other packages
    27 Feb 2023
  30. IRC client library - Unix implementation
    0.7.1
    MIT
    Used by 0 other packages
    27 Feb 2023
  31. Simple abstraction over `iter` functions, intended to iterate efficiently on collections while performing some transformations
    1.8
    BSD-2-clause
    Used by 21 other packages
    21 Nov 2023
  32. 2.0.2
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Feb 2020
  33. Library to write jupyter kernels (interactive notebooks)
    0.8
    BSD-2-Clause
    Used by 0 other packages
    19 Nov 2021
  34. 2.1
    BSD-2-Clause
    Used by 2 other packages
    05 Sep 2021
  35. 1.4.0
    BSD-3-clause
    Used by 12 other packages
    15 Sep 2022
  36. 0.4
    MIT
    Used by 2 other packages
    30 Jul 2021
  37. LSP server library (with Lwt for concurrency)
    0.4
    MIT
    Used by 1 other packages
    30 Jul 2021
  38. 2.1
    BSD-2-Clause
    Used by 3 other packages
    05 Sep 2021
  39. An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer
    0.1
    Used by 0 other packages
    30 Jan 2020
  40. Persistent incremental computations, for repeatable tests and benchmarks.
    0.2
    Used by 0 other packages
    26 Feb 2017
  41. A mcsat-based SMT solver in pure OCaml
    0.1
    Apache
    Used by 0 other packages
    18 Nov 2020
  42. Pools of threads supported by a pool of domains
    0.5.1
    MIT
    Used by 0 other packages
    27 Nov 2023
  43. 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
  44. SAT solver binary based on the msat library
    0.9.1
    Apache-2.0
    Used by 0 other packages
    24 Mar 2021
  45. A counter-example finder for higher-order logic, designed to be used from various proof assistants
    0.6
    Used by 0 other packages
    24 Oct 2018
  46. 0.3
    Used by 0 other packages
    09 Mar 2019
  47. Simple list of suspensions, as a composable lazy iterator that behaves like a value
    0.5
    BSD-2-clause
    Used by 11 other packages
    16 May 2023
  48. Allows to print nested boxes, lists, arrays, tables in several formats
    0.7
    BSD-2-Clause
    Used by 7 other packages
    26 Oct 2023
  49. 0.7
    BSD-2-Clause
    Used by 2 other packages
    26 Oct 2023
  50. Text renderer for printbox, using unicode edges
    0.7
    BSD-2-Clause
    Used by 3 other packages
    26 Oct 2023