Projects in Awesome Lists by tornado80
A curated list of projects in awesome lists by tornado80 .
https://github.com/tornado80/compiler-course-project
Pascal language compiler
ast code-generation compiler visitor-pattern
Last synced: 25 Apr 2026
https://github.com/tornado80/review-of-introduction-to-toc
A short review of Introduction to Theory of Computation course instructed by Dr. Zare-Mirakabad at Amirkabir University of Technology, Spring 2021
Last synced: 25 Apr 2026
https://github.com/tornado80/easycrypt-vscode-ide
A VSCode extension for EasyCrypt Proof Assistant
Last synced: 25 Apr 2026
https://github.com/tornado80/rikudo-puzzle-solver
Rikudo puzzle solver implemented in Python as Artificial Intelligence Final Project
Last synced: 25 Apr 2026