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

    No 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

    No 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

    No 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

    No 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

    No 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

    No 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.10
    MIT
    Used by 0 other packages
    28 May 2025
  9. printbox

    No 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

    No 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

    No 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

    No 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

    No 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

    No 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

    No 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

    No documentation

    Simple sequence abstract datatype.
    Simon Cruanes
    0.2
    Used by 0 other packages
    21 Nov 2013
  17. smbc

    No 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

    No 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

    No 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

    No 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.10
    MIT
    Used by 13 other packages
    28 May 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.10
    MIT
    Used by 0 other packages
    28 May 2025
  23. trace-tef

    No 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.10
    MIT
    Used by 8 other packages
    28 May 2025
  24. tracy-client

    No documentation

    Client bindings to the Tracy profiler (v0.12)
    Bartosz Taudul Simon Cruanes
    0.6
    BSD-3-Clause
    Used by 0 other packages
    09 Jun 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

    No 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

    No 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