Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/shouya/thinking-dumps

This repo keeps track of my codes, answers and thinkings when exploring books.
https://github.com/shouya/thinking-dumps

algorithm coursera

Last synced: 18 days ago
JSON representation

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

Awesome Lists containing this project

README 

        
## 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](agda-tutorial)



[Dependently Typed Programming in Agda](http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf)



### [alg-adts](alg-adts)



[The Algebra of Algebraic Data Types](https://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/)



### [automata](automata)



[Automata - Coursera](https://class.coursera.org/automata-003)



### [bananas](bananas)



[Functional Programming with Bananas, Lenses, Envelops, and Barbed Wires](http://eprints.eemcs.utwente.nl/7281/01/db-utwente-40501F46.pdf)



### [cps](cps)



An implementation of a continuation passing style compiler from a custom lisp language into racket.



### [cryptocurrency](cryptocurrency)



[Bitcoin and Cryptocurrency Technologies - Coursera](https://www.coursera.org/learn/cryptocurrency)



### [cs231n](cs231n)



[ConvNet for Visual Recognition](https://cs231n.github.io/)



### [ct4csist](ct4csist)



My notes on Benjamin C. Pierce's [Basic Category Theory for Computer

Scientists](https://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717).



### [discrete-optimization](discrete-optimization)



[Discrete Optimization - Coursera](https://www.coursera.org/course/optimization)



### [essense](essense)



Some 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



### [falg](falg)



[Understanding F-algebra](https://www.fpcomplete.com/user/bartosz/understanding-algebras)



### [fixing-gadts](fixing-gadts)



http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html



### [graph](graph)



Personal practice on Graph Algorithms



(`Bloxorz.hs` implements DFS algorithms to find a solution of the

[bloxorz game](http://www.coolmath-games.com/0-bloxorz/index.html))



### [imp](imp)



My trial on formalize all theorems in B. Russell's

[Introduction to Mathematical Philosophy](http://people.umass.edu/klement/imp/imp.html)

with Coq.



### [lambda-red](lambda-red)



An untyped lambda reduction with haskell just for fun.



### [lazy](lazy)



Personal pratice on implementing lazy evaluation. The implementation

of the small language was moved out to become a standalone

project. See [loli](https://github.com/shouya/loli) for details.



### [learnyouanagda](learnyouanagda)



[learn you an agda and achieve enlightenment](http://learnyouanagda.liamoc.net/)



### [munkres-topology](munkres-topology)



My learning note on Jame R. Munkres's Topology.



### [neural-networks](neural-networks)



My solutions for [Neural Networks for Machine Learning - Coursera](https://www.coursera.org/learn/neural-networks)



### [parprog](parprog)



My solutions for [Parallel programming - Coursera](https://www.coursera.org/learn/parprog1).



### [progfun](progfun)



[Functional Programming Principles in Scala - Coursera](https://class.coursera.org/progfun-005/class)



### [progfun2](progfun2)



[Functional Programming Design in Scala - Coursera](https://www.coursera.org/learn/progfun2)



### [sicp](sicp)



My solutions to SICP exercises. See

[my reading notes](https://shouya.github.com/page/sicp-notes/) about

SICP on my blog.



### [software-foundations](software-foundations)



[Software Foundations](http://www.cis.upenn.edu/~bcpierce/sf/current/)



### [transformer](transformer)



[Monad Transformers: Step-By-Step](http://www.cs.virginia.edu/~wh5a/personal/Transformers.pdf)



### [tsp](tsp)



My trials on implement various algorithms to solve

[Travelling Salesman Problem](http://en.wikipedia.org/wiki/Travelling_salesman_problem).



### [turi-notes](turi-notes)



My notes for "Category Theory Lecture Notes" by Daniele Turi.



http://www.dcs.ed.ac.uk/home/dt/CT/



### [lean](lean)



My notes on "Theorem Proving in Lean 4" by Jeremy Avigad, et al.



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



### [wys48h](wys48h)



[Write Yourself a Scheme for 48 hours](http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours)