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

Showing 51 - 76
  1. 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.1
    BSD-2-clause
    Used by 11 other packages
    06 Dec 2023
  2. pbrt
    Documentation
    Runtime library for Protobuf tooling
    protobuf encode decode
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    3.1.1
    MIT
    Used by 6 other packages
    22 Jul 2024
  3. pbrt_services
    Documentation
    Runtime library for ocaml-protoc to support RPC services
    protobuf encode decode services rpc
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    3.1.1
    MIT
    Used by 2 other packages
    22 Jul 2024
  4. pbrt_yojson
    Documentation
    Runtime library for ocaml-protoc to support JSON encoding/decoding
    protobuf encode decode
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    3.1.1
    MIT
    Used by 3 other packages
    22 Jul 2024
  5. ppx_trace
    Documentation
    A ppx-based preprocessor for trace
    trace ppx
    Simon Cruanes
    0.8
    MIT
    Used by 0 other packages
    17 Sep 2024
  6. printbox
    Documentation
    Allows to print nested boxes, lists, arrays, tables in several formats
    print box table tree
    Simon Cruanes Guillaume Bury lukstafi
    0.11
    BSD-2-Clause
    Used by 11 other packages
    08 Mar 2024
  7. printbox-html
    Documentation
    Printbox unicode handling
    Simon Cruanes Guillaume Bury lukstafi
    0.11
    BSD-2-Clause
    Used by 3 other packages
    08 Mar 2024
  8. printbox-md
    Documentation
    Printbox Markdown rendering
    Simon Cruanes Guillaume Bury lukstafi
    0.11
    BSD-2-Clause
    Used by 1 other packages
    08 Mar 2024
  9. printbox-text
    Documentation
    Text renderer for printbox, using unicode edges
    Simon Cruanes Guillaume Bury lukstafi
    0.11
    BSD-2-Clause
    Used by 8 other packages
    08 Mar 2024
  10. qbf
    Documentation
    QBF solving in OCaml, including bindings to solvers
    clib:quantor clib:qdpll clib:picosat
    Simon Cruanes
    0.3
    BSD-3-clause
    Used by 0 other packages
    13 Jan 2021
  11. qtest
    Documentation
    Lightweight inline test extraction from comments
    test property quickcheck
    Vincent Hugot <vincent.hugot@gmail.com> Simon Cruanes <simon.cruanes.2007@m4x.org
    2.11.2
    Used by 22 other packages
    12 Feb 2021
  12. sequence
    Documentation
    Simple and lightweight sequence abstract data type.
    sequence iterator iter fold
    Simon Cruanes
    1.1
    BSD-2-Clause
    Used by 10 other packages
    15 Jul 2018
  13. smbc
    Documentation
    Experimental model finder/SMT solver for functional programming
    logic narrowing model smt
    Simon Cruanes
    0.6.1
    Used by 0 other packages
    14 Nov 2019
  14. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 0 other packages
    17 Apr 2024
  15. sqlite3_utils
    Documentation
    High-level wrapper around ocaml-sqlite3
    sqlite3 gadt typed sql
    Simon Cruanes
    0.5
    MIT
    Used by 0 other packages
    04 Jan 2022
  16. tip-parser
    Documentation
    Parser for https://tip-org.github.io/format.html
    TIP parse inductive logic
    Simon Cruanes
    0.6
    Used by 1 other packages
    09 Feb 2019
  17. trace
    Documentation
    A stub for tracing/observability, agnostic in how data is collected
    trace tracing observability profiling
    Simon Cruanes
    0.8
    MIT
    Used by 12 other packages
    17 Sep 2024
  18. trace-fuchsia
    Documentation
    A high-performance backend for trace, emitting a Fuchsia trace into a file
    trace tracing fuchsia
    Simon Cruanes
    0.8
    MIT
    Used by 0 other packages
    17 Sep 2024
  19. trace-tef
    Documentation
    A simple backend for trace, emitting Catapult/TEF JSON into a file
    trace tracing catapult TEF chrome-format
    Simon Cruanes
    0.8
    MIT
    Used by 7 other packages
    17 Sep 2024
  20. tracy-client
    Documentation
    Client bindings to the Tracy profiler (v0.10)
    Bartosz Taudul Simon Cruanes
    0.5.1
    BSD-3-Clause
    Used by 0 other packages
    18 Sep 2024
  21. twirp_cohttp_lwt_unix
    Documentation
    Twirp client using cohttp-lwt-unix
    twirp protobuf client rpc curl
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    29 Jun 2024
  22. twirp_core
    Documentation
    Twirp core library
    twirp protobuf client rpc curl
    Simon Cruanes
    0.1
    MIT
    Used by 3 other packages
    29 Jun 2024
  23. twirp_ezcurl
    Documentation
    Twirp client using Ezcurl
    twirp protobuf client rpc curl
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    29 Jun 2024
  24. twirp_tiny_httpd
    Documentation
    Host Twirp services using Tiny_httpd
    twirp protobuf services rpc
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    29 Jun 2024
  25. zipperposition
    Documentation
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
  26. zipperposition-tools
    Documentation
    Support tools for Zipperposition
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021
1 2