Rate a number of resources.
Chris Pressey
a month ago
| 20 | 20 | Currently it consists of **742** web pages, **85** repositories, **188** papers, and **230** books in **109** topics. |
| 21 | 21 | Of these, [**122** have the highest rating](by-rating/Top-rated.md), |
| 22 | 22 | [**39** are considered classics](by-rating/Classic.md), |
| 23 | [**94** are considered very interesting](by-rating/Very%20Interesting.md), | |
| 24 | while [**95** are yet to be rated](by-rating/Unrated.md). | |
| 23 | [**96** are considered very interesting](by-rating/Very%20Interesting.md), | |
| 24 | while [**88** are yet to be rated](by-rating/Unrated.md). | |
| 25 | 25 | |
| 26 | 26 | <!-- /TOTALS --> |
| 27 | 27 |
| 8 | 8 | |
| 9 | 9 | Unrated Webpages |
| 10 | 10 | -------------- |
| 11 | ||
| 12 | ### Computer Security | |
| 13 | ||
| 14 | * [Increasing trust in a downloaded binary](https://security.stackexchange.com/questions/274665/increasing-trust-in-a-downloaded-binary) | |
| 15 | 11 | |
| 16 | 12 | ### Game Assets |
| 17 | 13 | |
| 45 | 41 | ### Category Theory |
| 46 | 42 | |
| 47 | 43 | * Categories, types, and structures (online @ [www.di.ens.fr](https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf)) (borrow @ [archive.org](https://archive.org/details/categoriestypess0000aspe)) |
| 48 | ||
| 49 | ### Chaos Theory | |
| 50 | ||
| 51 | * Chaos: Making a New Science (borrow @ [archive.org](https://archive.org/details/chaosmakingnewsc0000unse)) | |
| 52 | 44 | |
| 53 | 45 | ### Comics |
| 54 | 46 | |
| 123 | 115 | |
| 124 | 116 | * Partial Evaluation and Automatic Program Generation (online @ [www.itu.dk](http://www.itu.dk/people/sestoft/pebook/)) |
| 125 | 117 | |
| 126 | ### Phraseology | |
| 127 | ||
| 128 | * Code Names Dictionary (borrow @ [archive.org](https://archive.org/details/codenamesdiction0000ruff)) | |
| 129 | ||
| 130 | 118 | ### Probability Theory |
| 131 | 119 | |
| 132 | 120 | * Bayesian Reasoning and Machine Learning (borrow @ [archive.org](https://archive.org/details/isbn_9781107439955)) |
| 187 | 175 | * Complexity Hierarchies Beyond Elementary (online @ [arxiv.org](https://arxiv.org/abs/1312.5686)) |
| 188 | 176 | * Pure vs Impure Lisp (online @ [dl.acm.org](https://dl.acm.org/doi/pdf/10.1145/244795.244798)) |
| 189 | 177 | |
| 190 | ### Computer Security | |
| 191 | ||
| 192 | * [How to Prevent the next Heartbleed](https://dwheeler.com/essays/heartbleed.html) | |
| 193 | ||
| 194 | 178 | ### Coq |
| 195 | 179 | |
| 196 | 180 | * Recursive Datatypes and Inductive Proofs (online @ [www.inf.ed.ac.uk](https://www.inf.ed.ac.uk/teaching/courses/ar/slides/lec14/Coq_Induction.pdf)) |
| 215 | 199 | * A Simple Character String Proof of the \"True but Unprovable\" Version of Goedel\'s First Incompleteness Theorem (online @ [arxiv.org](https://arxiv.org/abs/1402.7253)) |
| 216 | 200 | * A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points (online @ [arxiv.org](https://arxiv.org/abs/math/0305282)) |
| 217 | 201 | * Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles (online @ [jstor](https://www.jstor.org/stable/2695030)) |
| 218 | ||
| 219 | ### Lambda Calculus | |
| 220 | ||
| 221 | * [On the Relation between the λμ-Calculus and the Syntactic Theory of Sequential Control](https://members.loria.fr/PdeGroote/papers/lpar94.pdf) | |
| 222 | 202 | |
| 223 | 203 | ### Macros |
| 224 | 204 | |
| 266 | 246 | ### Type Theory |
| 267 | 247 | |
| 268 | 248 | * Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega (online @ [web.cs.ucla.edu](https://web.cs.ucla.edu/~palsberg/paper/popl16-full.pdf)) |
| 269 | ||
| 270 | Unrated Repositories | |
| 271 | -------------- | |
| 272 | ||
| 273 | ### Computer Security | |
| 274 | ||
| 275 | * [dropbox/zxcvbn: Low-Budget Password Strength Estimation](https://github.com/dropbox/zxcvbn) | |
| 276 | ||
| 277 | ### Game Development | |
| 278 | ||
| 279 | * [maryrosecook/tinygame: A tiny game I wrote to illustrate how easy it is to write a game from scratch in JavaScript](https://github.com/maryrosecook/tinygame) | |
| 244 | 244 | |
| 245 | 245 | * [An Introduction to Operational Semantics](https://www.cse.iitd.ac.in/~sak/courses/pl/opsem.pdf) |
| 246 | 246 | |
| 247 | ### Computer Security | |
| 248 | ||
| 249 | * [How to Prevent the next Heartbleed](https://dwheeler.com/essays/heartbleed.html) | |
| 250 | ||
| 247 | 251 | ### Coq |
| 248 | 252 | |
| 249 | 253 | * Interaction Trees (online @ [archive.org](https://archive.org/details/interaction-trees-representing-recursive-and-impure-programs-in-coq)) |
| 296 | 300 | Very Interesting Repositories |
| 297 | 301 | -------------- |
| 298 | 302 | |
| 303 | ### Game Development | |
| 304 | ||
| 305 | * [maryrosecook/tinygame: A tiny game I wrote to illustrate how easy it is to write a game from scratch in JavaScript](https://github.com/maryrosecook/tinygame) | |
| 306 | ||
| 299 | 307 | ### Programming Languages |
| 300 | 308 | |
| 301 | 309 | * [manuel/wat-js: Concurrency and Metaprogramming for JS](https://github.com/manuel/wat-js) |
| 29 | 29 | |
| 30 | 30 | ### Books |
| 31 | 31 | |
| 32 | Chaos: Making a New Science (borrow @ [archive.org](https://archive.org/details/chaosmakingnewsc0000unse)) | |
| 32 | Chaos: Making a New Science (borrow @ [archive.org](https://archive.org/details/chaosmakingnewsc0000unse)) ★ | |
| 33 | 33 | |
| 34 | 34 | _(in [Numerical Analysis](../Numerical%20Analysis/README.md#numerical-analysis))_ An Introduction to Computer Simulation Methods: Applications to Physical Systems (borrow @ [archive.org](https://archive.org/details/introductiontoco0000goul)) ★★ |
| 35 | 35 |
| 13 | 13 | |
| 14 | 14 | ### Web resources |
| 15 | 15 | |
| 16 | [Increasing trust in a downloaded binary](https://security.stackexchange.com/questions/274665/increasing-trust-in-a-downloaded-binary) | |
| 16 | [Increasing trust in a downloaded binary](https://security.stackexchange.com/questions/274665/increasing-trust-in-a-downloaded-binary) ★ | |
| 17 | 17 | |
| 18 | 18 | |
| 19 | 19 | ### Repositories |
| 20 | 20 | |
| 21 | [dropbox/zxcvbn: Low-Budget Password Strength Estimation](https://github.com/dropbox/zxcvbn) | |
| 21 | [dropbox/zxcvbn: Low-Budget Password Strength Estimation](https://github.com/dropbox/zxcvbn) ★ | |
| 22 | 22 | |
| 23 | 23 | |
| 24 | 24 | ### Papers |
| 25 | 25 | |
| 26 | [How to Prevent the next Heartbleed](https://dwheeler.com/essays/heartbleed.html) | |
| 26 | [How to Prevent the next Heartbleed](https://dwheeler.com/essays/heartbleed.html) ★★ | |
| 27 | 27 | |
| 28 | 28 | |
| 29 | 29 | ### Books |
| 0 | Ratings by cpressey of Computer Security works | |
| 1 | ============================================== | |
| 2 | ||
| 3 | <!-- | |
| 4 | SPDX-FileCopyrightText: Chris Pressey, the creator of this work, has dedicated it to the public domain. | |
| 5 | ||
| 6 | SPDX-License-Identifier: CC0-1.0 | |
| 7 | --> | |
| 8 | ||
| 9 | ### Increasing trust in a downloaded binary | |
| 10 | ||
| 11 | * rating: 1 | |
| 12 | ||
| 13 | ### dropbox/zxcvbn: Low-Budget Password Strength Estimation | |
| 14 | ||
| 15 | * rating: 1 | |
| 16 | ||
| 17 | ### How to Prevent the next Heartbleed | |
| 18 | ||
| 19 | * rating: 2 |
| 56 | 56 | |
| 57 | 57 | [s-macke/VoxelSpace: Terrain rendering algorithm in less than 20 lines of code](https://github.com/s-macke/VoxelSpace) ★★★ |
| 58 | 58 | |
| 59 | [maryrosecook/tinygame: A tiny game I wrote to illustrate how easy it is to write a game from scratch in JavaScript](https://github.com/maryrosecook/tinygame) | |
| 59 | [maryrosecook/tinygame: A tiny game I wrote to illustrate how easy it is to write a game from scratch in JavaScript](https://github.com/maryrosecook/tinygame) ★★ | |
| 60 | 60 | |
| 61 | 61 | _(in [Programming Languages](../Programming%20Languages/README.md#programming-languages))_ [UnrealVerseGuru/VerseProgrammingLanguage: Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets](https://github.com/UnrealVerseGuru/VerseProgrammingLanguage) ★ |
| 62 | 62 |
| 82 | 82 | |
| 83 | 83 | * rating: 3 |
| 84 | 84 | |
| 85 | ### maryrosecook/tinygame: A tiny game I wrote to illustrate how easy it is to write a game from scratch in JavaScript | |
| 86 | ||
| 87 | * rating: 2 |
| 76 | 76 | |
| 77 | 77 | ### Repositories |
| 78 | 78 | |
| 79 | _(in [Game Development](../Game%20Development/README.md#game-development))_ [maryrosecook/tinygame: A tiny game I wrote to illustrate how easy it is to write a game from scratch in JavaScript](https://github.com/maryrosecook/tinygame) | |
| 79 | _(in [Game Development](../Game%20Development/README.md#game-development))_ [maryrosecook/tinygame: A tiny game I wrote to illustrate how easy it is to write a game from scratch in JavaScript](https://github.com/maryrosecook/tinygame) ★★ | |
| 80 | 80 | |
| 81 | 81 | _(in [Lua](../Lua/README.md#lua))_ [fengari-lua/fengari: 🌙 φεγγάρι - The Lua VM written in JS ES6 for Node and the browser](https://github.com/fengari-lua/fengari) ★ |
| 82 | 82 |
| 48 | 48 | |
| 49 | 49 | ### On the Relation between the λμ-Calculus and the Syntactic Theory of Sequential Control |
| 50 | 50 | |
| 51 | * rating: TODO | |
| 51 | * rating: 0 | |
| 52 | 52 | |
| 53 | 53 | ### Is Lambda Calculus purely syntactic? |
| 54 | 54 |