Poolo Lou's repositories
little-piece-crisps
Some of my scripts
eoc-proj
Implementation of Language in <<Essential of Compliation>>
000
eopl
my solutions to EOPL3
Language:Scheme000
langlang
A implementation of EoC(Python).
MIT000
pyim-greatdict
A chinese-pyim dict, which include three million words!
Language:Emacs Lisp000
scv-exercise
Smart Contract formal verification exercises.
Language:Python000