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