| | Lambda Calculus Visualizations (github.com/prathyvsh) |
|
3 points by Anon84 8 months ago | past
|
|
| | Lambda Calculus Visualizations (2023) (github.com/prathyvsh) |
|
3 points by Tomte 9 months ago | 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
|
|
