Pinned Repositories
Analysis_TCP_in_Linux
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/Swiftfin
Native Jellyfin Client for iOS and tvOS
ayanamists/b2t
ayanamists/ayaseditor
A vscode extension supports edit on s-expression.
ayanamists/gallery-dl
Command-line program to download image galleries and collections from several image hosting sites
ayanamists/hexo-theme-one-paper
专注于写作，模拟纸张阅读感受的轻量 Hexo 主题。
ayanamists/hexo-theme-ascent
An opinionated Hexo theme for blogs with long blocks of text.
ayanamists/VSpaceCode
Spacemacs like keybindings for Visual Studio Code
ayanamists/CovidAnalysis
ayanamists/vspacecode.github.io
VSpaceCode website
ayanamists/TypeInf
HM Type system
ayanamists/fslang-design
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
ayanamists/vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]
ayanamists/Baby-Set-Theory
Coq集合论中文教程
ayanamists/friends
👥 Friends of @YunYouJun.
ayanamists/fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
ayanamists/tpg
Tree Proof Generator
ayanamists/gridsome-starter-blog
A simple, hackable & minimalistic starter for Gridsome that uses Markdown for content.
ayanamists/PyEval
ayanamists/inode_analysis
ayanamists/fourcolor
Formal proof of the Four Color Theorem
ayanamists/CryptoExpr
Sysu Crypto Expriment
ayanamists/AyaScheme
A Scheme Compiler for IU Compiler Course
ayanamists/vsc-prettify-symbols-mode
Prettify Symbols Mode for Visual Studio Code
ayanamists/cis194-solutions
Solutions for CIS 194 - Spring 2013
ayanamists/image-copy-move-detection
Copy-move forgery detection on digital image using Python
ayanamists/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
ayanamists/Matrix-Haskell
Haskell example for matrix OJ
ayanamists/My-Leetcode
ayanamists/gui
ayanamists/Set-Theory
Coq encoding of ZFC and formalization of the textbook Elements of Set Theory