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

Showing 51 - 80
  1. ocaml-protoc
    Documentation
    Pure OCaml compiler for .proto files
    protoc protobuf codegen
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    4.1
    MIT
    Used by 5 other packages
    29 Mar 2026
  2. 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
  3. 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 10 other packages
    06 Dec 2023
  4. pbrt
    Documentation
    Runtime library for Protobuf tooling
    protobuf encode decode
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    4.1
    MIT
    Used by 8 other packages
    29 Mar 2026
  5. 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
    4.1
    MIT
    Used by 2 other packages
    29 Mar 2026
  6. pbrt_yojson
    Documentation
    Runtime library for ocaml-protoc to support JSON encoding/decoding
    protobuf encode decode
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    4.1
    MIT
    Used by 4 other packages
    29 Mar 2026
  7. ppx_ezlua

    No documentation

    PPX deriving for Lua (ezlua)
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    14 Apr 2026
  8. ppx_trace
    Documentation
    A ppx-based preprocessor for trace
    trace ppx
    Simon Cruanes
    0.12
    MIT
    Used by 1 other packages
    03 Mar 2026
  9. printbox
    Documentation
    Allows to print nested boxes, lists, arrays, tables in several formats
    print box table tree
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 13 other packages
    07 Oct 2024
  10. printbox-ext-plot
    Documentation
    Printbox extension for plotting
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 1 other packages
    07 Oct 2024
  11. printbox-html
    Documentation
    Printbox unicode handling
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 3 other packages
    07 Oct 2024
  12. printbox-md
    Documentation
    Printbox Markdown rendering
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 2 other packages
    07 Oct 2024
  13. printbox-text
    Documentation
    Text renderer for printbox, using unicode edges
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 11 other packages
    07 Oct 2024
  14. 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
  15. 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 20 other packages
    12 Feb 2021
  16. sequence
    Documentation
    Simple sequence abstract datatype.
    Simon Cruanes
    0.2
    Used by 0 other packages
    21 Nov 2013
  17. 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
  18. 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
  19. tip-parser
    Documentation
    Parser for https://tip-org.github.io/format.html
    TIP parse inductive logic
    Simon Cruanes
    0.6
    Used by 0 other packages
    09 Feb 2019
  20. trace
    Documentation
    A lightweight stub for tracing/observability, agnostic in how data is collected
    trace tracing observability profiling
    Simon Cruanes
    0.12
    MIT
    Used by 15 other packages
    03 Mar 2026
  21. trace-fuchsia
    Documentation
    A high-performance backend for trace, emitting a Fuchsia trace into a file
    trace tracing fuchsia
    Simon Cruanes
    0.12
    MIT
    Used by 1 other packages
    03 Mar 2026
  22. trace-runtime-events
    Documentation
    A simple collector relying on runtime-events for OCaml 5. Some assembly required
    trace tracing trace runtime-events
    Simon Cruanes
    0.12
    MIT
    Used by 0 other packages
    03 Mar 2026
  23. trace-tef
    Documentation
    A simple backend for trace, emitting Catapult/TEF JSON into a file
    trace tracing catapult TEF chrome-format chrome-trace json
    Simon Cruanes
    0.12
    MIT
    Used by 8 other packages
    03 Mar 2026
  24. tracy-client

    No documentation

    Client bindings to the Tracy profiler (v0.13)
    Bartosz Taudul Simon Cruanes
    0.7.1
    BSD-3-Clause
    Used by 0 other packages
    25 Apr 2026
  25. twirp_cohttp_lwt_unix
    Documentation
    Twirp client using cohttp-lwt-unix
    twirp protobuf client rpc curl
    Simon Cruanes
    0.2
    MIT
    Used by 0 other packages
    18 Apr 2025
  26. twirp_core
    Documentation
    Twirp core library
    twirp protobuf client rpc curl
    Simon Cruanes
    0.2
    MIT
    Used by 3 other packages
    18 Apr 2025
  27. twirp_ezcurl
    Documentation
    Twirp client using Ezcurl
    twirp protobuf client rpc curl
    Simon Cruanes
    0.2
    MIT
    Used by 0 other packages
    18 Apr 2025
  28. twirp_tiny_httpd
    Documentation
    Host Twirp services using Tiny_httpd
    twirp protobuf services rpc
    Simon Cruanes
    0.2
    MIT
    Used by 0 other packages
    18 Apr 2025
  29. 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
  30. 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