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

Showing 51 - 80
  1. nanoev_tiny_httpd

    No documentation

    Use nanoev as a basis for tiny_httpd
    nanoev http
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    12 May 2025
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. ppx_trace

    No documentation

    A ppx-based preprocessor for trace
    trace ppx
    Simon Cruanes
    0.9.1
    MIT
    Used by 0 other packages
    10 Apr 2025
  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 12 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 10 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. 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
  18. 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
  19. 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
  20. 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
  21. trace

    No documentation

    A stub for tracing/observability, agnostic in how data is collected
    trace tracing observability profiling
    Simon Cruanes
    0.9.1
    MIT
    Used by 13 other packages
    10 Apr 2025
  22. trace-fuchsia

    No documentation

    A high-performance backend for trace, emitting a Fuchsia trace into a file
    trace tracing fuchsia
    Simon Cruanes
    0.9.1
    MIT
    Used by 0 other packages
    10 Apr 2025
  23. trace-tef

    No documentation

    A simple backend for trace, emitting Catapult/TEF JSON into a file
    trace tracing catapult TEF chrome-format
    Simon Cruanes
    0.9.1
    MIT
    Used by 8 other packages
    10 Apr 2025
  24. tracy-client
    Documentation
    Client bindings to the Tracy profiler (v0.10)
    Bartosz Taudul Simon Cruanes
    0.5.2
    BSD-3-Clause
    Used by 0 other packages
    14 Jan 2025
  25. twirp_cohttp_lwt_unix

    No 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

    No 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

    No 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

    No 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