kragen / knuth-interview-2006
The transcript of a Donald Knuth interview in 2006
☆226Updated 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
- Interactive Structure and Interpretation of Computer Programs☆1,158Updated 5 years ago
- A modernized and annotated code companion to Paul Graham's "On Lisp".☆324Updated 2 years ago
- A neatly typeset version of John McCarthy's classic paper☆123Updated 3 months ago
- Sketchbook - Simple Teaching Assistant☆73Updated 4 years ago
- My personal notes on various computer languages☆223Updated 4 years ago
- My implementations of deterministic and non-deterministic turing machines☆70Updated last year
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆110Updated 8 years ago
- Examples of literate programming by Knuth☆37Updated 11 months ago
- Classic Hacker News stories☆144Updated 5 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- Source Codes for "A Pamphlet against R"☆99Updated 3 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆120Updated 12 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 2 months ago
- docs/specs for a tutorial site for a Common Lisp environment☆103Updated last year
- A toy Lisp interpreter and simple eval function☆145Updated last year
- Solutions to exercises from "Structure and Interpretation of Computer Programs" (SICP) by Abelson, Sussman and Sussman. A PDF version of …☆131Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A Wildflower IDE for touch devices.☆95Updated 9 years ago
- Ultra Tiny Compiler☆181Updated 6 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- Unix system programming in OCaml book☆288Updated 7 years ago
- Kenichi Asai's reflective programming language Black☆196Updated 3 years ago
- A formalization of category theory in the Coq proof assistant.☆95Updated 6 months ago
- MIU from GEB, circa 1980☆16Updated 8 years ago
- How many hours have you spent practicing programming?☆59Updated 4 years ago
- A cross between Hacker News and the Wayback Machine☆47Updated last year
- ☆124Updated last year
- Generate a mindmap from an org-mode file. Complete with annotations.☆82Updated 7 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago