{"id":22840540,"url":"https://github.com/shouya/thinking-dumps","last_synced_at":"2025-07-26T07:39:15.442Z","repository":{"id":19058884,"uuid":"22285392","full_name":"shouya/thinking-dumps","owner":"shouya","description":"This repo keeps track of my codes, answers and thinkings when exploring books.","archived":false,"fork":false,"pushed_at":"2024-03-16T11:09:58.000Z","size":43308,"stargazers_count":31,"open_issues_count":0,"forks_count":4,"subscribers_count":6,"default_branch":"master","last_synced_at":"2025-04-20T08:58:24.598Z","etag":null,"topics":["algorithm","coursera"],"latest_commit_sha":null,"homepage":null,"language":"Jupyter Notebook","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/shouya.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null}},"created_at":"2014-07-26T11:40:12.000Z","updated_at":"2025-04-01T20:41:22.000Z","dependencies_parsed_at":"2024-03-16T12:43:46.947Z","dependency_job_id":null,"html_url":"https://github.com/shouya/thinking-dumps","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/shouya%2Fthinking-dumps","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/shouya%2Fthinking-dumps/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/shouya%2Fthinking-dumps/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/shouya%2Fthinking-dumps/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/shouya","download_url":"https://codeload.github.com/shouya/thinking-dumps/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":251299796,"owners_count":21567310,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["algorithm","coursera"],"created_at":"2024-12-13T01:12:31.292Z","updated_at":"2025-04-28T10:50:37.470Z","avatar_url":"https://github.com/shouya.png","language":"Jupyter Notebook","funding_links":[],"categories":[],"sub_categories":[],"readme":"## thinking-dumps\n\nThis repo keeps track of my codes, answers and thinkings when exploring books.\n\nI like to learn things by repeating what others have done, from which I'd like to find something new.\n\nSo I name this repo \"Thinking dumps\".\n\nPlease feel free to use the codes or share your thinking with me.\n\n\n### [agda-tutorial](agda-tutorial)\n\n[Dependently Typed Programming in Agda](http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf)\n\n### [alg-adts](alg-adts)\n\n[The Algebra of Algebraic Data Types](https://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/)\n\n### [automata](automata)\n\n[Automata - Coursera](https://class.coursera.org/automata-003)\n\n### [bananas](bananas)\n\n[Functional Programming with Bananas, Lenses, Envelops, and Barbed Wires](http://eprints.eemcs.utwente.nl/7281/01/db-utwente-40501F46.pdf)\n\n### [cps](cps)\n\nAn implementation of a continuation passing style compiler from a custom lisp language into racket.\n\n### [cryptocurrency](cryptocurrency)\n\n[Bitcoin and Cryptocurrency Technologies - Coursera](https://www.coursera.org/learn/cryptocurrency)\n\n### [cs231n](cs231n)\n\n[ConvNet for Visual Recognition](https://cs231n.github.io/)\n\n### [ct4csist](ct4csist)\n\nMy notes on Benjamin C. Pierce's [Basic Category Theory for Computer\nScientists](https://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717).\n\n### [discrete-optimization](discrete-optimization)\n\n[Discrete Optimization - Coursera](https://www.coursera.org/course/optimization)\n\n### [essense](essense)\n\nSome trials while reading [The essense of functional programming](https://page.mi.fu-berlin.de/scravy/realworldhaskell/materialien/the-essence-of-functional-programming.pdf) by Philip Wadler\n\n### [falg](falg)\n\n[Understanding F-algebra](https://www.fpcomplete.com/user/bartosz/understanding-algebras)\n\n### [fixing-gadts](fixing-gadts)\n\nhttp://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html\n\n### [graph](graph)\n\nPersonal practice on Graph Algorithms\n\n(`Bloxorz.hs` implements DFS algorithms to find a solution of the\n[bloxorz game](http://www.coolmath-games.com/0-bloxorz/index.html))\n\n### [imp](imp)\n\nMy trial on formalize all theorems in B. Russell's\n[Introduction to Mathematical Philosophy](http://people.umass.edu/klement/imp/imp.html)\nwith Coq.\n\n### [lambda-red](lambda-red)\n\nAn untyped lambda reduction with haskell just for fun.\n\n### [lazy](lazy)\n\nPersonal pratice on implementing lazy evaluation. The implementation\nof the small language was moved out to become a standalone\nproject. See [loli](https://github.com/shouya/loli) for details.\n\n### [learnyouanagda](learnyouanagda)\n\n[learn you an agda and achieve enlightenment](http://learnyouanagda.liamoc.net/)\n\n### [munkres-topology](munkres-topology)\n\nMy learning note on Jame R. Munkres's Topology.\n\n### [neural-networks](neural-networks)\n\nMy solutions for [Neural Networks for Machine Learning - Coursera](https://www.coursera.org/learn/neural-networks)\n\n### [parprog](parprog)\n\nMy solutions for [Parallel programming - Coursera](https://www.coursera.org/learn/parprog1).\n\n### [progfun](progfun)\n\n[Functional Programming Principles in Scala - Coursera](https://class.coursera.org/progfun-005/class)\n\n### [progfun2](progfun2)\n\n[Functional Programming Design in Scala - Coursera](https://www.coursera.org/learn/progfun2)\n\n### [sicp](sicp)\n\nMy solutions to SICP exercises. See\n[my reading notes](https://shouya.github.com/page/sicp-notes/) about\nSICP on my blog.\n\n### [software-foundations](software-foundations)\n\n[Software Foundations](http://www.cis.upenn.edu/~bcpierce/sf/current/)\n\n### [transformer](transformer)\n\n[Monad Transformers: Step-By-Step](http://www.cs.virginia.edu/~wh5a/personal/Transformers.pdf)\n\n### [tsp](tsp)\n\nMy trials on implement various algorithms to solve\n[Travelling Salesman Problem](http://en.wikipedia.org/wiki/Travelling_salesman_problem).\n\n### [turi-notes](turi-notes)\n\nMy notes for \"Category Theory Lecture Notes\" by Daniele Turi.\n\nhttp://www.dcs.ed.ac.uk/home/dt/CT/\n\n### [lean](lean)\n\nMy notes on \"Theorem Proving in Lean 4\" by Jeremy Avigad, et al.\n\nhttps://lean-lang.org/theorem_proving_in_lean4/\n\n### [wys48h](wys48h)\n\n[Write Yourself a Scheme for 48 hours](http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fshouya%2Fthinking-dumps","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fshouya%2Fthinking-dumps","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fshouya%2Fthinking-dumps/lists"}