Pinned Repositories
braindump
Generates automatic reports for DeepDive runs
CS108XML
XML for some quizzes for CS108's quiz project
eaforum
EA Forum
lua-rust
https://notes.eatonphil.com/lua-in-rust.html
luacheck
A tool for linting and static analysis of Lua code.
luarocks
LuaRocks is the package manager for the Lua programming language.
Penlight
A set of pure Lua libraries focusing on input data handling (such as reading configuration files), functional programming (such as map, reduce, placeholder expressions,etc), and OS path management. Much of the functionality is inspired by the Python standard libraries.
phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
phpmd
PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.
SEA-Website
Stanford EA Website
arichard4's Repositories
arichard4/SEA-Website
Stanford EA Website
arichard4/braindump
Generates automatic reports for DeepDive runs
arichard4/CS108XML
XML for some quizzes for CS108's quiz project
arichard4/eaforum
EA Forum
arichard4/lua-rust
https://notes.eatonphil.com/lua-in-rust.html
arichard4/luacheck
A tool for linting and static analysis of Lua code.
arichard4/luarocks
LuaRocks is the package manager for the Lua programming language.
arichard4/Penlight
A set of pure Lua libraries focusing on input data handling (such as reading configuration files), functional programming (such as map, reduce, placeholder expressions,etc), and OS path management. Much of the functionality is inspired by the Python standard libraries.
arichard4/phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
arichard4/phpmd
PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.
arichard4/sile
Simon’s Improved Layout Engine