This repo keeps track of my codes, answers and thinkings when exploring books.
I like to learn things by repeating what others have done, from which I’d like to find something new.
So I name this repo “Thinking dumps”.
Please feel free to use the codes or share your thinking with me.
Dependently Typed Programming in Agda
The Algebra of Algebraic Data Types
Functional Programming with Bananas, Lenses, Envelops, and Barbed Wires
An implementation of a continuation passing style compiler from a custom lisp language into racket.
Bitcoin and Cryptocurrency Technologies – Coursera
ConvNet for Visual Recognition
My notes on Benjamin C. Pierce’s Basic Category Theory for Computer
Discrete Optimization – Coursera
Some trials while reading The essense of functional programming by Philip Wadler
Personal practice on Graph Algorithms
Bloxorz.hs implements DFS algorithms to find a solution of the
My trial on formalize all theorems in B. Russell’s
Introduction to Mathematical Philosophy
An untyped lambda reduction with haskell just for fun.
Personal pratice on implementing lazy evaluation. The implementation
of the small language was moved out to become a standalone
project. See loli for details.
learn you an agda and achieve enlightenment
My learning note on Jame R. Munkres’s Topology.
My solutions for Neural Networks for Machine Learning – Coursera
My solutions for Parallel programming – Coursera.
Functional Programming Principles in Scala – Coursera
Functional Programming Design in Scala – Coursera
My solutions to SICP exercises. See
my reading notes about
SICP on my blog.
Monad Transformers: Step-By-Step
My trials on implement various algorithms to solve
Travelling Salesman Problem.
My notes for “Category Theory Lecture Notes” by Daniele Turi.