git @ Cat's Eye Technologies The-Glosscubator / 8ef3341
Generate that index in full Chris Pressey 9 months ago
2 changed file(s) with 93 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
2020 <!-- /TOTALS -->
2121
2222 <!-- TOPICS -->
23
24 * [6502](by-topic/6502/)
25 * [Abstract Algebra](by-topic/Abstract%20Algebra/)
26 * [Agile Development](by-topic/Agile%20Development/)
27 * [Algebraic Logic](by-topic/Algebraic%20Logic/)
28 * [Algorithms](by-topic/Algorithms/)
29 * [Apple II](by-topic/Apple%20II/)
30 * [Artificial Intelligence](by-topic/Artificial%20Intelligence/)
31 * [Attribute Grammars](by-topic/Attribute%20Grammars/)
32 * [Automata Theory](by-topic/Automata%20Theory/)
33 * [BASIC](by-topic/BASIC/)
34 * [Bioinformatics](by-topic/Bioinformatics/)
35 * [Category Theory](by-topic/Category%20Theory/)
36 * [Chaos Theory](by-topic/Chaos%20Theory/)
37 * [Closure Systems](by-topic/Closure%20Systems/)
38 * [Combinatorics](by-topic/Combinatorics/)
39 * [Commodore 64](by-topic/Commodore%2064/)
40 * [Compiler Construction](by-topic/Compiler%20Construction/)
41 * [Computational Complexity](by-topic/Computational%20Complexity/)
42 * [Constraint Programming](by-topic/Constraint%20Programming/)
43 * [Coq](by-topic/Coq/)
44 * [DOM](by-topic/DOM/)
45 * [DOS](by-topic/DOS/)
46 * [Dafny](by-topic/Dafny/)
47 * [Docker](by-topic/Docker/)
48 * [Electronics](by-topic/Electronics/)
49 * [Electronics Projects](by-topic/Electronics%20Projects/)
50 * [Equational Logic](by-topic/Equational%20Logic/)
51 * [FoM](by-topic/FoM/)
52 * [Formal Language](by-topic/Formal%20Language/)
53 * [Functional Programming](by-topic/Functional%20Programming/)
54 * [Game Design](by-topic/Game%20Design/)
55 * [Game Development](by-topic/Game%20Development/)
56 * [Games](by-topic/Games/)
57 * [Genetic Programming](by-topic/Genetic%20Programming/)
58 * [Group Theory](by-topic/Group%20Theory/)
59 * [Haskell](by-topic/Haskell/)
60 * [Image Formats](by-topic/Image%20Formats/)
61 * [Incompleteness](by-topic/Incompleteness/)
62 * [JavaScript](by-topic/JavaScript/)
63 * [Lambda Calculus](by-topic/Lambda%20Calculus/)
64 * [Linguistics](by-topic/Linguistics/)
65 * [Lisp](by-topic/Lisp/)
66 * [Literature](by-topic/Literature/)
67 * [Logic](by-topic/Logic/)
68 * [Logic Programming](by-topic/Logic%20Programming/)
69 * [Lua](by-topic/Lua/)
70 * [Macros](by-topic/Macros/)
71 * [Mathematics](by-topic/Mathematics/)
72 * [Modal Logic](by-topic/Modal%20Logic/)
73 * [Model Checking](by-topic/Model%20Checking/)
74 * [Name Binding](by-topic/Name%20Binding/)
75 * [Nautilus](by-topic/Nautilus/)
76 * [Numerical Analysis](by-topic/Numerical%20Analysis/)
77 * [Order Theory](by-topic/Order%20Theory/)
78 * [PLDI](by-topic/PLDI/)
79 * [Parsing](by-topic/Parsing/)
80 * [Partial Evaluation](by-topic/Partial%20Evaluation/)
81 * [Pascal](by-topic/Pascal/)
82 * [Philosophy](by-topic/Philosophy/)
83 * [Phraseology](by-topic/Phraseology/)
84 * [Physics](by-topic/Physics/)
85 * [Probability Theory](by-topic/Probability%20Theory/)
86 * [Programming Languages](by-topic/Programming%20Languages/)
87 * [Prolog](by-topic/Prolog/)
88 * [Proof Theory](by-topic/Proof%20Theory/)
89 * [Public Domain](by-topic/Public%20Domain/)
90 * [Python](by-topic/Python/)
91 * [Reactive Systems](by-topic/Reactive%20Systems/)
92 * [Recreational Mathematics](by-topic/Recreational%20Mathematics/)
93 * [Refinement Calculus](by-topic/Refinement%20Calculus/)
94 * [Relational Programming](by-topic/Relational%20Programming/)
95 * [Retrocomputing](by-topic/Retrocomputing/)
96 * [Scheme](by-topic/Scheme/)
97 * [Shell Scripting](by-topic/Shell%20Scripting/)
98 * [Software Engineering](by-topic/Software%20Engineering/)
99 * [Specification](by-topic/Specification/)
100 * [TRS-80](by-topic/TRS-80/)
101 * [Technology](by-topic/Technology/)
102 * [Term Rewriting](by-topic/Term%20Rewriting/)
103 * [Theorem Proving](by-topic/Theorem%20Proving/)
104 * [Theory of Computation](by-topic/Theory%20of%20Computation/)
105 * [Topology](by-topic/Topology/)
106 * [Type Systems](by-topic/Type%20Systems/)
107 * [Type Theory](by-topic/Type%20Theory/)
108 * [Unification](by-topic/Unification/)
109 * [User Interface](by-topic/User%20Interface/)
110 * [VIC-20](by-topic/VIC-20/)
111 * [Web APIs](by-topic/Web%20APIs/)
112 * [miniKanren](by-topic/miniKanren/)
113 * [npm](by-topic/npm/)
114 * [x86](by-topic/x86/)
23115
24116 <!-- /TOPICS -->
25117
316316 topics = []
317317 for topic in sorted(webpages.keys()):
318318 topics.append(
319 "* [{}](by-topic/{})".format(topic, topic.replace(" ", "%20"))
319 "* [{}](by-topic/{}/)".format(topic, topic.replace(" ", "%20"))
320320 )
321321 topics = '\n'.join(topics)
322322