Technical Debt Hunting

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

Prices

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

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