thinking-dumps
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.
agda-tutorial
Dependently Typed Programming in Agda
alg-adts
The Algebra of Algebraic Data Types
automata
bananas
Functional Programming with Bananas, Lenses, Envelops, and Barbed Wires
cps
An implementation of a continuation passing style compiler from a custom lisp language into racket.
cryptocurrency
Bitcoin and Cryptocurrency Technologies – Coursera
cs231n
ConvNet for Visual Recognition
ct4csist
My notes on Benjamin C. Pierce’s Basic Category Theory for Computer
Scientists.
discrete-optimization
Discrete Optimization – Coursera
essense
Some trials while reading The essense of functional programming by Philip Wadler
falg
fixing-gadts
http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html
graph
Personal practice on Graph Algorithms
(Bloxorz.hs implements DFS algorithms to find a solution of the
bloxorz game)
imp
My trial on formalize all theorems in B. Russell’s
Introduction to Mathematical Philosophy
with Coq.
lambda-red
An untyped lambda reduction with haskell just for fun.
lazy
Personal pratice on implementing lazy evaluation. The implementation
of the small language was moved out to become a standalone
project. See loli for details.
learnyouanagda
learn you an agda and achieve enlightenment
munkres-topology
My learning note on Jame R. Munkres’s Topology.
neural-networks
My solutions for Neural Networks for Machine Learning – Coursera
parprog
My solutions for Parallel programming – Coursera.
progfun
Functional Programming Principles in Scala – Coursera
progfun2
Functional Programming Design in Scala – Coursera
sicp
My solutions to SICP exercises. See
my reading notes about
SICP on my blog.
software-foundations
transformer
Monad Transformers: Step-By-Step
tsp
My trials on implement various algorithms to solve
Travelling Salesman Problem.
turi-notes
My notes for “Category Theory Lecture Notes” by Daniele Turi.
http://www.dcs.ed.ac.uk/home/dt/CT/