Pinned Loading

1. HighDream HighDream Public

   HighDream is a symbolic computation tool based on Python and SymPy. With a modular design, it uses Breadth-First Search (BFS) and rule-based pattern matching to automatically solve mathematical pro…

   Python

2. MyBlog MyBlog Public

   A minimalist personal blog featuring a unique chat-style layout, built with Vue 3 and Vite.

   Vue

3. lambda-calculus-interpreter lambda-calculus-interpreter Public

   A Haskell-based lambda calculus interpreter with Church numerals, Church booleans, macro definitions, and REPL. Includes both a minimal core and an enhanced version supporting file loading and exte…

   Haskell

4. word-segmentation word-segmentation Public

   中文文本分析工具箱

   C++