82 search results for "author:"simon cruanes""

Showing 51 - 82
  1. nanoev-posix
    Documentation
    Use mtime+iomux (posix compliant) as a backend for nanoev
    unix select async iomux nanoev
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  2. nanoev_tiny_httpd
    Documentation
    Use nanoev as a basis for tiny_httpd
    nanoev http
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  3. 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
    Added to opam-repository
  4. olinq
    Documentation
    LINQ inspired queries on in-memory data
    linq query join group collection
    Simon Cruanes
    0.3
    Used by 0 other packages
    Added to opam-repository
  5. 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
    Added to opam-repository
  6. 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
    Added to opam-repository
  7. 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
    Added to opam-repository
  8. 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
    Added to opam-repository
  9. ppx_ezlua
    Documentation
    PPX deriving for Lua (ezlua)
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  10. ppx_trace
    Documentation
    A ppx-based preprocessor for trace
    trace ppx
    Simon Cruanes
    0.12
    MIT
    Used by 1 other packages
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. printbox-ext-plot
    Documentation
    Printbox extension for plotting
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  13. printbox-html
    Documentation
    Printbox unicode handling
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 3 other packages
    Added to opam-repository
  14. printbox-md
    Documentation
    Printbox Markdown rendering
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 2 other packages
    Added to opam-repository
  15. printbox-text
    Documentation
    Text renderer for printbox, using unicode edges
    Simon Cruanes Guillaume Bury lukstafi
    0.12
    BSD-2-Clause
    Used by 12 other packages
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. 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
    Added to opam-repository
  18. sequence
    Documentation
    Simple sequence abstract datatype.
    Simon Cruanes
    0.2
    Used by 0 other packages
    Added to opam-repository
  19. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  20. sqlite3_utils
    Documentation
    High-level wrapper around ocaml-sqlite3
    sqlite3 gadt typed sql
    Simon Cruanes
    0.5
    MIT
    Used by 0 other packages
    Added to opam-repository
  21. 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
    Added to opam-repository
  22. 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
    Added to opam-repository
  23. 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
    Added to opam-repository
  24. 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
    Added to opam-repository
  25. 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
    Added to opam-repository
  26. tracy-client
    Documentation
    Client bindings to the Tracy profiler (v0.13)
    Bartosz Taudul Simon Cruanes
    0.7.1
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  27. 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
    Added to opam-repository
  28. twirp_core
    Documentation
    Twirp core library
    twirp protobuf client rpc curl
    Simon Cruanes
    0.2
    MIT
    Used by 3 other packages
    Added to opam-repository
  29. twirp_ezcurl
    Documentation
    Twirp client using Ezcurl
    twirp protobuf client rpc curl
    Simon Cruanes
    0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  30. twirp_tiny_httpd
    Documentation
    Host Twirp services using Tiny_httpd
    twirp protobuf services rpc
    Simon Cruanes
    0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  31. 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
    Added to opam-repository
  32. 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
    Added to opam-repository
1 2