Pinned Repositories
Assemble-Interpreter
A simple interpreter that supports an assemble-style language.
Church-Numeral
An implementation of Church Numeral and several discussions about it.
Classical-Propositional-Calculus
A series of Haskell implementations of logic systems. This one is for the most simple propositional calculus.
CPS-Type
CPS type in Haskell and some exploration of it
Draw-a-Line
Algorithm implementation of drawing lines and circles.
My-French-Notebook
本书是笔者在Duolingo上学习法语的笔记。
Note-Convex-Optimization
Note: A series of my note on math or CS; this one is for Convex Optimization 凸优化
Pirate-Game
The ultimate solution of the Pirate Game. 海盗分金问题的终极解决方案。
Token-Path-Prediction
This is an unofficial implementation to the EMNLP 2023 paper: Reading Order Matters: Information Extraction from Visually-rich Documents by Token Path Prediction
USTC-formula-language-complier
中科大信院编译原理课设:数学公式的排版
WinterShiver's Repositories
WinterShiver/Note-Convex-Optimization
Note: A series of my note on math or CS; this one is for Convex Optimization 凸优化
WinterShiver/Token-Path-Prediction
This is an unofficial implementation to the EMNLP 2023 paper: Reading Order Matters: Information Extraction from Visually-rich Documents by Token Path Prediction
WinterShiver/USTC-formula-language-complier
中科大信院编译原理课设:数学公式的排版
WinterShiver/My-French-Notebook
本书是笔者在Duolingo上学习法语的笔记。
WinterShiver/Pirate-Game
The ultimate solution of the Pirate Game. 海盗分金问题的终极解决方案。
WinterShiver/Assemble-Interpreter
A simple interpreter that supports an assemble-style language.
WinterShiver/Church-Numeral
An implementation of Church Numeral and several discussions about it.
WinterShiver/Classical-Propositional-Calculus
A series of Haskell implementations of logic systems. This one is for the most simple propositional calculus.
WinterShiver/CPS-Type
CPS type in Haskell and some exploration of it
WinterShiver/Draw-a-Line
Algorithm implementation of drawing lines and circles.
WinterShiver/HPC
HPC Homework
WinterShiver/fudanDaily
使用GitHub Actions实现平安复旦全自动打卡
WinterShiver/Recursive-Data-Structures
The implementation and application of common data structures in a recursive manner.
WinterShiver/Simple-Text-Classification
A simple framework for text classification, including the parts of text vectorization, classification and cross validation.
WinterShiver/Simplest-Tail-Call-Optimization
Simplest tail call optimization (TCO) written in Python.
WinterShiver/WinterShiver.github.io