Pinned Repositories
advent2024
ayanamists.github.io
ayaseditor
A vscode extension supports edit on s-expression.
Digital-circuit-simplifier
a K-Graph simplify engine and a Synchronous counter generator
Graph-Theroy
中山大学《图论及其应用》课程的资料、作业、部分算法实现
Math-basis-for-Infomation-Security
信息安全数学基础的课件、题目、算法实现
oh-my-old-tweet
A graceful, powerful and easy-to-use tool to see old (including deleted) tweets.
tw-list-dl
A gallery-dl based tool for automatic twitter achieving.
TypeInf
HM Type system
VSpaceCode
Spacemacs like keybindings for Visual Studio Code
ayanamists's Repositories
ayanamists/oh-my-old-tweet
A graceful, powerful and easy-to-use tool to see old (including deleted) tweets.
ayanamists/ayanamists.github.io
ayanamists/advent2024
ayanamists/ayanamists
ayanamists/cfgexplorer
Interactive Control Flow Graph Visualization.
ayanamists/chatgpt-md-translator
CLI to translate Markdown docs using ChatGPT API
ayanamists/ChatGPT-Next-Web
A cross-platform ChatGPT/Gemini UI (Web / PWA / Linux / Win / MacOS). 一键拥有你自己的跨平台 ChatGPT/Gemini 应用。
ayanamists/clojure
The Clojure programming language
ayanamists/doom-config
ayanamists/flycheck
On the fly syntax checking for GNU Emacs
ayanamists/gallery-dl
Command-line program to download image galleries and collections from several image hosting sites
ayanamists/ghc-prof-alg
ayanamists/gptel
A simple LLM client for Emacs
ayanamists/helix
A post-modern modal text editor.
ayanamists/LoveIt
❤️A clean, elegant but advanced blog theme for Hugo 一个简洁、优雅且高效的 Hugo 主题
ayanamists/meilisync
Realtime sync data from MySQL/PostgreSQL/MongoDB to Meilisearch
ayanamists/my-wiki
ayanamists/N46Whisper
Whisper based Japanese subtitle generator
ayanamists/ocaml
The core OCaml system: compilers, runtime system, base libraries
ayanamists/OI-wiki
:star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）
ayanamists/Panda.js
ayanamists/pandoc
Universal markup converter
ayanamists/pandoc_resume
The Markdown Resume
ayanamists/pangu-hs
ayanamists/PG
This repo is the new home of Proof General
ayanamists/public-slides
ayanamists/Tai-e
An easy-to-learn/use static analysis framework for Java
ayanamists/TheAlgorithmsJava
All Algorithms implemented in Java
ayanamists/tree-sitter
An incremental parsing system for programming tools
ayanamists/vimium
The hacker's browser.