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

Showing 1 - 50
  1. avro

    No documentation

    Runtime library for encoding/decoding Avro
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    12 Dec 2021
  2. avro-compiler

    No documentation

    Schema compiler for Avro
    Simon Cruanes
    0.1
    MIT
    Used by 1 other packages
    12 Dec 2021
  3. bare_encoding

    No 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. benchpress

    No documentation

    Tool to run one or more logic programs, on a set of files, and collect the results
    Simon Cruanes Guillaume Bury
    0.1
    Used by 1 other packages
    30 Jul 2020
  5. benchpress-server

    No documentation

    Server and web UI for benchpress
    Simon Cruanes Guillaume Bury
    0.1
    Used by 0 other packages
    30 Jul 2020
  6. bencode

    No documentation

    Bencode (`.torrent` file format) reader/writer in OCaml
    Rudi Grinberg Simon Cruanes
    2.0
    MIT
    Used by 1 other packages
    11 Dec 2019
  7. bigstring

    No documentation

    A set of utils for dealing with `bigarrays` of `char`
    bigstring bigarray
    Simon Cruanes <simon.cruanes.2007@m4x.org>
    0.3
    Used by 10 other packages
    04 Feb 2020
  8. bigstring-unix

    No 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
  9. cconv

    No documentation

    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 3 other packages
    09 Mar 2019
  10. cconv-ppx

    No documentation

    Combinators for Type Conversion in OCaml
    conversion gadt serialization ppx-deriving
    Simon Cruanes
    0.5
    Used by 0 other packages
    09 Mar 2019
  11. choice

    No documentation

    Choice monad, for easy backtracking
    Simon Cruanes <simon.cruanes.2007@m4x.org>
    0.4
    Used by 0 other packages
    11 Nov 2019
  12. conf-rust

    No documentation

    Virtual package relying on cargo (rust build system)
    Simon Cruanes
    0.1
    MIT
    Used by 9 other packages
    05 Dec 2018
  13. conf-rust-2018

    No documentation

    Virtual package relying on cargo (rust build system)
    Simon Cruanes
    1
    MIT
    Used by 2 other packages
    08 Feb 2019
  14. conf-rust-2021

    No documentation

    Virtual package relying on cargo (rust build system)
    TriliTech Simon Cruanes
    1
    MIT
    Used by 7 other packages
    13 Oct 2022
  15. conf-rust-2024

    No documentation

    Virtual package relying on cargo (rust build system)
    TriliTech Simon Cruanes
    1
    MIT
    Used by 0 other packages
    05 Feb 2025
  16. containers-thread

    No 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
  17. datalog

    No 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
  18. decoders-bencode

    No documentation

    Bencode backend for decoders
    Simon Cruanes <simon@imandra.ai>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  19. decoders-msgpck

    No 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
  20. 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
  21. ezcurl

    No documentation

    Friendly wrapper around OCurl
    curl web http client
    Simon Cruanes
    0.2.4
    MIT
    Used by 5 other packages
    27 Nov 2023
  22. ezcurl-lwt

    No documentation

    Friendly wrapper around OCurl, Lwt version
    curl web http client lwt
    Simon Cruanes
    0.2.4
    MIT
    Used by 2 other packages
    27 Nov 2023
  23. fuseau

    No 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
  24. fuseau-lwt
    Documentation
    Lwt backend for Fuseau
    fuseau lwt
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    27 Feb 2024
  25. 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
  26. iostream

    No 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
  27. iostream-camlzip

    No 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
  28. irc-client

    No documentation

    IRC client library - core functionality
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 5 other packages
    27 Feb 2023
  29. irc-client-lwt

    No documentation

    IRC client library - Lwt implementation
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 1 other packages
    27 Feb 2023
  30. irc-client-lwt-ssl

    No documentation

    IRC client library - Lwt SSL implementation
    Simon Cruanes
    0.7.1
    MIT
    Used by 1 other packages
    27 Feb 2023
  31. irc-client-tls

    No documentation

    IRC client library - TLS implementation
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 1 other packages
    27 Feb 2023
  32. irc-client-unix

    No documentation

    IRC client library - Unix implementation
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 0 other packages
    27 Feb 2023
  33. iter

    No 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 22 other packages
    05 Feb 2025
  34. junit_ounit

    No 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
  35. jupyter-kernel

    No 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
  36. libzipperposition

    No 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
  37. linenoise

    No 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
  38. linol

    No documentation

    LSP server library
    Simon Cruanes
    0.10
    MIT
    Used by 2 other packages
    18 Apr 2025
  39. linol-lwt

    No documentation

    LSP server library (with Lwt for concurrency)
    Simon Cruanes
    0.10
    MIT
    Used by 0 other packages
    18 Apr 2025
  40. logtk

    No 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
  41. lwt-pipe

    No 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
  42. mc2

    No 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
  43. moonpool

    No documentation

    Pools of threads supported by a pool of domains
    thread pool domain futures fork-join
    Simon Cruanes
    0.8
    MIT
    Used by 3 other packages
    18 Apr 2025
  44. moonpool-io

    No documentation

    Async IO for moonpool, relying on picos (experimental)
    Simon Cruanes
    0.8
    MIT
    Used by 0 other packages
    18 Apr 2025
  45. moonpool-lwt

    No documentation

    Event loop for moonpool based on Lwt-engine (experimental)
    Simon Cruanes
    0.8
    MIT
    Used by 0 other packages
    18 Apr 2025
  46. msat

    No 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
  47. msat-bin

    No 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
  48. nanoev

    No documentation

    Tiny event loop abstraction
    unix select async
    Simon Cruanes
    0.1
    MIT
    Used by 3 other packages
    12 May 2025
  49. nanoev-picos

    No documentation

    Use nanoev from picos
    unix select async
    Simon Cruanes
    0.1
    MIT
    Used by 2 other packages
    12 May 2025
  50. nanoev-posix

    No 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
1 2