https://github.com/pirapira/verbose-code-reading

Verboselly Logged Code Reading
https://github.com/pirapira/verbose-code-reading

Last synced: 26 days ago
JSON representation

Verboselly Logged Code Reading

• Host: GitHub
• URL: https://github.com/pirapira/verbose-code-reading
• Owner: pirapira
• Created: 2019-11-22T09:28:08.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2020-08-13T12:47:51.000Z (over 4 years ago)
• Last Synced: 2024-10-28T13:48:06.447Z (2 months ago)
• Size: 32.2 KB
• Stars: 2
• Watchers: 5
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Verbose Code Reading

I read open source code and log everything that comes to my mind.  It's not strictly about reading, because I might try building the code, running tests and so on.

For each codebase, I keep

* a verbose append-only log of my reading activity, and

* a stack of leftovers.

I allow myself to fix grammars and typos in the append-only log. I'll be also adding hyperlinks.

I read papers too, but probably only those with open source implementations.

## What to Read

* GRIN

* HOLZero

* K-Framework

* K verification of DAI

* ocamlc

* Z3

* Research papers that cite mine

If you have another idea, file a PR.

## Advertisement

[Technical Debt Huting](https://convenience-logician.de/tech-debt.html).

## Licence


This work is licensed under a Creative Commons Attribution 4.0 International License.  Yoichi Hirai .