7 search results for "author:"simon@imandra.ai""

Showing 1 - 7
  1. Tracing system based on the Catapult/TEF format
    0.2
    MIT
    Used by 6 other packages
    Added to opam-repository
  2. Network client for catapult, to be paired with catapult-daemon
    0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  3. Daemon for reliable multi-process logging with catapult
    0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  4. File logger for catapult
    0.2
    MIT
    Used by 2 other packages
    Added to opam-repository
  5. Sqlite-based backend for Catapult tracing
    0.2
    MIT
    Used by 1 other packages
    Added to opam-repository
  6. Bencode backend for decoders
    1.0.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  7. 1.0.0
    ISC
    Used by 0 other packages
    Added to opam-repository