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/Math-basis-for-Infomation-Security
信息安全数学基础的课件、题目、算法实现
ayanamists/Digital-circuit-simplifier
a K-Graph simplify engine and a Synchronous counter generator
ayanamists/Graph-Theroy
中山大学《图论及其应用》课程的资料、作业、部分算法实现
ayanamists/awesome-lisp-machine
A curated list of awesome Lisp Machine and Lisp Operating System
ayanamists/BetaOS
An operating system written in Swift
ayanamists/birthday-card
a birthcad
ayanamists/calculator
Windows Calculator: A simple yet powerful calculator that ships with Windows
ayanamists/ChezScheme
Chez Scheme
ayanamists/ContactsToy
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/Datebase-Normal-Form
ayanamists/EquationSolver
An EquationSolver Used Newton Method
ayanamists/faas-fsharp-template
F# template for OpenFaaS-cli.
ayanamists/FRuby
A Ruby Interpreter
ayanamists/gui
ayanamists/IU-P423-P523-E313-E513-Fall-2020
Web page for IU Compiler Course for Fall 2020
ayanamists/libGraph
an educational repo for data structure and algorithm in SYSU
ayanamists/linux
Linux kernel source tree
ayanamists/Matrix-Haskell
Haskell example for matrix OJ
ayanamists/My-Leetcode
ayanamists/MY_SSL_IN_RUBY
An education-purpose ssl client which support few ssl features.
ayanamists/MyRegEngine
ayanamists/P2PDownload
A simple P2PDownload Protocol and Implement in C#
ayanamists/Prove
Prove Language is a programming language that you can use to prove your therom just like we do that in math.
ayanamists/QingQing
A client-server android app for me and qingqing
ayanamists/Set-Theory
Coq encoding of ZFC and formalization of the textbook Elements of Set Theory
ayanamists/sysu-ipv6
blog data
ayanamists/Temp-Teaching-
ayanamists/tube
Personal video streaming server.
ayanamists/x64dbg
An open-source x64/x32 debugger for windows.