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 Scientists.
Discrete Optimization - Coursera
Some trials while reading The essense of functional programming by Philip Wadler
http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html
Personal practice on Graph Algorithms
(Bloxorz.hs implements DFS algorithms to find a solution of the
bloxorz game)
My trial on formalize all theorems in B. Russell's Introduction to Mathematical Philosophy with Coq.
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.
http://www.dcs.ed.ac.uk/home/dt/CT/
My notes on "Theorem Proving in Lean 4" by Jeremy Avigad, et al.