64 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
    Documentation
    A modular, clean and powerful extension of the OCaml standard library
    stdlib containers iterators list heap queue
    Simon Cruanes
    3.12
    BSD-2-Clause
    Used by 71 other packages
    06 Jun 2023
  16. containers-data
    Documentation
    A set of advanced datatypes for containers
    containers RAL functional vector okasaki
    Simon Cruanes
    3.12
    BSD-2-Clause
    Used by 5 other packages
    06 Jun 2023
  17. 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
  18. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.6
    BSD-2-Clause
    Used by 0 other packages
    13 Mar 2019
  19. decoders-bencode
    Documentation
    Bencode backend for decoders
    Simon Cruanes <simon@imandra.ai>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  20. 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
  21. eprover
    Documentation
    E Theorem Prover
    Stephan Schulz Simon Cruanes Petar Vukmirovic Mohamed Bassem Martin Moehrmann
    2.6
    LGPL-2.1-or-later; GPL-2.0-or-later
    Used by 0 other packages
    21 Jan 2022
  22. ezcurl
    Documentation
    Friendly wrapper around OCurl
    curl web http client
    Simon Cruanes
    0.2.4
    MIT
    Used by 4 other packages
    27 Nov 2023
  23. ezcurl-lwt
    Documentation
    Friendly wrapper around OCurl, Lwt version
    curl web http client lwt
    Simon Cruanes
    0.2.4
    MIT
    Used by 1 other packages
    27 Nov 2023
  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.1
    MIT
    Used by 0 other packages
    28 Aug 2023
  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 1 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.8
    BSD-2-clause
    Used by 21 other packages
    21 Nov 2023
  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.0.2
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Feb 2020
  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.4.0
    BSD-3-clause
    Used by 12 other packages
    15 Sep 2022
  36. linol
    Documentation
    LSP server library
    lsp server lwt
    Simon Cruanes
    0.4
    MIT
    Used by 2 other packages
    30 Jul 2021
  37. linol-lwt
    Documentation
    LSP server library (with Lwt for concurrency)
    lsp server lwt linol
    Simon Cruanes
    0.4
    MIT
    Used by 1 other packages
    30 Jul 2021
  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. maki
    Documentation
    Persistent incremental computations, for repeatable tests and benchmarks.
    incremental persistent memoization
    Simon Cruanes
    0.2
    Used by 0 other packages
    26 Feb 2017
  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.5.1
    MIT
    Used by 0 other packages
    27 Nov 2023
  43. 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 4 other packages
    24 Mar 2021
  44. 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
  45. nunchaku
    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
  46. 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
  47. oseq
    Documentation
    Simple list of suspensions, as a composable lazy iterator that behaves like a value
    sequence iterator seq pure list
    Simon Cruanes
    0.5
    BSD-2-clause
    Used by 11 other packages
    16 May 2023
  48. printbox
    Documentation
    Allows to print nested boxes, lists, arrays, tables in several formats
    print box table tree
    Simon Cruanes Guillaume Bury
    0.7
    BSD-2-Clause
    Used by 7 other packages
    26 Oct 2023
  49. printbox-html
    Documentation
    Printbox unicode handling
    print box table tree
    Simon Cruanes Guillaume Bury
    0.7
    BSD-2-Clause
    Used by 2 other packages
    26 Oct 2023
  50. printbox-text
    Documentation
    Text renderer for printbox, using unicode edges
    print box table tree
    Simon Cruanes Guillaume Bury
    0.7
    BSD-2-Clause
    Used by 3 other packages
    26 Oct 2023
1 2