I'm trying to write a static analyzer for Lua programming language. And I've ready done some parts, say, lexer/parser/AST/types...etc.
The challenge part at present, is to write comment-based type annotation, for later type-inference. I plan to implement it in a week. I've spent years on this area. Hope I'm lucky in hackweek.
Looking for mad skills in:
scheme compiler actuallyidon'texceptanyhelp
This project is part of:
Hack Week 13
or: Static Analysis of nil Values in Ruby Code ...
LVM support for Guix System Distribution
openSUSE lacks useable cross-compilers to glibc...