kragen / knuth-interview-2006Links
The transcript of a Donald Knuth interview in 2006
☆227Updated 8 years ago
Alternatives and similar repositories for knuth-interview-2006
Users that are interested in knuth-interview-2006 are comparing it to the libraries listed below
Sorting:
- Honest CVs from programmers☆233Updated 3 years ago
- My personal notes on various computer languages☆223Updated 4 years ago
- Sketchbook - Simple Teaching Assistant☆73Updated 5 years ago
- My implementations of deterministic and non-deterministic turing machines☆71Updated 2 years ago
- Interactive Structure and Interpretation of Computer Programs☆1,159Updated 5 years ago
- A hands-on, test driven guide to implementing a simple programming language☆553Updated 2 years ago
- A modernized and annotated code companion to Paul Graham's "On Lisp".☆330Updated 2 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 6 months ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆110Updated 9 years ago
- A cross between Hacker News and the Wayback Machine☆47Updated last year
- Luke Gorrie's blog☆566Updated 2 years ago
- A neatly typeset version of John McCarthy's classic paper☆124Updated 6 months ago
- rcor C compiler (under development)☆115Updated 8 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- A catalog of code worth reading☆112Updated 8 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆623Updated 4 years ago
- Chaotic Life☆44Updated 7 years ago
- Find surprising moves in chess games☆178Updated 4 years ago
- An AI/bot for 0 A.D.☆168Updated 8 years ago
- Algebraic Number Theory package☆271Updated 4 years ago
- A Git annex repository of papers☆706Updated 6 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Examples of literate programming by Knuth☆37Updated 2 months ago
- A framework of abstractions☆294Updated last year
- dead simple way to create semantic, nice to look at slides - without any dependencies☆148Updated 4 years ago
- Classic Hacker News stories☆144Updated 5 years ago
- Scalable C - The Book☆352Updated 2 years ago
- BloomFilter in python☆101Updated 8 years ago
- An example of PEG usage☆55Updated 8 years ago