Agda!
FGO-Automata. 一个FGO脚本和API フェイトグランドオーダー自動化
124FGO-One. Redesigned FGO Script
49FGO_Battle. An auto-battle script for Fate/Grand Order
24Bai_Sema. A script for bai semi breakthrough in Onmyoji
10jian. A Wenyan markdown language concept
6lost-avalon. Write python in Wenyanwen...
6Card_Drawing. A card drawing script of Onmyoji
5brainfuck. A tiny Brainfuck interpreter written in Haskell.
5site-hakyll-archive. Personal web page backup :)
4sicp. SICP exercises in Haskell or Racket
4scheme. Write You a Scheme
3waka-box. 📊 Update a pinned gist to contain your weekly WakaTime stats
32048. 2048 in 60 lines of Haskell
3MrCalc. A simple program to calculate molecular mass :)
3Playground. Play with some codes :)
3meowcolm024.
3has-go. a simple extension to run Haskell in VSCode
3euro. Euro-English Converter
3pfds. Purely functional data structure in Haskell
3hexo-one. A VSCode extension making Hexo easier to use
3img2code. Convert images to comments in your code :)
3haskell-runner-2. The next Haskell Runner
2euler. Solving quiz from projecteuler, using Haskell
2cl-gal. Python
2Meruto. Swift
2lambda-rkt. lambda-calculus interpreter in Racket
2CodeWars. CodeWars Katas solved (or at least trying..)
2Typora-i18n. Translating resources for Typora
2ElecSim. ELEC 1100 robot car simulator
2FGO. 自定义FGO英灵卡面
2fwlab. CS-550 whatever
2vscode-hakyll. Simple Hakyll support for VSCode
2Enigma. Enigma Machine in Haskell
2wp-twentyseventeen. hakyll version of this popular wordpress theme. still a work in progress.
2Rstestrios. Learning C++
2HsProof. A simple proof assistant in Haskell
2hexo-theme-ochuunn. A simple green super hexo theme.
2hanzi2pinyin. Haskell lib to convert Hanzi to Pinyin
2mlscript-mode. Emacs Lisp
1nsML. Haskell
1naviedit. Rust
1mipssc. Scala
1rustlings-backup.
1jsonderive. type class derivation
1chat. Haskell
1mlscript. Principal Type Inference for Object-Oriented Programming in a Boolean Algebra of Types
1DOT. Haskell
1amy3. A subset of the Scala Programming Language
1TypedGO. Typesafe Fate/GO
1scheme-hs. Haskell
1naive-proof. naive proof assistant written in racket
1snake. Rust
1YoRHa-Manic. a shooting game written in Python (using pygame)
1Lambda. Haskell
1MCTestMod. Java
1