Pinned Repositories
aya-dev
A proof assistant and a dependently-typed language
2048-Ai
Bot playing 2048
2hujam2018
Submission for the 2018 Touhou Jam
ct-19-20
Emanon42.github.io
links
Links: Linking Theory to Practice for the Web
tspl-docker
holbert
A graphical interactive proof assistant designed for education
links
Links: Linking Theory to Practice for the Web
moonbit-docs
The docs of MoonBit programming language
Emanon42's Repositories
Emanon42/ct-19-20
Emanon42/Emanon42.github.io
Emanon42/links
Links: Linking Theory to Practice for the Web
Emanon42/path-test
Inf2D Assignment 1 Pathfinding algorithms testing framework
Emanon42/tspl-docker
Emanon42/2hujam2018
Submission for the 2018 Touhou Jam
Emanon42/acm-tactical-playground
Emanon42/AnalF_ck
淫夢プログラミング言語
Emanon42/blockVisualize
Emanon42/boa
Boa is an experimental Javascript lexer, parser and compiler written in Rust. Currently, it has support for some of the language.
Emanon42/cargo-inspect
Pssst!... see what Rust is doing behind the curtains 🕵🤫
Emanon42/comedian
a smile detector demo for edIntelligence hackathon
Emanon42/dashboard
Personalized news board, made using crawled data from websites!
Emanon42/DeepAA
make ASCII Art by Deep Learning
Emanon42/hermitPurple
Danmaku(bullet-hell) game engine
Emanon42/holbert
A graphical interactive proof assistant designed for education
Emanon42/inf2a-nlp
Emanon42/INFR10069-2019
IAML 2019 (L10) Assignment 2
Emanon42/linearsearch
Emanon42/links-lang.github.io
Links webpage, static content
Emanon42/MATLAB
Emanon42/mzlogin.github.io
:speak_no_evil: My Blog / Jekyll Themes
Emanon42/onefetch
Git repository summary on your terminal
Emanon42/os-coursework
Emanon42/practice-code-a-day
Emanon42/talent-plan
PingCAP training courses
Emanon42/tesseract
only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy
Emanon42/tower-grpc
A gRPC client & server implementation.
Emanon42/UbuntuAutoScript
Linux Auto Configuration Script for ubuntu 16.04,16.10
Emanon42/ziku_driver
Ema's prototype key-value server, in Rust