77 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. 3.12
    BSD-2-Clause
    Used by 0 other packages
    06 Jun 2023
  16. An in-memory datalog implementation for OCaml
    0.6
    BSD-2-Clause
    Used by 0 other packages
    13 Mar 2019
  17. Bencode backend for decoders
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  18. 1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  19. eprover

    No documentation

    3.1
    LGPL-2.1-or-later OR GPL-2.0-or-later
    Used by 0 other packages
    13 May 2024
  20. 0.2.4
    MIT
    Used by 5 other packages
    27 Nov 2023
  21. Friendly wrapper around OCurl, Lwt version
    0.2.4
    MIT
    Used by 2 other packages
    27 Nov 2023
  22. A simple IO and concurrency library for OCaml 5
    0.1
    MIT
    Used by 1 other packages
    27 Feb 2024
  23. Lwt backend for Fuseau
    0.1
    MIT
    Used by 0 other packages
    27 Feb 2024
  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.3
    MIT
    Used by 2 other packages
    16 Aug 2024
  26. 0.3
    MIT
    Used by 1 other packages
    16 Aug 2024
  27. IRC client library - core functionality
    0.7.1
    MIT
    Used by 5 other packages
    27 Feb 2023
  28. IRC client library - Lwt implementation
    0.7.1
    MIT
    Used by 1 other packages
    27 Feb 2023
  29. IRC client library - Lwt SSL implementation
    0.7.1
    MIT
    Used by 1 other packages
    27 Feb 2023
  30. IRC client library - TLS implementation
    0.7.1
    MIT
    Used by 1 other packages
    27 Feb 2023
  31. IRC client library - Unix implementation
    0.7.1
    MIT
    Used by 0 other packages
    27 Feb 2023
  32. Simple abstraction over `iter` functions, intended to iterate efficiently on collections while performing some transformations
    1.8
    BSD-2-clause
    Used by 22 other packages
    21 Nov 2023
  33. 2.0.2
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Feb 2020
  34. Library to write jupyter kernels (interactive notebooks)
    0.8
    BSD-2-Clause
    Used by 0 other packages
    19 Nov 2021
  35. 2.1
    BSD-2-Clause
    Used by 2 other packages
    05 Sep 2021
  36. 1.5.1
    BSD-3-clause
    Used by 12 other packages
    21 Mar 2024
  37. LSP server library
    0.6
    MIT
    Used by 2 other packages
    03 Jun 2024
  38. LSP server library (with Lwt for concurrency)
    0.6
    MIT
    Used by 0 other packages
    03 Jun 2024
  39. 2.1
    BSD-2-Clause
    Used by 3 other packages
    05 Sep 2021
  40. 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
  41. maki

    No documentation

    Persistent incremental computations, for repeatable tests and benchmarks.
    0.2
    Used by 0 other packages
    26 Feb 2017
  42. A mcsat-based SMT solver in pure OCaml
    0.1
    Apache
    Used by 0 other packages
    18 Nov 2020
  43. Pools of threads supported by a pool of domains
    0.7
    MIT
    Used by 2 other packages
    10 Sep 2024
  44. Async IO for moonpool, relying on picos (experimental)
    0.7
    MIT
    Used by 0 other packages
    10 Sep 2024
  45. Event loop for moonpool based on Lwt-engine (experimental)
    0.7
    MIT
    Used by 0 other packages
    10 Sep 2024
  46. Library containing a SAT solver that can be parametrized by a theory
    0.9.1
    Apache-2.0
    Used by 5 other packages
    24 Mar 2021
  47. SAT solver binary based on the msat library
    0.9.1
    Apache-2.0
    Used by 0 other packages
    24 Mar 2021
  48. nunchaku

    No documentation

    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
  49. 3.1.1
    MIT
    Used by 5 other packages
    22 Jul 2024
  50. 0.3
    Used by 0 other packages
    09 Mar 2019