77 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 0 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. benchpress
    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
    Documentation
    Server and web UI for benchpress
    Simon Cruanes Guillaume Bury
    0.1
    Used by 0 other packages
    30 Jul 2020
  6. bencode
    Documentation
    Bencode (`.torrent` file format) reader/writer in OCaml
    Rudi Grinberg Simon Cruanes
    2.0
    MIT
    Used by 2 other packages
    11 Dec 2019
  7. 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 10 other packages
    04 Feb 2020
  8. 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
  9. cconv
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 4 other packages
    09 Mar 2019
  10. cconv-ppx
    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
    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
    Documentation
    Virtual package relying on cargo (rust build system)
    Simon Cruanes
    0.1
    MIT
    Used by 7 other packages
    05 Dec 2018
  13. conf-rust-2018
    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
    Documentation
    Virtual package relying on cargo (rust build system)
    TriliTech Simon Cruanes
    1
    MIT
    Used by 7 other packages
    13 Oct 2022
  15. 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
  16. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.7
    BSD-2-Clause
    Used by 0 other packages
    18 Oct 2024
  17. decoders-bencode
    Documentation
    Bencode backend for decoders
    Simon Cruanes <simon@imandra.ai>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  18. 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
  19. 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
  20. ezcurl
    Documentation
    Friendly wrapper around OCurl
    curl web http client
    Simon Cruanes
    0.2.4
    MIT
    Used by 5 other packages
    27 Nov 2023
  21. ezcurl-lwt
    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
  22. 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
  23. fuseau-lwt
    Documentation
    Lwt backend for Fuseau
    fuseau lwt
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    27 Feb 2024
  24. gen
    Documentation
    Iterators for OCaml, both restartable and consumable
    gen iterator iter fold
    Simon Cruanes ELLIOTTCABLE
    1.1
    BSD-2-Clause
    Used by 13 other packages
    16 Mar 2023
  25. iostream
    Documentation
    Generic, composable IO input and output streams
    topics io channels streams
    Simon Cruanes
    0.3
    MIT
    Used by 2 other packages
    16 Aug 2024
  26. 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
  27. irc-client
    Documentation
    IRC client library - core functionality
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 5 other packages
    27 Feb 2023
  28. 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
  29. 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
  30. irc-client-tls
    Documentation
    IRC client library - TLS implementation
    John Else Simon Cruanes
    0.7.1
    MIT
    Used by 1 other packages
    27 Feb 2023
  31. 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
  32. 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.8
    BSD-2-clause
    Used by 22 other packages
    21 Nov 2023
  33. 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.0.2
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Feb 2020
  34. 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
  35. 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
  36. 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
  37. linol
    Documentation
    LSP server library
    Simon Cruanes
    0.7
    MIT
    Used by 2 other packages
    11 Nov 2024
  38. linol-lwt
    Documentation
    LSP server library (with Lwt for concurrency)
    Simon Cruanes
    0.7
    MIT
    Used by 0 other packages
    11 Nov 2024
  39. 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
  40. 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
  41. maki

    No documentation

    Persistent incremental computations, for repeatable tests and benchmarks.
    incremental persistent memoization
    Simon Cruanes
    0.2
    Used by 0 other packages
    26 Feb 2017
  42. 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
  43. moonpool
    Documentation
    Pools of threads supported by a pool of domains
    thread pool domain futures fork-join
    Simon Cruanes
    0.7
    MIT
    Used by 2 other packages
    10 Sep 2024
  44. moonpool-io
    Documentation
    Async IO for moonpool, relying on picos (experimental)
    Simon Cruanes
    0.7
    MIT
    Used by 0 other packages
    10 Sep 2024
  45. moonpool-lwt
    Documentation
    Event loop for moonpool based on Lwt-engine (experimental)
    Simon Cruanes
    0.7
    MIT
    Used by 0 other packages
    10 Sep 2024
  46. 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
  47. 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
  48. nunchaku

    No documentation

    A counter-example finder for higher-order logic, designed to be used from various proof assistants
    Simon Cruanes Jasmin Blanchette
    0.6
    Used by 0 other packages
    24 Oct 2018
  49. ocaml-protoc
    Documentation
    Pure OCaml compiler for .proto files
    protoc protobuf codegen
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    3.1.1
    MIT
    Used by 5 other packages
    22 Jul 2024
  50. olinq
    Documentation
    LINQ inspired queries on in-memory data
    linq query join group collection
    Simon Cruanes
    0.3
    Used by 0 other packages
    09 Mar 2019
1 2