Skip to content

This repo keeps track of my codes, answers and thinkings when exploring books.

License

Notifications You must be signed in to change notification settings

shouya/thinking-dumps

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

Dependently Typed Programming in Agda

The Algebra of Algebraic Data Types

Automata - Coursera

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

Understanding F-algebra

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.

Software Foundations

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.

https://lean-lang.org/theorem_proving_in_lean4/

Write Yourself a Scheme for 48 hours

About

This repo keeps track of my codes, answers and thinkings when exploring books.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published