shreevatsa / knuth-literate-programs Goto Github PK
View Code? Open in Web Editor NEWExamples of literate programming by Knuth
Examples of literate programming by Knuth
I should clean up this repo; just jotting down here some ideas for next steps, as I don't have the time to spend on this right now:
Keep it up to date. (Last updated today, 2023-05-28.) Run make
(runs get-all.py
) manually from time to time, or automate the whole thing.
Use GitHub pages to have direct links to the PDFs (i.e. should be possible to link to the PDF in a browser). Without it, one only has GitHub's rendering, but that's not searchable, and can't link directly to a page or section. (Done 2023-05-28: e.g. https://shreevatsa.github.io/knuth-literate-programs/programs/cvm-estimates.pdf )
Maybe: Have a version of https://cs.stanford.edu/~knuth/programs.html in which the links are to the PDFs instead. (Would have to be very clear that this is not the real page, and link back to it.) Would also save the effort of documenting what these programs are. (Done 2023-05-28: https://shreevatsa.github.io/knuth-literate-programs/programs/)
Add some words about literate programming, introduction, links to the original papers, the WEB (not CWEB) programs, etc.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.