2 repositories on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
Simple tool for memory leak detection in programs written in simple C-like language
Term paper and research on program synthesis at SPBU