Comcx's Projects
My configurations of workspace
Agda is fun
My own private algorithm library including data structure and some classic algorithms
Astro programming Language Engine
Experimental OS level Programming Language
A curated list of awesome Lisp Machine and Lisp Operating System
Automatically exported from code.google.com/p/google-code-prettify
A new trial of making a compiler
My record of CodeWars
Self
My own website
吴恩达老师的机器学习课程个人笔记
List of Computer Science courses with video lectures.
My personal records while learning CS143 Compilers of Stanford
learning note of CSAPP
Cython
deeplearning.ai(吴恩达老师的深度学习课程笔记及资源)
Encoding of English encoding!
Fighting with Ender Dragon
:memo: A text file containing 479k English words for all your dictionary/word-based projects e.g: auto-completion / autosuggestion
stack
solutions for problems/puzzles from a variety of websites in fancy languages
small strange? game?
:books: Freely available programming books
My solutions on Haskell-99 problems
emacs新手入门资料汇集地
Haskell Programming From First Principles - Follow-up Resources
A Dependently Typed Functional Programming Language
Encoding and decoding images in Rust