gle's starred repositories
plfa.github.io
An introduction to programming language theory in Agda
makemeahanzi
Free, open-source Chinese character data
hanzi-writer
Chinese character stroke order animations and practice quizzes
jquery-drawsvg
Lightweight, simple to use jQuery plugin to animate SVG paths
cchessboardjs
This repo will be updated in https://github.com/lengyanyu258/xiangqiboardjs
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
on-rust-and-nim
A first experience with Rust
libseccomp
The main libseccomp repository
build-your-own-x
Master programming by recreating your favorite technologies from scratch.
YCM-Generator
Generates config files for YouCompleteMe (https://github.com/Valloric/YouCompleteMe)
felixge.de
My site and blog.
node-style-guide
A guide for styling your node.js / JavaScript code. Fork & adjust to your taste.
poetry-calendar
✨🗓✨一个美炸天的诗词周历 , 52个周给你新的体验。
MisterQueen
A chess engine written in C.