The transcript of a Donald Knuth interview in 2006
☆229Sep 21, 2016Updated 9 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- My accepted! proposal for the unitary fund quantum computing grant. Also accepted as an abstract to a conference. See github.com/LSaldyt/…☆12Jan 12, 2019Updated 7 years ago
- Propositional logic in terms of if-then-else☆15Jul 15, 2017Updated 9 years ago
- Benchmarks for a few iterator patterns in Go☆21Jul 27, 2026Updated 2 weeks ago
- SFSlite C++ development libraries☆54Jan 8, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Arcan Workbench, Desktop- like script for Arcan [INACTIVE]☆10Jul 1, 2017Updated 9 years ago
- Yes, really!☆11May 8, 2015Updated 11 years ago
- Generative Grammar Compiler☆19Nov 1, 2016Updated 9 years ago
- A bare bones lisp parser & interpreter☆11Jan 26, 2021Updated 5 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆22Jan 2, 2025Updated last year
- ☆13Dec 17, 2019Updated 6 years ago
- ☆12Sep 23, 2021Updated 4 years ago
- Personal logging☆44Oct 13, 2016Updated 9 years ago
- Brainfuck formalized in Coq☆32Mar 29, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- X11 status bar with beveled borders☆14Nov 14, 2024Updated last year
- My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.☆12Aug 8, 2017Updated 9 years ago
- Snake in 100 lines of ClojureScript using Reagent for a #TechTalk at UCT☆21May 15, 2023Updated 3 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Oct 16, 2022Updated 3 years ago
- Sample workflows for titanoboa☆17Dec 5, 2020Updated 5 years ago
- Example how to run a Caffe instance on EC2☆126Jun 22, 2020Updated 6 years ago
- YourKit from the REPL☆13Sep 21, 2016Updated 9 years ago
- Maintain a lower-bitrate copy of a music library in sync with the main copy.☆20Jul 24, 2026Updated 2 weeks ago
- Rewrite of CTime by Casey Muratori in Odin☆11Jan 30, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- com2txt tool (from 1993)☆31Feb 5, 2018Updated 8 years ago
- ☆28Aug 1, 2026Updated last week
- An interpreter for Gödel's System T☆13Apr 17, 2017Updated 9 years ago
- A JRuby ext wrapping Clojure's data structs as efficiently as possible☆21May 27, 2014Updated 12 years ago
- Prototype smart text editor☆1,078Feb 28, 2026Updated 5 months ago
- ☆49Nov 15, 2016Updated 9 years ago
- Regular path expressions for Java object networks and Clojure data structures.☆16Oct 31, 2014Updated 11 years ago
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆31Jan 28, 2020Updated 6 years ago
- A SAT-Sampler aided language for experimental design, targeted for Psychology & Neuroscience☆19May 4, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Challenges from CSAW 2019 Pwn Race Edition☆12Nov 8, 2019Updated 6 years ago
- Command rewriter☆18Sep 28, 2016Updated 9 years ago
- Janet bindings to libuv☆17May 28, 2022Updated 4 years ago
- A type of light spherical helmet☆18Jun 11, 2024Updated 2 years ago
- Link to preprints for POPL'17 and co-located events☆100Mar 15, 2017Updated 9 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Dec 21, 2015Updated 10 years ago