Max Petrov's repositories
papers-reading-club
Materials from reading club
se-limitations-slr
Symbolic Execution Limitations - Systematic Literature Review
eo
EOLANG, an Experimental Object-Oriented Programming Language Based on 𝜑-calculus
Language:JavaMIT000
Language:Python000
MIT000
repo-stats
Simple statistics on file repository
000