Simon Cruanes

- keep runtime in one file (easy to vendor) - remove abstractions on writing, just output to a `Buffer.t`

- Isabelle/HOL is _not_ dependently typed, it probably belongs next to SML (it's written in SML and its core logic is also simply typed/prenex polymorphism) - next to Vampire, [E](http://www.eprover.org/)...

My use case is a bit different than in #637 but I think the solution could be the same. Basically I want to run command "foo", "bar", and "baz {A}...

basic tracing

4

This is WIP. I'm adding tracing to find why opam is so slow on my machine. It gives excellent insights on where time is spent (e.g after `opam upd`, all...

add Buffer.iter_chunks

21

Seems like some maintainers [agree with this idea](https://github.com/ocaml/ocaml/discussions/12881) so here we go! If I wanted to push my luck I'd also submit: ```ocaml val iter_chunks_look_no_need_for_closures : t -> ('ctx ->...

change the domain API?

11

Good morning, This is a bit of a wild one. A big caveat: I'm still quite new to OCaml 5 and actual parallelism in OCaml, so take this with a...

todo: wait until DynArray is merged in OCaml, and then smoothe over the differences

these tests need updating after the changes in how single-oneof messages are translated.

- add `[@pos_all]` - readme - update test

websocket upgrade?

2

I see in [curl's doc](https://curl.se/docs/websocket.html) that websockets are supported, but I don't see them in https://ygrek.org/p/ocurl/api/Curl.html . Is it explicitly not supported? Would it be a lot of work to...