Lysanleo's repositories
little-piece-crisps
Some of my scripts
eopl
my solutions to EOPL3
Language:Scheme000
pyim-greatdict
A chinese-pyim dict, which include three million words!
Language:Emacs Lisp000
scv-exercise
Smart Contract formal verification exercises.