Technical Debt Hunting

We try to nitpick, to add tests and to file pull-requests (PRs) to your codebase. You pay for what you merge.

Prices

Each PR specifies a rate in (*), (**) and (***).

On top of these, each logical error that we report and you acknowledge costs 70 EUR.

If you can license your codebase only under GPL, pay-as-you-merge doesn't work.

Languages

We can read C, C++, Python, Rust, Coq, Solidity, OCaml, Scheme, Isabelle/HOL and Haskell projects including English documentation.

Notes

Inquiry

If you are interested, send us an email.

Link to the top with the logo of Convenience Logician Hirai UG (haftungsbeschränkt)

Impressum

Convenience Logician Hirai UG (haftungsbeschränkt) info@convenience-logician.de
PGP fingerprint: 3EE77DEB29E2167E722CA33B6D984915DA3E2B46