thinking-dumps
thinking-dumps copied to clipboard
shouya
This repo keeps track of my codes, answers and thinkings when exploring books.
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/
lean
My notes on "Theorem Proving in Lean 4" by Jeremy Avigad, et al.
https://lean-lang.org/theorem_proving_in_lean4/
shouya