Beast code in Giters

Yike Zhou's repositories

Slightly enhanced pipecheck in Scala.

Language:Scala100

WARNING: DEPRECATED!!! For SysY Language.

Language:C++020

《计算机体系结构（第2版）》课后习题

Language:HTML020

backup for "rc" files

Language:Vim Script020

Code repository for Coppelia tool

Language:VerilogApache-2.0000

Written down before my last try of csp in 2020-9. Including some of my solutions in Python.

Language:Python020

Configuration for LazyVim

Language:LuaApache-2.0000

Lipsi: Probably the Smallest Processor in the World

Language:ScalaNOASSERTION010

Language:CoqLGPL-2.1000

pySMT: A library for SMT formulae manipulation and solving

Language:PythonApache-2.0000

A simulator for renaming process in modern processors.

Language:ScalaMIT000

My vegetable exploded.

Language:Standard ML000

Language:Python000

A jekyll based resume template

Language:HTMLGPL-3.0010

Language:SCSS010