All Projects → Javran → Thinking-dumps

Javran / Thinking-dumps

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

Programming Languages

Coq
218 projects
racket
414 projects
scheme
763 projects
haskell
3896 projects
TeX
3793 projects
c
50402 projects - #5 most used programming language

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.

That's why this repo is called "Thinking dumps".

Please feel free to use the codes or share your thinking with me.

Completed

Seven Languages in Seven Weeks

Author: Bruce A. Tate

Version: Simplified Chinese-language version

Directory: 7-lang-in-7-wk

Teach Yourself Scheme in Fixnum Days

Author: Dorai Sitaram

Link: t-y-scheme

Directory: ty-scheme

Learn You The Node.js For Much Win!

Link: learnyounode

Directory: learnyounode

H-99: Ninety-Nine Haskell Problems

Directory: h-99

Working

Structure and Interpretation of Computer Programs (SICP)

Link: SICP

Directory: sicp

Essentials of Programming Languages (EOPL)

Link: EOPL

Directory: eopl

Software Foundations

Link: Software Foundations

Directory: software-foundations

Programming F-Sharp

Author: Chris Smith

Directory: programming-fs

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].