Kensan is a user on You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

Moving this discussion with @networkservice from the birdsite over here: @yomimono or @hannesm surely know if people have tried crowbar on the BTC Piñata.

@Kensan @networkservice @hannesm
I've written/run a few crowbar tests on ocaml-x509, mostly because it's a nice test case for ppx_deriving_crowbar (complicated types, lots of stuff is abstract). mirage-tcpip is a little bit crowbar'd but could absolutely stand to be more heavily examined. I've done nothing with nocrypto or ocaml-tls.

@yomimono @Kensan @networkservice I'd be interested in people reporting crowbar-found issues... but have only ever crowbared my dns decoder