| 1. | | Catalog of semantic zoom interface pattern (github.com/prathyvsh) |
| 3 points by prathyvsh on July 28, 2025 | past |
|
| 2. | | Catalog of Novel Operating Systems (github.com/prathyvsh) |
| 187 points by prathyvsh on May 17, 2025 | past | 63 comments |
|
| 3. | | Catalogue of Novel Operating Systems (github.com/prathyvsh) |
| 3 points by lioeters on May 15, 2025 | past |
|
| 4. | | Lambda Calculus Visualizations (github.com/prathyvsh) |
| 3 points by Anon84 on April 11, 2024 | past |
|
| 5. | | Lambda Calculus Visualizations (2023) (github.com/prathyvsh) |
| 3 points by Tomte on March 22, 2024 | past | 1 comment |
|
| 6. | | Programming Languages for Enthusiasts (github.com/prathyvsh) |
| 2 points by thunderbong on Sept 24, 2023 | past |
|
| 7. | | A Catalog of Programming Languages (github.com/prathyvsh) |
| 2 points by gorenb on Sept 17, 2023 | past |
|
| 8. | | Lambda Calculus Visualizations Repo (github.com/prathyvsh) |
| 1 point by prathyvsh on April 13, 2023 | past |
|
| 9. | | Catalogue of Models of Interaction (github.com/prathyvsh) |
| 1 point by mpweiher on July 23, 2021 | past |
|
| 10. | | Programming Languages for Enthusiasts (github.com/prathyvsh) |
| 2 points by mpweiher on July 14, 2021 | past |
|
| 11. | | Programming Languages for Enthusiasts (github.com/prathyvsh) |
| 6 points by mpweiher on July 13, 2021 | past | 1 comment |
|
| 12. | | Resources for Learning Category Theory (github.com/prathyvsh) |
| 2 points by mathgenius on Nov 3, 2020 | past |
|
| 13. | | Annotated bibliography for learning Category Theory (github.com/prathyvsh) |
| 3 points by prathyvsh on Oct 31, 2020 | past |
|
| 14. | | Morphisms of Computational Structures (github.com/prathyvsh) |
| 2 points by solomonb on Oct 22, 2020 | past | 1 comment |
|
| 15. | | Notation (github.com/prathyvsh) |
| 3 points by AriaMinaei on June 17, 2020 | past |
|
| 16. | | Formal Systems in Biology (github.com/prathyvsh) |
| 133 points by tablet on June 9, 2020 | past | 37 comments |
|
| 17. | | Networked Notebooks Catalogue (github.com/prathyvsh) |
| 3 points by tablet on May 21, 2020 | past |
|
| 18. | | Catalog of Visual Lambda Calculi (github.com/prathyvsh) |
| 2 points by prathyvsh on May 14, 2020 | past |
|
