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

Showing 1 - 50
  1. avro
    Documentation
    Runtime library for encoding/decoding Avro
    Simon Cruanes
    0.1
    MIT
    Used by 1 other packages
    12 Dec 2021
  2. avro-compiler
    Documentation
    Schema compiler for Avro
    Simon Cruanes
    0.1
    MIT
    Used by 1 other packages
    12 Dec 2021
  3. bare_encoding
    Documentation
    BARE encoding, see https://baremessages.org/
    encoding binary bare
    simon cruanes
    0.3.1
    MIT
    Used by 0 other packages
    07 Sep 2023
  4. bencode
    Documentation
    Bencode (`.torrent` file format) reader/writer in OCaml
    Rudi Grinberg Simon Cruanes
    2.0
    MIT
    Used by 1 other packages
    11 Dec 2019
  5. bigstring
    Documentation
    A set of utils for dealing with `bigarrays` of `char`
    bigstring bigarray
    Simon Cruanes <simon.cruanes.2007@m4x.org>
    0.3
    Used by 8 other packages
    04 Feb 2020
  6. bigstring-unix
    Documentation
    I/O functions for bigstrings using file descriptors and memory-maps
    bigstring bigarray
    Simon Cruanes <simon.cruanes.2007@m4x.org>
    0.3
    Used by 1 other packages
    04 Feb 2020
  7. cconv
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 2 other packages
    09 Mar 2019
  8. choice
    Documentation
    Choice monad, for easy backtracking
    Simon Cruanes <simon.cruanes.2007@m4x.org>
    0.4
    Used by 0 other packages
    11 Nov 2019
  9. conf-rust
    Documentation
    Virtual package relying on cargo (rust build system)
    Simon Cruanes
    0.1
    MIT
    Used by 7 other packages
    05 Dec 2018
  10. conf-rust-2018
    Documentation
    Virtual package relying on cargo (rust build system)
    Simon Cruanes
    1
    MIT
    Used by 2 other packages
    08 Feb 2019
  11. conf-rust-2021
    Documentation
    Virtual package relying on cargo (rust build system)
    TriliTech Simon Cruanes
    1
    MIT
    Used by 6 other packages
    13 Oct 2022
  12. conf-rust-2024

    No documentation

    Virtual package relying on cargo (rust build system)
    TriliTech Simon Cruanes
    1
    MIT
    Used by 1 other packages
    05 Feb 2025
  13. containers-thread
    Documentation
    An extension of containers for threading
    containers thread semaphore blocking queue
    Simon Cruanes
    3.12
    BSD-2-Clause
    Used by 0 other packages
    06 Jun 2023
  14. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.7
    BSD-2-Clause
    Used by 1 other packages
    18 Oct 2024
  15. decoders-bencode
    Documentation
    Bencode backend for decoders
    Simon Cruanes <simon@imandra.ai>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  16. decoders-msgpck
    Documentation
    Msgpck backend for decoders
    Matt Bray <mattjbray@gmail.com> Simon Cruanes <simon@imandra.ai>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  17. eprover

    No documentation

    E Theorem Prover
    Stephan Schulz Simon Cruanes Petar Vukmirovic Mohamed Bassem Martin Moehrmann
    3.1
    LGPL-2.1-or-later OR GPL-2.0-or-later
    Used by 0 other packages
    13 May 2024
  18. ezcurl
    Documentation
    Friendly wrapper around OCurl
    curl web http client
    Simon Cruanes
    0.3
    MIT
    Used by 5 other packages
    26 Jan 2026
  19. ezcurl-lwt
    Documentation
    Friendly wrapper around OCurl, Lwt version
    curl web http client lwt
    Simon Cruanes
    0.3
    MIT
    Used by 2 other packages
    26 Jan 2026
  20. ezlua

    No documentation

    OCaml-Lua codec runtime and high-level interpreter API
    Simon Cruanes
    0.1
    MIT
    Used by 1 other packages
    14 Apr 2026
  21. fuseau
    Documentation
    A simple IO and concurrency library for OCaml 5
    await effects event-loop thread-local-storage
    Simon Cruanes
    0.1
    MIT
    Used by 1 other packages
    27 Feb 2024
  22. fuseau-lwt
    Documentation
    Lwt backend for Fuseau
    fuseau lwt
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    27 Feb 2024
  23. gen

    No documentation

    Iterators for OCaml, both restartable and consumable
    gen iterator iter fold
    Simon Cruanes ELLIOTTCABLE
    1.1
    BSD-2-Clause
    Used by 12 other packages
    16 Mar 2023
  24. iostream
    Documentation
    Generic, composable IO input and output streams
    topics io channels streams
    Simon Cruanes
    0.3
    MIT
    Used by 3 other packages
    16 Aug 2024
  25. iostream-camlzip
    Documentation
    Stream (de)compression using deflate
    topics io channels streams zip deflate
    Simon Cruanes
    0.3
    MIT
    Used by 1 other packages
    16 Aug 2024
  26. irc-client
    Documentation
    IRC client library - core functionality
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 5 other packages
    27 Feb 2023
  27. irc-client-lwt
    Documentation
    IRC client library - Lwt implementation
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 1 other packages
    27 Feb 2023
  28. irc-client-lwt-ssl
    Documentation
    IRC client library - Lwt SSL implementation
    Simon Cruanes
    0.7.1
    MIT
    Used by 1 other packages
    27 Feb 2023
  29. irc-client-tls
    Documentation
    IRC client library - TLS implementation
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 0 other packages
    27 Feb 2023
  30. irc-client-unix
    Documentation
    IRC client library - Unix implementation
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 0 other packages
    27 Feb 2023
  31. iter
    Documentation
    Simple abstraction over `iter` functions, intended to iterate efficiently on collections while performing some transformations
    iter iterator iter fold
    Simon Cruanes Gabriel Radanne
    1.9
    BSD-2-clause
    Used by 16 other packages
    05 Feb 2025
  32. junit_ounit
    Documentation
    JUnit XML reports generation for OUnit tests
    junit jenkins ounit
    Louis Roché <louis@louisroche.net> Simon Cruanes <simon.cruanes.2007@m4x.org>
    2.3.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    08 May 2025
  33. jupyter-kernel
    Documentation
    Library to write jupyter kernels (interactive notebooks)
    jupyter ipython
    Simon Cruanes Andrew Ray
    0.8
    BSD-2-Clause
    Used by 0 other packages
    19 Nov 2021
  34. 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
  35. linenoise
    Documentation
    Lightweight readline alternative
    Edgar Aroutiounian <edgar.factorial@gmail.com> Simon Cruanes
    1.5.1
    BSD-3-clause
    Used by 12 other packages
    21 Mar 2024
  36. linol

    No documentation

    LSP server library
    Simon Cruanes
    0.11
    MIT
    Used by 3 other packages
    10 Apr 2026
  37. linol-lwt

    No documentation

    LSP server library (with Lwt for concurrency)
    Simon Cruanes
    0.11
    MIT
    Used by 1 other packages
    10 Apr 2026
  38. 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
  39. lwt-pipe
    Documentation
    An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer
    lwt pipe stream blocking
    Simon Cruanes
    0.1
    Used by 0 other packages
    30 Jan 2020
  40. lwt_direct
    Documentation
    Direct-style control-flow and `await` for Lwt
    Simon Cruanes
    6.0.0
    MIT
    Used by 0 other packages
    12 Jan 2026
  41. mc2
    Documentation
    A mcsat-based SMT solver in pure OCaml
    sat smt mcsat
    Simon Cruanes Guillaume Bury
    0.1
    Apache
    Used by 0 other packages
    18 Nov 2020
  42. moonpool
    Documentation
    Pools of threads supported by a pool of domains
    thread pool domain futures fork-join
    Simon Cruanes
    0.11
    MIT
    Used by 2 other packages
    04 Feb 2026
  43. moonpool-io
    Documentation
    Async IO for moonpool, relying on picos (experimental)
    Simon Cruanes
    0.9
    MIT
    Used by 0 other packages
    29 Sep 2025
  44. moonpool-lwt
    Documentation
    Event loop for moonpool based on Lwt-engine (experimental)
    Simon Cruanes
    0.11
    MIT
    Used by 0 other packages
    04 Feb 2026
  45. msat
    Documentation
    Library containing a SAT solver that can be parametrized by a theory
    sat smt cdcl functor
    Simon Cruanes Guillaume Bury
    0.9.1
    Apache-2.0
    Used by 5 other packages
    24 Mar 2021
  46. msat-bin
    Documentation
    SAT solver binary based on the msat library
    sat
    Simon Cruanes Guillaume Bury
    0.9.1
    Apache-2.0
    Used by 0 other packages
    24 Mar 2021
  47. nanoev
    Documentation
    Tiny event loop abstraction
    unix select async
    Simon Cruanes
    0.1
    MIT
    Used by 3 other packages
    12 May 2025
  48. nanoev-picos
    Documentation
    Use nanoev from picos
    unix select async
    Simon Cruanes
    0.1
    MIT
    Used by 2 other packages
    12 May 2025
  49. nanoev-posix
    Documentation
    Use mtime+iomux (posix compliant) as a backend for nanoev
    unix select async iomux nanoev
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    12 May 2025
  50. nanoev_tiny_httpd
    Documentation
    Use nanoev as a basis for tiny_httpd
    nanoev http
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    12 May 2025
1 2