x86CSS is a working CSS-only x86 CPU/emulator/computer. No JavaScript required.

Formalization of Mathematical Logic

A Lean companion to Analysis I

The "batteries included" extended library for the Lean programming language and theorem prover

A curated list of blockchain security Capture the Flag (CTF) competitions

用 Python 學習資訊科學

An unfinished implementation of the Tiger compiler.

Solutions to exercises of Modern Compiler Implementation in C book

🚀 Fast prime number generator

Theoretical solutions for LeetCode problems.

⛄ Possibly the smallest compiler ever

Security Camp 2021 & GCC 2022

A little Python library for making simple Electron-like HTML/JS GUI apps

本文详细分析了 Github Copilot 这个基于机器学习的代码自动补全工具的实现原理。作者通过逆向工程的方式,深入探索了 Copilot 的核心逻辑,包括代码提示的入口、获取提示的核心方法、以及相关的缓存策略、实验特性等。

IOI系列競賽通用滾榜程式(支援部分分)

Collections of Orange Tsai's public presentation slides.

This Repo consists of Data structures and Algorithms

ICPC codebook used by kiseki

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.

逢甲幹課

逢甲自動選課系統

fcu auto grab the course program(open source)

逢甲資訊系統自動化程式(含搶課程式、MyFCU)

Codebook for competitive programming

Collection of CTF Web challenges I made

My note about Cyber Security, in Chinese, English or Meow language

The ultimate Vim configuration (vimrc)

ICPC codebook used by kiseki

Somes tools and scripts